IVY on the Web, IVY Properties editor
|
|
- Thomas Dreer Rosa
- 8 Há anos
- Visualizações:
Transcrição
1 IVY on the Web, IVY Properties editor Nuno Miguel Milhases da Silva Departamento de Informática Universidade do Minho - Braga pg13879@alunos.uminho.pt Sumário Palavras-chave 1. Introdução Os modelos de estado finitos permitem a análise automática das suas propriedades (através de ferramentas de model checking). Embora estes modelos sejam bastante poderosos, é necessário expressar as propriedades a verificar numa lógica adequada, algo a que muitos utilizadores (engenheiros de software, desenhadores de sistemas entre outros) não estão acostumados. Isto faz com que adopção deste tipo de modelos para verificação seja difícil. Uma técnica conhecida para encapsular conhecimento numa forma mais simples de utilizar é a definição de padrões. Neste contexto um padrão é uma solução conhecida para um problema comum. Assim um padrão de propriedade faz a ponte entre as linguagens formais necessárias para descrever propriedades para verificação e o utilizador que pretende utilizar a ferramenta ou técnica de verificação. Os padrões de propriedade conseguem fazer essa ponte, uma vez que associam a cada tipo de propriedade que se queira verificar, descrita em linguagem natural, as fórmulas lógicas que devem ser utilizadas. O IVY Workbench é uma ferramenta que permite a análise de modelos de sistemas interactivos. É constituído por quatro plug-ins: um editor de modelos, um editor de propriedades, um tradutor e um visualizador/analisador de rastros para o verificador de modelos. O objectivo deste projecto consiste em portar o plug-in da edição de propriedades para a Web. Ao passar este plug-in para a Web pretendeu-se atingir vários objectivos: 1. Disponibilizar o editor, para todos os utilizadores, de uma forma global, através de acesso Web.
2 2. Tornar o editor independente da plataforma e browser usados. 3. Evitar fazer downloads e instalação de software, e assim eliminar problemas inerentes da instalação e utilização do software, nas diversas plataformas. 4. Eliminar as complicações referentes à gestão e distribuição de novas versões do software. 5. Facilitar a disponibilização de novos padrões. Este artigo encontra-se estruturado da seguinte forma: A secção 2 descreve o que são padrões de propriedade; A secção 3 descreve o editor de propriedades do IVY Workbench; A secção 4 analisa qual a tecnologia que melhor poderá portar o plug-in editor de propriedades para a Web; A secção 5 descreve como é que a tecnologia escolhida foi utilizada para implementar o editor; Finalmente na secção 6 apresentam-se conclusões e discute-se trabalho futuro. 2. Padrões de Propriedade Os padrões de propriedade são usados para descrever propriedades típicas dos comportamentos de modelos de estados finitos, fornecendo uma estrutura simples para descrever esses comportamentos e fornecendo expressões formais para os mesmos. As informações contidas nos padrões podem ser organizadas de diversas maneiras (Dwyer e-t al. [1998]), uma dessa maneira é a classificação através do seu comportamento (ver ilustração 1), que é a usada pelo IVY, conforme se poderá ver mais à frente na secção 5 (Implementação). Exemplo de padrão Absence [Dwyer e-t al.] Intent - To describe a portion of a system's execution that is free of certain events or states. Also known as Never. Description - P is false. Logic CTL
3 Scope Global - AG(!P) Before R - A[(!P AG(!R)) W R] After Q - AG(Q -> AG(!P)) Between Q and R - AG(Q &!R -> A[(!P AG(!R)) W R]) After Q until R - AG(Q &!R -> A[!P W R]) Logic LTL Scope Global - G(!P) Before R - F R -> (!P U R) After Q - G(Q -> G(!P)) Between Q and R - G((Q &!R & F R) -> (!P U R)) After Q until R - G(Q &!R -> (!P W R)) Example - The most common example is mutual exclusion. In a state-based model, the scope would be global and P would be a state formula that is true if more than one process is in its critical section. For an event-based model, the scope would be a segment of the execution in which some process is in its critical section (i.e., between an enter section event and a leave section event), and P would be the event that some other process enters its critical section. Um padrão descreve a estrutura acerca do comportamento de um sistema e fornece expressões desse comportamento para vários formalismos. Através do padrão exemplo, apresentado anteriormente, verifica-se que o padrão é constituído por um conjunto de secções. Descrevem-se de seguida o propósito de cada uma das secções: Intent Descreve qual a intenção do padrão, qual é o comportamento do sistema que vai descrever; Description Apresenta uma descrição em linguagem natural da propriedade que o padrão captura (neste caso a ideia que algum condição P é falsa em todos os possíveis comportamentos do modelo); Example Fornece um ou mais exemplos onde o padrão tem sido utilizado; Os padrões na sua generalidade são criados através da observação prática. Quando inúmeros utilizadores usam o mesmo tipo de
4 propriedades nas análises que faz, é criado um padrão, uma vez que é de interesse comum que esse padrão exista. Logic A propriedade associada a um padrão pode ser formulado usando diferentes lógicas, neste caso, são usadas duas lógicas, CTL (Computational Tree Logic) e LTL (Linear Temporal Logic). Em LTL o tempo é visto de forma linear, ou seja, uma fórmula LTL caracteriza um comportamento desejável e todos os comportamentos possíveis do sistema têm de obedecer à fórmula LTL para ser verdadeira. Em CTL o tempo é visto como numa estrutura tipo árvore, ou seja, uma fórmula CTL caracteriza propriedades dobre o comportamento do sistema, onde alguma propriedade pode-se aplicar a todos os comportamentos do sistema, ou apenas a alguns, algo que não é possível fazer em LTL. Scope Cada lógica têm um espaço de acção, que é uma extensão sobre o comportamento que se quer analisado. Para o exemplo são descritos 5 raios de acção: o Global Execução completa do modelo; o Before Execução do programa até um dado estado ou evento; o After Execução do programa depois de um dado estado ou evento; o Between Execução do programa entre dois estados/eventos; o After-Until Execução é feita da mesma maneira que em Between com a diferença que o programa continua a executar, mesmo que o segundo estado/evento não tenha ocorrido. Os padrões estão organizados hierarquicamente pelo tipo de comportamento que descrevem. Ilustração 1 - Diagrama de padrões através do comportamento [Dwyer e-t al.]
5 Através da análise do diagrama na ilustração 1, pode-se observar que os padrões (sugeridos por Dwyer e-t al.) estão divididos em dois grupos: Ocurrence e Order. Em Ocurrence os padrões são divididos pelo comportamento do sistema que adquirem durante a execução do sistema, enquanto em Order os padrões são divididos em relação à ordem que múltiplos comportamentos adquirem durante a execução do sistema. Para o IVY os padrões foram codificados usando XML, sendo que a descrição dos padrões em ficheiros externos permitem incluir no sistema diferentes colecções. Neste momento estão definidas três colecções: DWYER, SCAPS e IVY. 3. Editor de Propriedades No contexto do projecto IVY (POSC/EIA/56676/2004) foi desenvolvida uma ferramenta que permite a criação semi-automática de propriedades a partir de padrões. A versão existente foi desenvolvida em Java. (ver Ilustração 2). Usa ficheiros XML com a informação dos padrões. Estes ficheiros podem também ser carregados a partir de outras localizações, como pens USB (ver Ilustração 2 Item 1). Após carregar o conteúdo dos ficheiros XML, a informação é disposta no programa da seguinte maneira: Uma árvore contendo o nome de todos os padrões carregados para memória (ver Ilustração 2 Item 2); Área em que se pode seleccionar a lógica (Logic) e a área de execução do padrão (Scope) correspondente ao padrão seleccionado (ver Ilustração 2 Item 3); Informação acerca do padrão, exemplo, entre outros, usados no padrão (ver Ilustração 2 Item 4); Manipulação de certos parâmetros associados à fórmula de cada padrão (ver Ilustração 2 Item 5). O valor de cada parâmetro pode ser editado de forma manual ou automática (ver Ilustração 2 Item 3). Os parâmetros podem ser carregados a partir de ficheiros e gravados para ficheiro (ver Ilustração 2 Item 6); Podem ser enumerados os valores possíveis de uma variável a utilizar nas fórmulas, bastando para isso adicionar o valor INST ao parâmetro ou parâmetros que iram ficar com esses valores (ver Ilustração 2 Item 8).
6 Depois de inserido todos os valores nos respectivos parâmetros, o editor cria a fórmula lógica com os valores escolhidos pelo utilizador, para ser usada mais tarde (ver Ilustração 2 Item 7). Ilustração 2 - IVY Properties Editor - JAVA 4. Tecnologias Pretende-se com este projecto disponibilizar a ferramenta anteriormente descrita para a Web. Outro aspecto que se queria obter ao passar a ferramenta para a Web era de ser independente do browser usado. Como tal foi necessário estudar várias tecnologias Web que garantissem todos os propósitos descritos. No fim a escolha recaiu entre duas tecnologias: Google Web Toolkit e Microsoft Silverlight, que passarei a descrever um pouco sobre elas. Google Web Toolkit O Google Web Toolkit (GWT) é uma framework open source que permite usar a linguagem Java para desenvolver aplicações Web em AJAX, compilando o código Java para Javascript e HTML. O GWT é multi-plataforma e multi-browser e permite que código criado para um projecto possa ser reutilizado para outros projectos. Permite ver mudanças que se façam no código sem necessidade de o recompilar, utilizar o botão de Back do browser, ver os links contidos no
7 histórico do browser, facilmente passar de uma língua como o português para outra como por exemplo o inglês. Existem múltiplos ambientes de desenvolvimento que podem ser usados com o GWT, tal como o Eclipse, IntelliJ IDEA, entre outros. Silverlight O Silverlight é um plug-in multi-plataforma, multi-browser e multidispositivo da Microsoft baseado em.net para a distribuição de aplicações interactivas e multimédia na Web. Embora não seja totalmente open-source como o Google Web Toolkit, existe um esforço da Microsoft para o tornar mais aberto e flexível. Para os sistemas operativos baseados em Linux o plug-in usado não é o Silverlight mas o Moonlight e não usa o.net mas sim a framework MONO. O MONO surge com uma parceria entre a Microsoft e a Novell para permitir que as aplicações criadas em Silverlight corram em ambiente Linux. O Silverlight é multi-linguagem, suportando C#, Visual Basic, ASP.NET, ASP AJAX, XML, XAML, Javascript, LINQ (Language Integrated Query), entre outras linguagens. O Visual Studio 2008 e o Expression 2 são as ferramentas usadas para desenvolver aplicações Silverlight. Embora ambas as aplicações sejam pagas, existem versões Express que podem ser descarregadas da Microsoft, sem custos associados e sem perda de funcionalidades em relação às versões pagas. Para o Linux e Mac existe um plug-in open-source para o Eclipse. Com o Silverlight podem-se usar ferramentas que estão disponíveis na Windows Presentation Foundation (WPF), embora só uma pequena parte do WPF esteja disponível para o Silverlight, ela será alargada em futuras actualizações. Análise Como se pode constatar, ambas as tecnologias permitem desenvolver a aplicação Web com os propósitos anteriormente descritos. Mas apesar disso, a escolha recaiu sobre o Silverlight. A escolha ficou a dever-se ao facto que: O Silverlight permite que se criem aplicações Web com um aspecto gráfico muito bom, muito mais facilmente que o GWT. Está muito bem documentado, existindo uma grande comunidade que podem contribuir com ideias e soluções, inclusive existem pequenos vídeos que mostram como se fazem determinadas operações. Pode usar múltiplas linguagens no mesmo projecto, não estando desta maneira restrito a especificações de uma só linguagem. Com o LINQ, que é uma extensão do.net, é muito fácil manipular e tratar informação em ficheiros XML e não só.
8 Web. Havia um grande interesse em explorar as tecnologias.net para a 5. Implementação Após a escolha da tecnologia, o Silverlight, analisou-se a aplicação desenvolvida em Java para se proceder à sua transição para a Web. Para este projecto a linguagem principal escolhida foi o C#. Da aplicação desenvolvida em Java manteve-se muito da sua estrutura, Layout e modo de funcionamento. A nível de Layout, apesar de a aplicação Web ser muito parecida com a aplicação desenvolvida em Java (ver Ilustrações 2 e 3) existem algumas diferenças. Ilustração 3-IVY Properties Editor - Silverlight A disposição dos parâmetros na aplicação Silverlight (ver Ilustração 3 Item 4) é feita usando uma grelha com dois campos, sendo um campo o nome do parâmetro e o outro campo o valor que está associado a esse parâmetro, sendo que esse valor pode ser manipulado pelo utilizador (ver Ilustração 4 Item 4). A enumeração dos valores para um dado parâmetro é feito mais uma vez com recurso a uma grelha (ver Ilustração 3 Item 5), que neste caso só tem um único campo, o utilizador insere os valores que desejar usando o Datagrid Replay, o que permite que o utilizador ter n fórmulas com n valores.
9 Depois de se ter todos os valores inseridos, escolhe-se o(s) parâmetro(s) que iria(m) usar esses valor, para tal insere-se o valor chave value (sem as aspas, é case-sensitive) no lugar do campo Value (ver Ilustração 3 Item 4 e Ilustração 4 Item 4). Foi retirado da aplicação a Web a possibilidade de se fazer uma edição automática dos parâmetros (ver Ilustração 3 Item 2 e Ilustração 2 Item 3) sendo que a manipulação do valor dos parâmetros é feita de forma manual, uma vez que não se tem acesso ao modelo que vai ser verificado, mas sim aos padrões. Ao contrário da aplicação desenvolvida em Java o utilizador não pode carregar ficheiros XML contendo padrões, estes já se encontram disponíveis aquando do carregamento da aplicação. Não se pode carregar ficheiros contendo valores de parâmetros, (ver Ilustração 4 Item 6), mas pode fazer copy & paste aos resultados obtidos. Ilustração 4 - IVY Totalmente Preenchido O modo de funcionamento é em tudo idêntico à aplicação desenvolvida em Java, ou seja, usa um conjunto de ficheiros XML contendo os padrões e cria uma árvore com o nome dos padrões (ver Ilustração 3 Item 1 e Ilustração 4 Item 1). Ao seleccionar um dos muitos padrões da árvore, a informação é disposta pela aplicação Web (Ilustração 4 Itens 1, 2, 3 e 4).
10 Ilustração 5 - IVY Help Foi adicionado à aplicação Web uma secção de ajuda (ver Ilustração 3 Item 7) para ajudar o utilizador na utilização da ferramenta. Permite ficar a saber para que serve a ferramenta quais os padrões que usa entre outras informações que lhe puderam ser úteis (ver Ilustração 5). Ilustração 6 - IVY-About Também foi adicionado à aplicação Web informação acerca de quem desenvolveu a aplicação, qual a sua versão e em que data foi actualizado pela última vez (ver Ilustração 3 Item 7 e Ilustração 6).
11 6. Conclusões A World Wide Web (WWW) tem assumido cada vez mais um papel mais importante não só na troca de informação, mas também na criação de ferramentas que tradicionalmente apenas existiam nos desktops. Graças a tecnologias como o Silverlight, hoje é possível quebrar as barreiras que separam os diversos sistemas operativos e browsers usados e desta maneira fazer com que as ferramentas estejam disponíveis para um grupo mais alargado de utilizadores. Com o Silverlight, o editor de propriedades passou a ter essas vantagens. Pretende-se que em futuras revisões do editor, adicionar mais funcionalidades e ser cada vez mais fácil e simples de usar.
Curso de Eng. Informática Linguagens de Programação. C Sharp University Data Processing. (C Sharp Universidade de Processamento de Dados) Docente:
Trabalho elaborado por: Carlos Palma nº5608 Curso de Eng. Informática Linguagens de Programação C Sharp University Data Processing (C Sharp Universidade de Processamento de Dados) Docente: José Jasnau
Leia mais1.2.4. Organizar a estrutura do site
1.2.4. Organizar a estrutura do site 1 Organizar a estrutura do site A organização da estrutura do site passa pela definição das ligações entre as páginas que o compõem Esta organização deve ser intuitiva
Leia maisGuião de Introdução ao Eclipse IDE Índice
Índice 1. Introdução... 2 1.1. O que é um ambiente de desenvolvimento (IDE)?... 2 1.2. Visão geral sobre o Eclipse IDE... 2 2. Iniciar o Eclipse... 3 2.1. Instalação... 3 2.2. Utilizar o Eclipse... 3 3.
Leia mais1 Code::Blocks Criação de projetos
Programação MEEC Índice 1Code::Blocks Criação de projetos...1 2Code::Blocks Localização do projeto...5 3Code::Blocks Abertura de projetos já existentes...7 4Code::Blocks Funcionamento...8 5Code::Blocks
Leia maisAplicações de Escritório Electrónico
Universidade de Aveiro Escola Superior de Tecnologia e Gestão de Águeda Curso de Especialização Tecnológica em Práticas Administrativas e Tradução Aplicações de Escritório Electrónico Microsoft Word Folha
Leia maisManual de Utilizador. Disciplina de Projecto de Sistemas Industriais. Escola Superior de Tecnologia. Instituto Politécnico de Castelo Branco
Escola Superior de Tecnologia Instituto Politécnico de Castelo Branco Departamento de Informática Curso de Engenharia Informática Disciplina de Projecto de Sistemas Industriais Ano Lectivo de 2005/2006
Leia maisIntrodução. à Linguagem JAVA. Prof. Dr. Jesus, Edison O. Instituto de Matemática e Computação. Laboratório de Visão Computacional
Introdução à Linguagem JAVA Prof. Dr. Jesus, Edison O. Instituto de Matemática e Computação Laboratório de Visão Computacional Vantagens do Java Independência de plataforma; Sintaxe semelhante às linguagens
Leia maisGereComSaber. Disciplina de Desenvolvimento de Sistemas de Software. Sistema de Gestão de Serviços em Condomínios
Universidade do Minho Conselho de Cursos de Engenharia Licenciatura em Engenharia Informática 3ºAno Disciplina de Desenvolvimento de Sistemas de Software Ano Lectivo de 2009/2010 GereComSaber Sistema de
Leia maisEscola Superior de Tecnologia de Setúbal. Projecto Final
Instituto Politécnico de Setúbal Escola Superior de Tecnologia de Setúbal Departamento de Sistemas e Informática Projecto Final Computação na Internet Ano Lectivo 2002/2003 Portal de Jogos Executado por:
Leia maisComo Começar? Criação Páginas. Etapas. Apresentação INTERNET
Como Começar? Criação Páginas Apresentação Etapas Como começar Para que um site tenha sucesso é necessário um correcto planeamento do mesmo. Todos os aspectos de desenho de um site devem ser pensados de
Leia maisConstrução Páginas de Internet
Construção Páginas de Internet Definir um Site no Frontpage Objectivos da sessão: No final da sessão os formandos deverão ser capazes de: Saber o que são os metadados do Frontpage; Distinguir entre Sites
Leia maisPalavras-chave: i3geo, gvsig, Mapserver, integração, plugin. Contato: edmar.moretti@terra.com.br ou edmar.moretti@gmail.com
III Jornada Latinoamericana e do Caribe do gvsig Artigo: Integração do software i3geo com o gvsig Autor: Edmar Moretti Resumo: O i3geo é um software para a criação de mapas interativos para internet qu
Leia maisA VISTA BACKSTAGE PRINCIPAIS OPÇÕES NO ECRÃ DE ACESSO
DOMINE A 110% ACCESS 2010 A VISTA BACKSTAGE Assim que é activado o Access, é visualizado o ecrã principal de acesso na nova vista Backstage. Após aceder ao Access 2010, no canto superior esquerdo do Friso,
Leia maisA interface do Microsoft Visual Studio 2005
Tarefa Orientada 1 A interface do Microsoft Visual Studio 2005 Objectivos: Introdução à framework.net Iniciar o Visual Studio 2005. Criar um novo projecto de Windows Forms em Visual Basic Introdução à
Leia maisIntrodução a listas - Windows SharePoint Services - Microsoft Office Online
Page 1 of 5 Windows SharePoint Services Introdução a listas Ocultar tudo Uma lista é um conjunto de informações que você compartilha com membros da equipe. Por exemplo, você pode criar uma folha de inscrição
Leia maisTarefa Orientada 2 Visual Studio 2005 e Visual C#
Tarefa Orientada 2 Visual Studio 2005 e Visual C# Nesta tarefa é proposta a realização de um conjunto de actividades que têm como finalidade a familiarização com o programa e adquirir alguma destreza na
Leia maisII Semana TI. Curso ASP.NET AJAX. Raphael Zanon Rodrigues zanonr@gmail.com. UNIVEM - Prof. Elvis Fusco
II Semana TI Curso ASP.NET AJAX Raphael Zanon Rodrigues zanonr@gmail.com UNIVEM - Prof. Elvis Fusco Apresentação O que é o AJAX? AJAX e o desenvolvedor AJAX para ASP.NET AJAX prático O que é AJAX? AJAX
Leia maisRock In Rio - Lisboa
Curso de Engenharia Informática Industrial Rock In Rio - Lisboa Elaborado por: Ano Lectivo: 2004/05 Tiago Costa N.º 4917 Turma: C Gustavo Graça Patrício N.º 4757 Turma: C Docente: Professora Maria Estalagem
Leia maisBase de Dados para Administrações de Condomínios
Base de Dados para Administrações de Condomínios José Pedro Gaiolas de Sousa Pinto: ei03069@fe.up.pt Marco António Sousa Nunes Fernandes Silva: ei03121@fe.up.pt Pedro Miguel Rosário Alves: alves.pedro@fe.up.pt
Leia maisWeb Services. Autor: Rômulo Rosa Furtado
Web Services Autor: Rômulo Rosa Furtado Sumário O que é um Web Service. Qual a finalidade de um Web Service. Como funciona o serviço. Motivação para o uso. Como construir um. Referências. Seção: O que
Leia maisMinistério das Finanças Instituto de Informática. Departamento de Sistemas de Informação
Ministério das Finanças Instituto de Informática Departamento de Sistemas de Informação Assiduidade para Calendários Específicos Junho 2010 Versão 6.0-2010 SUMÁRIO 1 OBJECTIVO 4 2 ECRÃ ELIMINADO 4 3 NOVOS
Leia maisMicrosoft Office FrontPage 2003
Instituto Politécnico de Tomar Escola Superior de Gestão Área Interdepartamental de Tecnologias de Informação e Comunicação Microsoft Office FrontPage 2003 1 Microsoft Office FrontPage 2003 O Microsoft
Leia maisGuia de utilização. Gestão de Mensagens. Março 2009
Guia de utilização Gestão de Mensagens Março 2009 Índice Índice... 2 Novo Serviço de Gestão de Mensagens... 3 Criar Mensagens... 4 Layout Criar Mensagens... 5 Processo Criar Mensagens... 7 Gestão das Mensagens...
Leia maisEngenharia de Software Sistemas Distribuídos
Engenharia de Software Sistemas Distribuídos 2 o Semestre de 2009/2010 FEARSe Requisitos para a 1 a entrega 18 de Março de 2010 1 Introdução O projecto conjunto das disciplinas de Engenharia de Software
Leia maisCriação de Páginas Web - MS Word 2000
Gestão Comercial e da Produção Informática I 2003/04 Ficha de Trabalho N.º 9 Criação de Páginas Web - MS Word 2000 1. Criação de uma página Web (HTML): Escreva o seu texto e introduza as imagens pretendidas
Leia maisDadas a base e a altura de um triangulo, determinar sua área.
Disciplina Lógica de Programação Visual Ana Rita Dutra dos Santos Especialista em Novas Tecnologias aplicadas a Educação Mestranda em Informática aplicada a Educação ana.santos@qi.edu.br Conceitos Preliminares
Leia maisJSP trata-se de uma tecnologia que possibilita o desenvolvimento de páginas web dinâmicas utilizando todas as potencialidades do Java como linguagem
1 JSP trata-se de uma tecnologia que possibilita o desenvolvimento de páginas web dinâmicas utilizando todas as potencialidades do Java como linguagem orientada a objectos. Tal como em ASP e PHP, os ficheiros
Leia maisDesenvolvimento de uma Aplicação WEB para monitorização de BD Oracle
Desenvolvimento de uma Aplicação WEB para monitorização de BD Oracle Luís Filipe Borges Pinto Resumo: Este projecto consiste na implementação de uma aplicação WEB para monitorização
Leia maisZS Rest. Manual Profissional. BackOffice Mapa de Mesas. v2011
Manual Profissional BackOffice Mapa de Mesas v2011 1 1. Índice 2. Introdução... 2 3. Iniciar ZSRest Backoffice... 3 4. Confirmar desenho de mesas... 4 b) Activar mapa de mesas... 4 c) Zonas... 4 5. Desenhar
Leia maisDesenvolvendo Websites com PHP
Desenvolvendo Websites com PHP Aprenda a criar Websites dinâmicos e interativos com PHP e bancos de dados Juliano Niederauer 19 Capítulo 1 O que é o PHP? O PHP é uma das linguagens mais utilizadas na Web.
Leia maisMANUAL DE INSTRUÇÕES
DIRECÇÃO GERAL DOS RECURSOS HUMANOS DA EDUCAÇÃO DIRECÇÃO DE SERVIÇOS DE SISTEMAS DE INFORMAÇÃO MANUAL DE INSTRUÇÕES (APENAS PARA ESCOLAS) MANIFESTAÇÃO DE NECESSIDADES PARA COLOCAÇÕES CÍCLICAS ANO ESCOLAR
Leia maisPRINCÍPIOS DE INFORMÁTICA PRÁTICA 06 1. OBJETIVO 2. BASE TEÓRICA 3. SEQÜÊNCIA DA AULA. 3.1 Iniciando o PowerPoint
PRINCÍPIOS DE INFORMÁTICA PRÁTICA 06 1. OBJETIVO Apresentar o PowerPoint, que é o software para montar apresentações na forma de slides da Microsoft. Isso será feito seguindo-se uma seqüência mostrando
Leia maisManual de Utilização. Site Manager. Tecnologia ao serviço do Mundo Rural
Manual de Utilização Site Manager Tecnologia ao serviço do Mundo Rural Índice 1. Acesso ao Site Manager...3 2. Construção/Alteração do Menu Principal...4 3. Inserção/ Alteração de Conteúdos...7 4. Upload
Leia maisMANUAL DO UTILIZADOR
MANUAL DO UTILIZADOR Versão 1.6 PÁGINA DE PESQUISA A página principal do PacWeb permite a realização de um número muito variado de pesquisas, simples, ou pelo contrário extremamente complexas, dependendo
Leia maisMódulo 3936 ASP.NET. Financiado pelo FSE
2 EISnt Centro de Formação Profissional, Engenharia Informática e Sistemas, Novas Tecnologias, Lda Avª D. João I, nº 380/384 Soutelo 4435-208 Rio Tinto Portal Internet : www.eisnt.com E-Mail : formação@eisnt.com
Leia maisEstá apto a utilizar o sistema, o usuário que tenha conhecimentos básicos de informática e navegação na internet.
1. Descrição Geral Este manual descreve as operações disponíveis no módulo VTWEB Client, cuja finalidade é gerenciar cadastros de funcionários, realização de pedidos e controle financeiro dos pedidos.
Leia maisDespachante Express - Software para o despachante documentalista veicular DESPACHANTE EXPRESS MANUAL DO USUÁRIO VERSÃO 1.1
DESPACHANTE EXPRESS MANUAL DO USUÁRIO VERSÃO 1.1 1 Sumário 1 - Instalação Normal do Despachante Express... 3 2 - Instalação do Despachante Express em Rede... 5 3 - Registrando o Despachante Express...
Leia maisModelo Cascata ou Clássico
Modelo Cascata ou Clássico INTRODUÇÃO O modelo clássico ou cascata, que também é conhecido por abordagem top-down, foi proposto por Royce em 1970. Até meados da década de 1980 foi o único modelo com aceitação
Leia maisAGRUPAMENTO DE ESCOLAS DR. GINESTAL MACHADO
AGRUPAMENTO DE ESCOLAS DR. GINESTAL MACHADO 3º Ciclo do Ensino Básico Planificação Ano letivo: 2013/2014 Disciplina: Tecnologias de Informação e Comunicação Ano:7º Conteúdos Objectivos Estratégias/Actividades
Leia maisTECNOLOGIAS DA INFORMAÇÃO E COMUNICAÇÃO - TIC 10º C. Planificação de. Curso Profissional de Técnico de Secretariado
Escola Básica e Secundária de Velas Planificação de TECNOLOGIAS DA INFORMAÇÃO E COMUNICAÇÃO - TIC Curso Profissional de Técnico de Secretariado 10º C MÓDULO 1 FOLHA DE CÁLCULO Microsoft Excel Conteúdos
Leia maisExemplo de aplicação Car Parking 1in1out
Animator Exemplo de aplicação Car Parking 1in1out Neste documento será apresentado um exemplo de aplicação de um parque de estacionamento com uma entrada, uma saída, e três lugares livres de estacionamento.
Leia maisDOCBASE. 1. Conceitos gerais. 2. Estrutura da pasta de associações. 3. A área de documentos reservados. 4. Associação de Imagens
Documentação, Informática e Desenvolvimento 1 DOCBASE ASSOCIAÇÔES MULTIMÉDIA 1. Conceitos gerais 2. Estrutura da pasta de associações 3. A área de documentos reservados 4. Associação de Imagens 5. Procedimentos
Leia mais1. Introdução. 2. A área de trabalho
Curso Criiar web siites com o Dreamweaver Parrttee II 1. Introdução O Macromedia DreamWeaver é um editor de HTML profissional para desenhar, codificar e desenvolver sites, páginas e aplicativos para a
Leia maisManual de Utilizador
Mestrado em Engenharia Informática e Computação Need2Explore - Porto City 29 de Dezembro de 2012 LABORATÓRIO DE DESENVOLVIMENTO DE SOFTWARE Autores: Bruno FERNANDES - 080509042 - ei08042@fe.up.pt Eduardo
Leia maisOficina de Construção de Páginas Web
COMPETÊNCIAS BÁSICAS EM TIC NAS EB1 Oficina de Construção de Páginas Web Criação e Publicação Guião Páginas WWW com o editor do Microsoft Office Word 2003 1. Introdução. 2. Abrir uma página Web. 3. Guardar
Leia maisAcronis Servidor de Licença. Manual do Utilizador
Acronis Servidor de Licença Manual do Utilizador ÍNDICE 1. INTRODUÇÃO... 3 1.1 Descrição geral... 3 1.2 Política de licenças... 3 2. SISTEMAS OPERATIVOS SUPORTADOS... 4 3. INSTALAR O SERVIDOR DE LICENÇA
Leia maisSISTEMA DE INFORMAÇÃO DAS PARTICIPAÇÕES DO ESTADO
SISTEMA DE INFORMAÇÃO DAS PARTICIPAÇÕES DO ESTADO SIPART (versão Setembro/2004) Manual de Utilização ÍNDICE 1. INTRODUÇÃO...3 2. ACEDER À APLICAÇÃO...4 3. CRIAR NOVO UTILIZADOR...5 4. CARACTERIZAÇÃO GERAL
Leia maisPrograma de Monitorização da Lagoa de Óbidos e do Emissário Submarino da Foz do Arelho
Programa de Monitorização da Lagoa de Óbidos e do Emissário Submarino da Foz do Arelho Sistema de Informação Geográfica (SIG) para a Lagoa de Óbidos e Emissário Submarino da Foz do Arelho INDÍCE 1. SISTEMA
Leia maisNovo Formato de Logins Manual de Consulta
Gestão Integrada de Acessos Novo Formato de Logins Manual de Consulta Gestão Integrada de Acessos Histórico de Alterações Versão Descrição Autor Data 1.0 Versão inicial DSI/PPQ 2014-07-11 Controlo do documento
Leia maisAMBIENTE DE PROGRAMAÇÃO PYTHON
Computadores e Programação Engª Biomédica Departamento de Física Faculdade de Ciências e Tecnologia da Universidade de Coimbra Ano Lectivo 2003/2004 FICHA 1 AMBIENTE DE PROGRAMAÇÃO PYTHON 1.1. Objectivos
Leia maisestiglp-11/12-5946-csharp e Fsharp 1 Relatório Linguagens de programação 11/12 João Caixinha nº5946
estiglp-11/12-5946-csharp e Fsharp 1 Relatório Linguagens de programação 11/12 João Caixinha nº5946 1 estiglp-11/12-5946-csharp e Fsharp 2 Resumo - Este relatório relata as soluções encontradas para a
Leia maisDisciplina: Tecnologias de Informação e Comunicação Ano Letivo 2014/2015
A informação, o conhecimento e o mundo das tecnologias. (I7.1) Utilização do computador e/ou dispositivos eletrónicos similares em segurança. (I7.2) 1. Compreender a evolução das tecnologias de informação
Leia maisDESENVOLVIMENTO DE SOFTWARE AULA 1
DESENVOLVIMENTO DE SOFTWARE AULA 1 CAMPUS SANTO ANDRÉ CELSO CANDIDO SEMESTRE 2014 1 Características da Plataforma.NET A plataforma.net Framework 4.0 (.NET 4.0) é uma plataforma de softwares que fornece
Leia maisBases de Dados. Lab 1: Introdução ao ambiente
Departamento de Engenharia Informática 2010/2011 Bases de Dados Lab 1: Introdução ao ambiente 1º semestre O ficheiro bank.sql contém um conjunto de instruções SQL para criar a base de dados de exemplo
Leia maisO AMBIENTE DE TRABALHO DO WINDOWS
O AMBIENTE DE TRABALHO DO WINDOWS O Windows funciona como um Sistema Operativo, responsável pelo arranque do computador. Um computador que tenha o Windows instalado, quando arranca, entra directamente
Leia maisFerramentas Web, Web 2.0 e Software Livre em EVT
Estudo sobre a integração de ferramentas digitais no currículo da disciplina de Educação Visual e Tecnológica Art Of Illusion Manual e Guia de exploração do Art Of Illusion para utilização em contexto
Leia maisGoogle Drive. Passos. Configurando o Google Drive
Google Drive um sistema de armazenagem de arquivos ligado à sua conta Google e acessível via Internet, desta forma você pode acessar seus arquivos a partir de qualquer dispositivo que tenha acesso à Internet.
Leia maisCONCEITOS INICIAIS. Agenda A diferença entre páginas Web, Home Page e apresentação Web;
CONCEITOS INICIAIS Agenda A diferença entre páginas Web, Home Page e apresentação Web; O que é necessário para se criar páginas para a Web; Navegadores; O que é site, Host, Provedor e Servidor Web; Protocolos.
Leia maisGereComSaber. Disciplina de Desenvolvimento de Sistemas de Software. Sistema de Gestão de Serviços em Condomínios
Universidade do Minho Conselho de Cursos de Engenharia Licenciatura em Engenharia Informática 3ºAno Disciplina de Desenvolvimento de Sistemas de Software Ano Lectivo de 2009/2010 GereComSaber Sistema de
Leia maisMicrosoft Office 2010
Microsoft Office 2010 Passo-a-passo para Professores Criar uma Apresentação com o PowerPoint 2010 Defina um tema Abra o PowerPoint. No separador Estrutura, no grupo Temas, clique em Mais para ver a galeria
Leia maisManual do Utilizador
Faculdade de Ciências e Tecnologia da Universidade de Coimbra Departamento de Engenharia Electrotécnica e Computadores Software de Localização GSM para o modem Siemens MC35i Manual do Utilizador Índice
Leia maisGoogle Web Toolkit* Clério Damasceno Soares, Daniel da Silva Filgueiras e Fábio Figueiredo da Silva
Google Web Toolkit* Clério Damasceno Soares, Daniel da Silva Filgueiras e Fábio Figueiredo da Silva Universidade Federal de Juiz de Fora UFJF-MG Campo Universitário Bairro Marmelos Juiz de Fora MG Brasil
Leia mais4.3 Ferramentas para criar conteúdos/recursos educativos
4.3 Ferramentas para criar conteúdos/recursos educativos 4.3.2. Google Sites Célio Gonçalo Marques a) Introdução O Google Sites foi lançado oficialmente no dia 23 de Outubro de 2008 em mais de 37 línguas,
Leia maisAplicação Prática de Lua para Web
Aplicação Prática de Lua para Web Aluno: Diego Malone Orientador: Sérgio Lifschitz Introdução A linguagem Lua vem sendo desenvolvida desde 1993 por pesquisadores do Departamento de Informática da PUC-Rio
Leia maisFerramentas Web, Web 2.0 e Software Livre em EVT
Estudo sobre a integração de ferramentas digitais no currí culo da disciplina de Educação Visual e Tecnoló gica Google Sketchup Manual e Guia de exploração do Google Sketchup para utilização em contexto
Leia maisComo Gerar documento em PDF com várias Imagens
Como Gerar documento em PDF com várias Imagens Para Gerar documento em PDF com várias Imagens, temos que seguir dois passos: 1. Inserir Imagens no Word 2. Gerar PDF a partir de documento do Word 1- Inserir
Leia maisSECUNDÁRIA DE CAMARATE DIGIT@L. Plataforma Office 365. Alojamento de ficheiros - OneDrive para Empresas
SECUNDÁRIA DE CAMARATE DIGIT@L Plataforma Office 365 Alojamento de ficheiros - OneDrive para Empresas Conteúdo Nota prévia... 2 Alojamento de ficheiros o OneDrive para Empresas... 2 Funcionalidades do
Leia maisAplicações de Escritório Electrónico
Universidade de Aveiro Escola Superior de Tecnologia e Gestão de Águeda Curso de Especialização Tecnológica em Práticas Administrativas e Tradução Aplicações de Escritório Electrónico Folha de trabalho
Leia maisEngenharia de Software
Engenharia de Software 2º Semestre de 2006/2007 Terceiro enunciado detalhado do projecto: Portal OurDocs ic-es+alameda@mega.ist.utl.pt ic-es+tagus@mega.ist.utl.pt 1. Introdução O terceiro enunciado do
Leia maisTutorial Gerar arquivo PDF. Gerando um documento pdf com várias imagens 1- Inserir imagem no Word
Tutorial Gerar arquivo PDF. Com o objetivo de simplificar e diminuir o tamanho de arquivos anexos nos projetos, elaboramos um pequeno tutorial mostrando como gerar um único arquivo no formato pdf contendo
Leia maisCOLIBRI Ambiente Colaborativo Multimédia MÓDULO MOODLE. Rui Ribeiro colibri@fccn.pt. FCCN - Dezembro 2010
COLIBRI Ambiente Colaborativo Multimédia MÓDULO MOODLE FCCN - Dezembro 2010 Rui Ribeiro colibri@fccn.pt Módulo COLIBRI Concebido por: José Coelho Universidade Aberta Apoiado por: Rui Ribeiro FCCN Vitor
Leia maisGoogle Sites. A g r u p a m e n t o C a m p o A b e r t o 2 0 1 0 / 2 0 1 1
Google Sites A g r u p a m e n t o C a m p o A b e r t o 2 0 1 0 / 2 0 1 1 1. Google Sites A Google veio anunciar que, para melhorar as funcionalidades centrais do Grupos Google, como listas de discussão
Leia maisConfiguração do Ambiente de Trabalho
pag. 1 Configuração do Ambiente de Trabalho 1. Utilização da Área de Trabalho Criação de Atalhos: O Windows NT apresenta um Ambiente de Trabalho flexível, adaptável às necessidades e preferências do utilizador.
Leia maisUniversidade Federal de Campina Grande Departamento de Sistemas e Computação Ciência da Computação. alyssonfm@lcc.ufcg.edu.br
Universidade Federal de Campina Grande Departamento de Sistemas e Computação Ciência da Computação alyssonfm@lcc.ufcg.edu.br Maio - 2010 Agenda GWT Vantagens Desvantagens Exemplificação de códigos GWT
Leia maisNovas Tecnologias Microsoft. http://formacao.rumos.pt/
Novas Tecnologias Microsoft http://formacao.rumos.pt/ Rich Internet Applications (RIA) Carlos Lima carlos.lima@rumos.pt Agenda Objectivos da sessão O que é uma RIA O que é o Silverlight Software necessário
Leia maisFerramentas Web, Web 2.0 e Software Livre em EVT
E s t u d o s o b r e a i n t e g r a ç ã o d e f e r r a m e n t a s d i g i t a i s n o c u r r í c u l o d a d i s c i p l i n a d e E d u c a ç ã o V i s u a l e T e c n o l ó g i c a Sketch2Photo
Leia maisMicrosoft.NET. Desenvolvimento Baseado em Componentes
Microsoft.NET Lirisnei Gomes de Sousa lirisnei@hotmail.com Jair C Leite jair@dimap.ufrn.br Desenvolvimento Baseado em Componentes Resolução de problemas específicos, mas que podem ser re-utilizados em
Leia maisInstalação do Plugin LeJOS
Instalação do Plugin LeJOS http://legolab.daimi.au.dk/digitalcontrol.dir/lejos_nxj.dir/lejos_nxj_install_guide.html Guia de Instalação do lejos NXJ através do Eclipse para Windows XP Setup Básico 1. Instale
Leia maisTécnicas de Caixa Preta de Teste de Software
Técnicas de Caixa Preta de Teste de Software Na maioria de projetos de teste, o tempo para a realização dos mesmos sempre é curto e os números de testes a serem realizados nas aplicações são inúmeros.
Leia maisComo funciona a MEO Cloud?
Boas-vindas O que é a MEO Cloud? A MEO Cloud é um serviço da Portugal Telecom, lançado a 10 de Dezembro de 2012, de alojamento e sincronização de ficheiros. Ao criar uma conta na MEO Cloud fica com 16
Leia maisCOMPETÊNCIAS BÁSICAS EM TIC NAS EB1
COMPETÊNCIAS BÁSICAS EM TIC NAS EB1 Oficina do Correio Para saber mais sobre Correio electrónico 1. Dicas para melhor gerir e organizar o Correio Electrónico utilizando o Outlook Express Criar Pastas Escrever
Leia maisServidores Virtuais. Um servidor à medida da sua empresa, sem investimento nem custos de manutenção.
es Virtuais Um servidor à medida da sua empresa, sem investimento nem custos de manutenção. O que são os es Virtuais? Virtual é um produto destinado a empresas que necessitam de um servidor dedicado ligado
Leia maisFerramentas Web, Web 2.0 e Software Livre em EVT
Estudo sobre a integração de ferramentas digitais no currículo da disciplina de Educação Visual e Tecnológica PILOT Handwriting Manual e Guia de exploração do PILOT Handwriting para utilização em contexto
Leia maisValidando dados de páginas WEB
Validando dados de páginas WEB Para que validar os dados? Validar os dados informados pelo usuário garante que sua aplicação funcione corretamente e as informações contidas nela tenha algum sentido. Outro
Leia maisLógica de Programação
Lógica de Programação Softblue Logic IDE Guia de Instalação www.softblue.com.br Sumário 1 O Ensino da Lógica de Programação... 1 2 A Ferramenta... 1 3 Funcionalidades... 2 4 Instalação... 3 4.1 Windows...
Leia maisMicrosoft Access: Criar relações para um novo banco de dados. Vitor Valerio de Souza Campos
Microsoft Access: Criar relações para um novo banco de Vitor Valerio de Souza Campos Conteúdo do curso Visão geral: relações são essenciais Lição: inclui oito seções Tarefas práticas sugeridas Teste Cartão
Leia maisRoteiro para a escrita do documento de Especificação de Requisitos de Software (ERS)
Roteiro para a escrita do documento de Especificação de Requisitos de Software (ERS) Definição Geral: Disciplina de Compiladores Prof. Jorge Bidarra (UNIOESTE) A especificação de requisitos tem como objetivo
Leia maisComo Criar Sites Grátis de Sucesso
Truques e Dicas Como Criar Sites Grátis de Sucesso Tudo o Que Precisa Para Ter Sucesso na Internet Gratuitamente! INTRODUÇÃO... 2 COMO ESCOLHER O TEMA DO SITE... 4 DICAS PARA REGISTAR UM DOMÍNIO... 5 COMO
Leia maisEDUTec Learning. José Paulo Ferreira Lousado
EDUTec Learning MANUAL DO UTILIZADOR José Paulo Ferreira Lousado Índice Página Principal... ii Página de Desenvolvimento de Conteúdos... iii Página de Comunicações...iv Página de Transferência de Ficheiros...vi
Leia maisWEBSITE DEFIR PRO WWW.DEFIR.NET
MANUAL DO UTILIZADOR WEBSITE DEFIR PRO WWW.DEFIR.NET 1. 2. PÁGINA INICIAL... 3 CARACTERÍSTICAS... 3 2.1. 2.2. APRESENTAÇÃO E ESPECIFICAÇÕES... 3 TUTORIAIS... 4 3. DOWNLOADS... 5 3.1. 3.2. ENCOMENDAS (NOVOS
Leia mais... Calendarização: 2 blocos de 90 m Metas/Objetivos Descritores Conceitos/Conteúdos Estratégias/Metodologias Avaliação
DEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA: TECNOLOGIAS DA INFORMAÇÃO E COMUNICAÇÃO PLANIFICAÇÃO DE 7º ANO... 1º Período Domínio INFORMAÇÃO I7 A Informação, o conhecimento e o mundo das tecnologias
Leia maisAspectos técnicos do desenvolvimento baseado em componentes
Aspectos técnicos do desenvolvimento baseado em componentes Um novo processo de desenvolvimento O uso de componentes traz mudanças no processo de desenvolvimento Além de desenvolver um produto, queremos
Leia maisÍndice. Enquadramento do curso 3 Estrutura Programática 4. Primeiros passos com o e-best Learning 6. Actividades e Recursos 11
Índice Parte 1 - Introdução 2 Enquadramento do curso 3 Estrutura Programática 4 Parte 2 Desenvolvimento 5 Primeiros passos com o e-best Learning 6 Como aceder à plataforma e-best Learning?... 6 Depois
Leia maisRelatório de Análise de Requisitos
Relatório de Análise de Requisitos (15/03/02 Versão 1.0) Gestão de Beneficiários Eduardo Abreu ei98020@fe.up.pt Miguel David ei98019@fe.up.pt Nuno Ferreira ei98003@fe.up.pt Tiago Silva ei98015@fe.up.pt
Leia maisTecnologias da Informação e Comunicação 7.º Ano
ESCOLA SECUNDÁRIA/3 DA RAÍNHA SANTA ISABEL, ESTREMOZ Tecnologias da Informação e Comunicação 7.º Ano Planificação Anual Ano letivo 2015/2016 Professora: Maria dos Anjos Pataca Rosado Domínio: Informação
Leia maisGereComSaber. Desenvolvimento de Sistemas de Software. Universidade do Minho Conselho de Cursos de Engenharia Licenciatura em Engenharia Informática
Universidade do Minho Conselho de Cursos de Engenharia Licenciatura em Engenharia Informática Desenvolvimento de Sistemas de Software Ano Lectivo de 2009/10 GereComSaber Ana Duarte, André Guedes, Eduardo
Leia maisPlano de Gerenciamento do Projeto
Projeto para Soluções Contábeis 2015 Plano de Gerenciamento do Projeto Baseado na 5ª edição do Guia PMBOK Brendon Genssinger o e Elcimar Silva Higor Muniz Juliermes Henrique 23/11/2015 1 Histórico de alterações
Leia mais