IVY on the Web, IVY Properties editor

Tamanho: px
Começar a partir da página:

Download "IVY on the Web, IVY Properties editor"

Transcrição

1 IVY on the Web, IVY Properties editor Nuno Miguel Milhases da Silva Departamento de Informática Universidade do Minho - Braga 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.

Novas Tecnologias Microsoft. http://formacao.rumos.pt/

Novas 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 mais

Microsoft Visual Studio Express 2012 for Windows Desktop

Microsoft Visual Studio Express 2012 for Windows Desktop Microsoft Visual Studio Express 2012 for Windows Desktop Apresentação da ferramenta Professor: Danilo Giacobo Página pessoal: www.danilogiacobo.eti.br E-mail: danilogiacobo@gmail.com 1 Introdução Visual

Leia mais

Google 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 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 mais

Microsoft.NET. Desenvolvimento Baseado em Componentes

Microsoft.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 mais

Introduçã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 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 mais

PARTE I A Linguagem C#

PARTE I A Linguagem C# PARTE I A Linguagem C# Capítulo 1, C# 3.0 e o.net 3.5 Capítulo 2, Iniciando: Hello World Capítulo 3, Fundamentos da Linguagem C# Capítulo 4, Classes e Objetos Capítulo 5, Herança e Polimorfismo Capítulo

Leia mais

Principais características

Principais características .Net Framework O que é.net? Proprietário da Microsoft Versão simplificada para Linux Versão compacta para dispositivos móveis Plataforma de desenvolvimento e execução Interface com usuário, conectividade

Leia mais

1.2.4. Organizar a estrutura do site

1.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 mais

OPORTUNIDADES CWI: Principais atividades: - Análise e desenvolvimento de sites Cross-plataform (IE/Firefox/Chrome/Safari).

OPORTUNIDADES CWI: Principais atividades: - Análise e desenvolvimento de sites Cross-plataform (IE/Firefox/Chrome/Safari). OPORTUNIDADES CWI: Analista - Experiência mínima de 2 anos com ASP.NET (C Sharp). - Experiência com atendimento a usuários na resolução de problemas com sistemas já existentes. - Experiência em desenvolvimento

Leia mais

Fundament n os s da platafo f rm r a. NE N T André Menegassi

Fundament n os s da platafo f rm r a. NE N T André Menegassi Fundamentos da plataforma.net André Menegassi O que é o.net Framework?.NET é uma plataforma de software para desenvolvimento de aplicações que conecta informações, sistemas, pessoas e dispositivos através

Leia mais

Microsoft Office (Inclusive Word 2007)

Microsoft Office (Inclusive Word 2007) 10 Parte I: Conhecendo o ASP.NET e o Visual Web Developer Microsoft Office (Inclusive Word 2007) Quando Bill Gates percebeu que a Microsoft estava atrasada em termos de Internet, as palavras passaram a

Leia mais

DESENVOLVIMENTO DE SOFTWARE AULA 1

DESENVOLVIMENTO 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 mais

ANEXO 1. Formulário de Candidatura da Instituição Projecto Final de Curso de IGE/ETI. Instituição de acolhimento. Supervisor nomeado pela instituição

ANEXO 1. Formulário de Candidatura da Instituição Projecto Final de Curso de IGE/ETI. Instituição de acolhimento. Supervisor nomeado pela instituição INSTITUTO SUPERIOR DE CIÊNCIAS DO TRABALHO E DA EMPRESA Departamento de Ciências e Tecnologias de Informação DCTI Formulário de Candidatura da Instituição Projecto Final de Curso de IGE/ETI ANEXO 1 Instituição

Leia mais

Silverlight. Abstract

Silverlight. Abstract Capítulo 1 Silverlight Arthur Rasera e Bianca Ortega Bertoni Abstract Silverlight is a plug-in (component that is added to the browser so that it gains new features) of Microsoft that allows you to create

Leia mais

Design Patterns na plataforma Java

Design Patterns na plataforma Java Design Patterns na plataforma Java Uma experiência no processo de migração para.net João Saraiva Instituto Superior Técnico / INESC-ID (Grupo de Sistemas de Informação) Sumário Apresentação de alguns padrões

Leia mais

TEMA TECNOLOGIA DA INFORMAÇÃO -Tipos de SI e Recursos de Software parte2. AULA DE SISTEMAS DE INFORMAÇÃO PROFa. ROSA MOTTA

TEMA TECNOLOGIA DA INFORMAÇÃO -Tipos de SI e Recursos de Software parte2. AULA DE SISTEMAS DE INFORMAÇÃO PROFa. ROSA MOTTA TEMA TECNOLOGIA DA INFORMAÇÃO -Tipos de SI e Recursos de Software parte2 AULA DE SISTEMAS DE INFORMAÇÃO PROFa. ROSA MOTTA CONTEÚDO DA AULA Tipos de Software Serviços Web Tendências 2 OBJETIVOS ESPECÍFICOS

Leia mais

Universidade 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 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 mais

Informática para Gestão de Negócios Linguagem de Programação III. Prof. Me. Henrique Dezani dezani@fatecriopreto.edu.br. Agenda

Informática para Gestão de Negócios Linguagem de Programação III. Prof. Me. Henrique Dezani dezani@fatecriopreto.edu.br. Agenda Informática para Gestão de Negócios Linguagem de Programação III Prof. Me. Henrique Dezani dezani@fatecriopreto.edu.br Professor Apresentação Agenda Ementa, Objetivo, Conteúdo Programático, Bibliografia,

Leia mais

Protótipo de um sistema para licenciamento de aplicativos Microsoft.NET baseado em assinatura digital XML

Protótipo de um sistema para licenciamento de aplicativos Microsoft.NET baseado em assinatura digital XML Protótipo de um sistema para licenciamento de aplicativos Microsoft.NET baseado em assinatura digital XML Acadêmico: Leonardo Chagas D Ippolito Orientador: Prof. Marcel Hugo Blumenau, Dezembro de 2004

Leia mais

estiglp-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 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 mais

OPORTUNIDADES CWI: Analista de Sistemas Sênior

OPORTUNIDADES CWI: Analista de Sistemas Sênior OPORTUNIDADES CWI: Analista de Sistemas Sênior - Experiência em levantamento de requisitos. - Elaboração de especificação funcional. - Desejável conhecimento em logística e transporte. Analista de Testes

Leia mais

Anexo I - DAS (Documento de Arquitetura de Software) Concurso de Desenvolvimento de Jogos SEBRAE

Anexo I - DAS (Documento de Arquitetura de Software) Concurso de Desenvolvimento de Jogos SEBRAE Anexo I - DAS (Documento de Arquitetura de Software) Concurso de Desenvolvimento de Jogos SEBRAE 1 Sumário Sumário... 2 1 INTRODUÇÃO... 3 1.1 Propósito... 3 1.2 Escopo... 3 1.3 Referências... 3 2 DIRETRIZES...

Leia mais

Ferramentas Web, Web 2.0 e Software Livre em EVT

Ferramentas 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 mais

Ferramenta para conversão de interfaces gráficas desenvolvidas em Delphi para a biblioteca GTK+ Acadêmico: Josimar Zimermann

Ferramenta para conversão de interfaces gráficas desenvolvidas em Delphi para a biblioteca GTK+ Acadêmico: Josimar Zimermann Ferramenta para conversão de interfaces gráficas desenvolvidas em Delphi para a biblioteca GTK+ Acadêmico: Josimar Zimermann Orientadora: Joyce Martins Roteiro Introdução Objetivos Fundamentação teórica

Leia mais

Guião de Introdução ao Eclipse IDE Índice

Guiã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 mais

19/05/2009. Módulo 1

19/05/2009. Módulo 1 ASP.NET Módulo 1 Objetivo Mostrar os conceitos fundamentais da plataforma Microsoft.Net e suas ferramentas; Apresentar os conceitos fundamentais de aplicações web e seus elementos; Demonstrar de forma

Leia mais

Aplicativo de referência em tecnologias Microsoft

Aplicativo de referência em tecnologias Microsoft Aplicativo de referência em tecnologias Microsoft André Luis Voltolini Sousa Prof. Everaldo Artur Grahl- Orientador Roteiro Introdução Objetivos Fundamentação teórica Especificação Implementação Operacionalidade

Leia mais

Conceitos de Ajax Exemplos de uso do Ajax no braço, muitos exemplos, muito código (HTML, CSS, JavaScript, PHP, XML, JSON)

Conceitos de Ajax Exemplos de uso do Ajax no braço, muitos exemplos, muito código (HTML, CSS, JavaScript, PHP, XML, JSON) Márcio Koch 1 Currículo Formado na FURB em Ciência da Computação Pós graduado em Tecnologias para o desenvolvimento de aplicações web Mestrando em Computação Gráfica na UDESC Arquiteto de software na Senior

Leia mais

Framework.NET, Microsoft Visual C# 2010 Express e Elementos da Linguagem C#

Framework.NET, Microsoft Visual C# 2010 Express e Elementos da Linguagem C# Linguagem de Programação 3 Framework.NET, Microsoft Visual C# 2010 Express e Elementos da Linguagem C# Prof. Mauro Lopes 1-31 35 Objetivos Nesta aula iremos apresentar a tecnologia.net, o ambiente de desenvolvimento

Leia mais

Introdução... 3 Requisitos funcionais... 4 Requisitos não funcionais... 6 Viabilidade técnica... 7

Introdução... 3 Requisitos funcionais... 4 Requisitos não funcionais... 6 Viabilidade técnica... 7 Índice Introdução... 3 Requisitos funcionais... 4 Requisitos não funcionais... 6 Viabilidade técnica... 7 1) HARDWARE... 7 Decisão... 10 2) LINGUAGENS E FRAMEWORKS... 11 Decisão... 14 3) SOFTWARE... 15

Leia mais

UMA ABORDAGEM COMPARATIVA ENTRE AS LINGUAGENS DE PROGRAMAÇÃO JAVA E C#

UMA ABORDAGEM COMPARATIVA ENTRE AS LINGUAGENS DE PROGRAMAÇÃO JAVA E C# UMA ABORDAGEM COMPARATIVA ENTRE AS LINGUAGENS DE PROGRAMAÇÃO JAVA E C# Robson Bartelli¹, Wyllian Fressatti¹. ¹Universidade Paranaense (Unipar) Paranavaí PR Brasil robson_lpbartelli@yahoo.com.br,wyllian@unipar.br

Leia mais

Com relação às áreas de conhecimento de projetos conforme o. PMBoK, julgue os itens subseqüentes.

Com relação às áreas de conhecimento de projetos conforme o. PMBoK, julgue os itens subseqüentes. De acordo com o comando a que cada um dos itens de 1 a 70 se refira, marque, na folha de respostas, para cada item: o campo designado com o código C, caso julgue o item CERTO; ou o campo designado com

Leia mais

Introdução ao C# . Visão geral do.net Framework

Introdução ao C# . Visão geral do.net Framework Introdução ao C# Microsoft.NET (comumente conhecido por.net Framework - em inglês: dotnet) é uma iniciativa da empresa Microsoft, que visa uma plataforma única para desenvolvimento e execução de sistemas

Leia mais

Uma nova luz na web com Microsoft Silverlight. Leonardo Sobral sobral@eng.com.br Consultor de Tecnologia

Uma nova luz na web com Microsoft Silverlight. Leonardo Sobral sobral@eng.com.br Consultor de Tecnologia Uma nova luz na web com Microsoft Silverlight Leonardo Sobral sobral@eng.com.br Consultor de Tecnologia Links Silverlight 4 runtime http://silverlight.net/getstarted/silverlight4/default.aspx Silverlight

Leia mais

Esse update é 10: Novos applets e JavaFX

Esse update é 10: Novos applets e JavaFX Esse update é 10: Novos applets e JavaFX Jorge Diz Instrutor Globalcode Objetivos Objetivos: Mostrar o que vem por ai no desktop/ browsertop Ver se os applets agora vão pegar Onde está JavaFX? Agenda >Applets:

Leia mais

A interface do Microsoft Visual Studio 2005

A 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 mais

Melhorias na IDE do Visual Studio 2010

Melhorias na IDE do Visual Studio 2010 Tecnologias Visual Studio 2010, ASP.NET 4, Silverlight 4, Entity Framework 4, WPF, Diagramas, Arquitetura, Cloud Computing Sumário Neste artigo vou mostrar as melhores justificativas para se adotar o Visual

Leia mais

Web Services. Autor: Rômulo Rosa Furtado

Web 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 mais

Implementação de Web Services em Projetos de LabVIEW

Implementação de Web Services em Projetos de LabVIEW 1 Implementação de Web Services em Projetos de LabVIEW Alisson Kokot Engenheiro de Vendas Osvaldo Santos Engenheiro de Sistemas 2 Aplicações Web surgem como soluções viáveis profissionalmente 3 Aplicações

Leia mais

Microsoft TechDays 2007 - Lisboa

Microsoft TechDays 2007 - Lisboa DEV016 Desenvolvimento de Web Sites Só com Ferramentas Gratuitas Hugo Silva hugos@evidensys.com Partner - EVIDENSYS Patrocinadores Agenda Open source vs. Grátis Camadas de Aplicações (LAMP vs. WISA) As

Leia mais

GLOSSÁRIO. ActiveX Controls. É essencialmente uma interface usada para entrada e saída de dados para uma aplicação.

GLOSSÁRIO. ActiveX Controls. É essencialmente uma interface usada para entrada e saída de dados para uma aplicação. GLOSSÁRIO Este glossário contém termos e siglas utilizados para Internet. Este material foi compilado de trabalhos publicados por Plewe (1998), Enzer (2000) e outros manuais e referências localizadas na

Leia mais

World Wide Web e Aplicações

World Wide Web e Aplicações World Wide Web e Aplicações Módulo H O que é a WWW Permite a criação, manipulação e recuperação de informações Padrão de fato para navegação, publicação de informações e execução de transações na Internet

Leia mais

Unidade 4 Concepção de WEBSITES. Fundamentos do planeamento de um website 1.1. Regras para um website eficaz 1.1.1.

Unidade 4 Concepção de WEBSITES. Fundamentos do planeamento de um website 1.1. Regras para um website eficaz 1.1.1. Unidade 4 Concepção de WEBSITES Fundamentos do planeamento de um website 1.1. Regras para um website eficaz 1.1.1. Sobre o conteúdo 1 Regras para um website eficaz sobre o conteúdo Um website é composto

Leia mais

Justificativa do uso da Linguagem XML no Projeto RIVED

Justificativa do uso da Linguagem XML no Projeto RIVED Justificativa do uso da Linguagem XML no Projeto RIVED Índice Introdução... 1 Sobre a linguagem XML... 2 O que é XML (extensible Markup Language)?... 2 Características da Linguagem...3 Sobre o seu uso...

Leia mais

Seminário - C# DSO II. Desenvolvimento de Sistemas Orientados a Objetos 2. Equipe: Diorges, Leonardo, Luís Fernando, Ronaldo

Seminário - C# DSO II. Desenvolvimento de Sistemas Orientados a Objetos 2. Equipe: Diorges, Leonardo, Luís Fernando, Ronaldo Seminário - C# DSO II Desenvolvimento de Sistemas Orientados a Objetos 2 Equipe: Diorges, Leonardo, Luís Fernando, Ronaldo Roteiro Breve Histórico Plataforma.NET Características da Linguagem Sintaxe Versões

Leia mais

Lista de Revisão. 3. Analise a afirmativa a seguir como verdadeira ou falsa e justifique.

Lista de Revisão. 3. Analise a afirmativa a seguir como verdadeira ou falsa e justifique. Lista de Revisão 1. Nos sistemas web, geralmente os usuários apresentam dois problemas típicos, a desorientação e a sobrecarga cognitiva. Discorra sobre esses problemas. 2. Apresente as principais diferenças

Leia mais

Interface Homem Máquina para Domótica baseado em tecnologias Web

Interface Homem Máquina para Domótica baseado em tecnologias Web Interface Homem Máquina para Domótica baseado em tecnologias Web João Alexandre Oliveira Ferreira Dissertação realizada sob a orientação do Professor Doutor Mário de Sousa do Departamento de Engenharia

Leia mais

Laboratório 4 Validação do Formulário

Laboratório 4 Validação do Formulário Laboratório 4 Validação do Formulário Introdução Agora que já definimos os nossos documentos usando xhtml e já os embelezámos através da utilização das CSS, está na hora de validar a informação que o utilizador

Leia mais

Introdução à Tecnologia Web. Ferramentas e Tecnologias de Desenvolvimento Web. Profª MSc. Elizabete Munzlinger www.elizabete.com.

Introdução à Tecnologia Web. Ferramentas e Tecnologias de Desenvolvimento Web. Profª MSc. Elizabete Munzlinger www.elizabete.com. IntroduçãoàTecnologiaWeb FerramentaseTecnologiasde DesenvolvimentoWeb ProfªMSc.ElizabeteMunzlinger www.elizabete.com.br ProfªMSc.ElizabeteMunzlinger www.elizabete.com.br FerramentaseTecnologiasde DesenvolvimentoWeb

Leia mais

1. Introdução. 2. A área de trabalho

1. 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 mais

Programação para Android

Programação para Android Programação para Android Aula 01: Visão geral do android, instalação e configuração do ambiente de desenvolvimento, estrutura básica de uma aplicação para Android Objetivos Configurar o ambiente de trabalho

Leia mais

Ambientes Visuais. Ambientes Visuais

Ambientes Visuais. Ambientes Visuais Ambientes Visuais Inicialmente, apenas especialistas utilizavam os computadores, sendo que os primeiros desenvolvidos ocupavam grandes áreas e tinham um poder de processamento reduzido. Porém, a contínua

Leia mais

Testes de Software. Anne Caroline O. Rocha TesterCertified BSTQB NTI UFPB. Anne Caroline O. Rocha Tester Certified BSTQB NTI UFPB

Testes de Software. Anne Caroline O. Rocha TesterCertified BSTQB NTI UFPB. Anne Caroline O. Rocha Tester Certified BSTQB NTI UFPB Testes de Software 1 AULA 04 FERRAMENTAS DE AUTOMAÇÃO DE TESTES FUNCIONAIS Anne Caroline O. Rocha TesterCertified BSTQB NTI UFPB Conteúdo Programático Aula 04 Automação de testes funcionais Ferramentas

Leia mais

Vídeo Vigilância Abordagem Open-Source

Vídeo Vigilância Abordagem Open-Source Vídeo Vigilância Abordagem Open-Source Alunos: Justino Santos, Paulo Neto E-mail: eic10428@student.estg.ipleiria.pt, eic10438@student.estg.ipleiria.pt Orientadores: Prof. Filipe Neves, Prof. Paulo Costa

Leia mais

Ferramentas Web, Web 2.0 e Software Livre em EVT

Ferramentas 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 Prezi Manual e Guia de exploração do Prezi para utilização em contexto de Educação Visual e

Leia mais

Pós graduação MULTIMÉDIA E SIMULAÇÕES COMPUTACIONAIS 3D. 1º Trimestre:

Pós graduação MULTIMÉDIA E SIMULAÇÕES COMPUTACIONAIS 3D. 1º Trimestre: Pós graduação MULTIMÉDIA E SIMULAÇÕES COMPUTACIONAIS 3D com aplicações à publicidade, educação e entretenimento (Primeiro draft) Duração: 3 trimestres 1º Trimestre: 1. Técnicas Avançadas de Tratamento

Leia mais

FERRAMENTAS NECESSÁRIAS PARA O DESENVOLVIMENTO EM C#

FERRAMENTAS NECESSÁRIAS PARA O DESENVOLVIMENTO EM C# FERRAMENTAS NECESSÁRIAS PARA O DESENVOLVIMENTO EM C# Camila Sanches Navarro 1,2, Willian Magalhães 2 ¹Universidade paranaense (Unipar) Paranavaí PR Brasil sanchesnavarro@gmail.com wmagalhaes@unipar.br

Leia mais

ANEXO 1. Formulário de Candidatura da Instituição Projecto Final de Curso de IGE/ETI. Instituição de acolhimento. Supervisor nomeado pela instituição

ANEXO 1. Formulário de Candidatura da Instituição Projecto Final de Curso de IGE/ETI. Instituição de acolhimento. Supervisor nomeado pela instituição INSTITUTO SUPERIOR DE CIÊNCIAS DO TRABALHO E DA EMPRESA Departamento de Ciências e Tecnologias de Informação DCTI Formulário de Candidatura da Instituição Projecto Final de Curso de IGE/ETI ANEXO 1 Instituição

Leia mais

II 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 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 mais

Ajax não é dependente dos servidores Web, e como tal poderá ser usado com PHP, JSP, ASP e ASP.NET.

Ajax não é dependente dos servidores Web, e como tal poderá ser usado com PHP, JSP, ASP e ASP.NET. 1 2 Ajax não é dependente dos servidores Web, e como tal poderá ser usado com PHP, JSP, ASP e ASP.NET. 3 Por todo o documento subentende-se: todos os seus componentes já anteriormente carregados: imagens,

Leia mais

Gráficos 3D na Internet

Gráficos 3D na Internet capítulo 1. Gráficos 3D na Internet Um dos mais recentes desenvolvimentos na Internet foi a implantação do VRML (Virtual Reality Modelling Language) como uma linguagem de descrição de cenas virtuais interactivas

Leia mais

Desenvolvimento de uma Plataforma Gráfica para a Descrição de Modelos de Sistemas Ambientais

Desenvolvimento de uma Plataforma Gráfica para a Descrição de Modelos de Sistemas Ambientais Desenvolvimento de uma Plataforma Gráfica para a Descrição de Modelos de Sistemas Ambientais Tiago F. M. Lima 1,2, Tiago G. S. Carneiro 2, Sérgio D. Faria 3 1 Programa de Pós-Graduação em Análise e Modelagem

Leia mais

FERRAMENTAS PARA DESENVOLVIMENTO EM C#

FERRAMENTAS PARA DESENVOLVIMENTO EM C# FERRAMENTAS PARA DESENVOLVIMENTO EM C# Camila Sanches Navarro 1,2, Wyllian Fressatti 2 ¹Universidade paranaense (Unipar) Paranavaí PR Brasil sanchesnavarro@gmail.com wyllian@unipar.br Resumo. Este artigo

Leia mais

INSPIRE Metadados e Serviços de Pesquisa

INSPIRE Metadados e Serviços de Pesquisa INSPIRE Metadados e Serviços de Pesquisa II Jornadas de Software Aberto para Informação Geográfica Henrique Silva, hsilva@igeo.pt Metadados e Serviços de Pesquisa Metadados são as informações que descrevem

Leia mais

Softwares de Sistemas e de Aplicação

Softwares de Sistemas e de Aplicação Fundamentos dos Sistemas de Informação Softwares de Sistemas e de Aplicação Profª. Esp. Milena Resende - milenaresende@fimes.edu.br Visão Geral de Software O que é um software? Qual a função do software?

Leia mais

OPORTUNIDADES CWI: Principais atividades: - Análise e desenvolvimento de sites Cross-plataform (IE/Firefox/Chrome/Safari).

OPORTUNIDADES CWI: Principais atividades: - Análise e desenvolvimento de sites Cross-plataform (IE/Firefox/Chrome/Safari). OPORTUNIDADES CWI: Analista de Testes - 2 anos de experiências em testes. - Experiência com alguma ferramenta de automação de testes. - Conhecimento em especificação de casos de testes. - Formação superior

Leia mais

O Primeiro Programa em Visual Studio.net

O Primeiro Programa em Visual Studio.net O Primeiro Programa em Visual Studio.net Já examinamos o primeiro programa escrito em C que servirá de ponto de partida para todos os demais exemplos e exercícios do curso. Agora, aprenderemos como utilizar

Leia mais

Linguagem de Programação Para Internet II

Linguagem de Programação Para Internet II Linguagem de Programação Para Internet II Resumo do Conteúdo 1 Tecnologias Emergentes Para o Desenvolvimento de Aplicações Web Java Server Faces (JSF) Struts Tapestry PHP Ruby on Rails ASP.NET Phyton Perl

Leia mais

Introdução ao Veridis Biometrics SDK VERIDIS

Introdução ao Veridis Biometrics SDK VERIDIS Introdução ao Veridis Biometrics SDK Versão do SDK: 5.0 2013 Veridis Biometrics VERIDIS BIOMETRICS Versão do Documento Versão Data Modificações 1 2 3 4 5 23/mar/2011 17/mai/2011 29/jul/2011 3/out/2011

Leia mais

Frameworks para criação de Web Apps para o Ensino Mobile

Frameworks para criação de Web Apps para o Ensino Mobile 393 Frameworks para criação de Web Apps para o Ensino Mobile Lucas Zamim 1 Roberto Franciscatto 1 Evandro Preuss 1 1 Colégio Agrícola de Frederico Westphalen (CAFW) Universidade Federal de Santa Maria

Leia mais

Ferramenta de apoio a gerência de configuração de software. Aluno: Rodrigo Furlaneto Orientador: Everaldo Artur Grahl

Ferramenta de apoio a gerência de configuração de software. Aluno: Rodrigo Furlaneto Orientador: Everaldo Artur Grahl Ferramenta de apoio a gerência de configuração de software Aluno: Rodrigo Furlaneto Orientador: Everaldo Artur Grahl Roteiro de apresentação Introdução Objetivos Fundamentação Teórica Gerência de Configuração

Leia mais

Programação para Dispositivos Móveis Aula 1. Prof. William Yamamoto

Programação para Dispositivos Móveis Aula 1. Prof. William Yamamoto Programação para Dispositivos Móveis Aula 1 Prof. William Yamamoto Visual Studio É uma ferramenta de desenvolvimento completa que atende praticamente a todas as plataformas de desenvolvimento, como: Web

Leia mais

Módulo 3936 ASP.NET. Financiado pelo FSE

Módulo 3936 ASP.NET. Financiado pelo FSE 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 mais

Comparando Java e C#

Comparando Java e C# Por: Lincon Alexandre Marques Jonathan T. Dos Santos Ricardo Fumio Tanimoto Abril, 2009 Comparando Java e C# Introdução Escolhemos como tema deste artigo um comparativo entre as linguagens Java e C#, duas

Leia mais

Ementário do Curso Técnico em Informática para Internet

Ementário do Curso Técnico em Informática para Internet 1 Ministério da Educação Secretaria de Educação Profissional e Tecnológica Instituto Federal do Rio de Janeiro - IFRJ Pró-Reitoria de Ensino Médio e Técnico Campus Engenheiro Paulo de Frontin Direção de

Leia mais

A VISTA BACKSTAGE PRINCIPAIS OPÇÕES NO ECRÃ DE ACESSO

A 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 mais

História e Evolução da Web. Aécio Costa

História e Evolução da Web. Aécio Costa Aécio Costa A História da Web O que estamos estudando? Período em anos que a tecnologia demorou para atingir 50 milhões de usuários 3 As dez tecnologias mais promissoras 4 A evolução da Web Web 1.0- Passado

Leia mais

PRODUTO 1 (CONSTRUÇÃO DE PORTAL WEB)

PRODUTO 1 (CONSTRUÇÃO DE PORTAL WEB) RELATÓRIO DE ENTREGA DO PRODUTO 1 (CONSTRUÇÃO DE PORTAL WEB) PARA A ELABORAÇÃO DOS PLANOS MUNICIPAIS DE GESTÃO INTEGRADA DE RESÍDUOS SÓLIDOS PMGIRS PARA OS MUNICÍPIOS DE NOVO HORIZONTE, JUPIÁ, GALVÃO,

Leia mais

Manual Internet. Professora: Elisa Carvalho elisa_castro@sapo.pt http://elisacarvalho.no.sapo.pt

Manual Internet. Professora: Elisa Carvalho elisa_castro@sapo.pt http://elisacarvalho.no.sapo.pt Manual Internet Professora: Elisa Carvalho elisa_castro@sapo.pt http://elisacarvalho.no.sapo.pt Fevereiro de 2006 Índice Internet... 2 Correio electrónico... 2 Os endereços... 2 Lista de correio... 2 Grupos

Leia mais

Índice. Introdução... 3 Requisitos funcionais... 4 Viabilidade técnica... 6. Requisitos não funcionais... 18 Conclusão... 19

Índice. Introdução... 3 Requisitos funcionais... 4 Viabilidade técnica... 6. Requisitos não funcionais... 18 Conclusão... 19 Índice Introdução... 3 Requisitos funcionais... 4 Viabilidade técnica... 6 1) HARDWARE... 6 2) LINGUAGENS E FRAMEWORKS... 11 3) SOFTWARE... 14 4) DECISÃO... 17 Requisitos não funcionais... 18 Conclusão...

Leia mais

Análise de Sistemas I: Programação em Nuvem. Luiz Filipe Licidonio. Faculdade de Tecnologia Pastor Dohms. Porto Alegre, Rio Grande do Sul

Análise de Sistemas I: Programação em Nuvem. Luiz Filipe Licidonio. Faculdade de Tecnologia Pastor Dohms. Porto Alegre, Rio Grande do Sul 1 Análise de Sistemas I: Programação em Nuvem Luiz Filipe Licidonio Faculdade de Tecnologia Pastor Dohms Porto Alegre, Rio Grande do Sul luiz_np_poa@hotmail.com 2 Análise de Sistemas I: Programação em

Leia mais

Portal da Imprensa Regional. Actualizações e Correcções

Portal da Imprensa Regional. Actualizações e Correcções Portal da Imprensa Regional Actualizações e Correcções Índice Versão: 3.1.3... 3... 3 BackOffice... 3 Versão: 3.0.1... 3... 3 BackOffice... 3 Versão: 3.0.0... 4... 4 BackOffice... 4 Histórico de Versões...

Leia mais

WebUML: Uma Ferramenta Colaborativa de Apoio ao Projeto e Análise de Sistemas Descritos em Classes UML

WebUML: Uma Ferramenta Colaborativa de Apoio ao Projeto e Análise de Sistemas Descritos em Classes UML Carlos Henrique Pereira WebUML: Uma Ferramenta Colaborativa de Apoio ao Projeto e Análise de Sistemas Descritos em Classes UML Florianópolis - SC 2007 / 2 Resumo O objetivo deste trabalho é especificar

Leia mais

JSP trata-se de uma tecnologia que possibilita o desenvolvimento de páginas web dinâmicas utilizando todas as potencialidades do Java como linguagem

JSP 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 mais

BANCO DE DADOS PARA WEB

BANCO DE DADOS PARA WEB BANCO DE DADOS PARA WEB PROF. FABIANO TAGUCHI http://fabianotaguchi.wordpress.com fabianotaguchi@gmail.com INTRODUÇÃO O desenvolvimento de aplicações para Web tem sido uma das maiores tendências no panorama

Leia mais

Sistema de Informação para Coleções de Interesse Biotecnológico

Sistema de Informação para Coleções de Interesse Biotecnológico Sistema de Informação para Coleções de Interesse Biotecnológico Sidnei de Souza Centro de Referência em Informação Ambiental, CRIA 24º Congresso Brasileiro de Microbiologia Brasília, 04 de outubro de 2007

Leia mais

UNIVERSIDADE DE LISBOA Faculdade de Ciências Departamento de Informática

UNIVERSIDADE DE LISBOA Faculdade de Ciências Departamento de Informática UNIVERSIDADE DE LISBOA Faculdade de Ciências Departamento de Informática REFORMULAÇÃO DO SITE DE GESTÃO DE UTILIZADORES João Pedro Feio Areias Mestrado em Engenharia Informática 2007 2 UNIVERSIDADE DE

Leia mais

Descrição de Arquitectura e Design. SyncMasters

Descrição de Arquitectura e Design. SyncMasters 1 Descrição de Arquitectura e Design SyncMasters ConfiKeeper Version 2.0, 16-11-2014 by SyncMasters: Carlos Paiva, 2009108909, cpaiva@student.dei.uc.pt Inês Parente, 2012152484, iparente@student.dei.uc.pt

Leia mais

Criando Aplicações PHP com. Zend e Dojo. Flávio Gomes da Silva Lisboa. Novatec

Criando Aplicações PHP com. Zend e Dojo. Flávio Gomes da Silva Lisboa. Novatec Criando Aplicações PHP com Zend e Dojo Flávio Gomes da Silva Lisboa Novatec Copyright 2013 da Novatec Editora Ltda. Todos os direitos reservados e protegidos pela Lei 9.610 de 19/02/1998. É proibida a

Leia mais

Dados do Projeto. Nome do Projeto. Fingerprint Access Users. Data de Inicialização 14/04/2012

Dados do Projeto. Nome do Projeto. Fingerprint Access Users. Data de Inicialização 14/04/2012 Fábrica de Software Dados do Projeto Nome do Projeto Data de Inicialização Responsáveis Autores Fingerprint Access Users 14/04/2012 Adriana Lima de Almeida, Espedito Alves Leal, Jaciel Dias de Souza, Samuel

Leia mais

SIBS PROCESSOS cria solução de factura electrónica com tecnologias Microsoft

SIBS PROCESSOS cria solução de factura electrónica com tecnologias Microsoft SIBS PROCESSOS cria solução de factura electrónica com tecnologias Microsoft A solução MB DOX oferece uma vantagem competitiva às empresas, com a redução do custo de operação, e dá um impulso à factura

Leia mais

Capítulo 1. Introdução. 1.1 Linguagens. OBJETIVOS DO CAPÍTULO Ao final deste capítulo você deverá ser capaz de:

Capítulo 1. Introdução. 1.1 Linguagens. OBJETIVOS DO CAPÍTULO Ao final deste capítulo você deverá ser capaz de: i Sumário 1 Introdução 1 1.1 Linguagens....................................... 1 1.2 O que é um Compilador?................................ 2 1.3 Processadores de Programas: Compiladores, Interpretadores

Leia mais

Extensão ez Open Document Format (ezodf) Documentação. versão 2.0. experts em Gestão de Conteúdo

Extensão ez Open Document Format (ezodf) Documentação. versão 2.0. experts em Gestão de Conteúdo Extensão ez Open Document Format (ezodf) Documentação versão 2.0 Conteúdo 1. Introdução... 3 2 1.1 Público alvo... 3 1.2 Convenções... 3 1.3 Mais recursos... 3 1.4 Entrando em contato com a ez... 4 1.5

Leia mais

Como acompanhar a evolução dos aplicativos? Console >> Desktop >> Web >> Mobile >> Cloud. Como aproveitar o melhor de cada programador?

Como acompanhar a evolução dos aplicativos? Console >> Desktop >> Web >> Mobile >> Cloud. Como aproveitar o melhor de cada programador? Como acompanhar a evolução dos aplicativos? Console >> Desktop >> Web >> Mobile >> Cloud Como aproveitar o melhor de cada programador? Clientes querem tudo pra ontem. Como atender essa necessidade? Microsoft.NET

Leia mais

CURSO DESENVOLVEDOR JAVA WEB E FLEX Setembro de 2010 à Janeiro de 2011

CURSO DESENVOLVEDOR JAVA WEB E FLEX Setembro de 2010 à Janeiro de 2011 CURSO DESENVOLVEDOR JAVA WEB E FLEX Setembro de 2010 à Janeiro de 2011 O curso foi especialmente planejado para os profissionais que desejam trabalhar com desenvolvimento de sistemas seguindo o paradigma

Leia mais

Sistema para gestão de restaurante

Sistema para gestão de restaurante Sistema para gestão de restaurante Luciana Tavares Rosa luciana.rosa@inf.aedb.br AEDB Fábio Rezende Dutra fabio.dutra@inf.aedb.br AEDB Resumo:O sistema para gestão de restaurante é um software desenvolvido

Leia mais

Aplicações Informáticas B

Aplicações Informáticas B Prova de Exame Nacional de Aplicações Informáticas B Prova 703 2008 12.º Ano de Escolaridade Decreto-Lei n.º 74/2004, de 26 de Março Para: Direcção-Geral de Inovação e de Desenvolvimento Curricular Inspecção-Geral

Leia mais

OMT-G Design. Instalação por pacotes

OMT-G Design. Instalação por pacotes OMT-G Design A plataforma Eclipse OMT-G Design não é um software independente, é um plug-in que se utiliza dos mecanismos de extensão do Eclipse que por sua vez é um ambiente de desenvolvimento de software.

Leia mais