slide1 n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
Características de Linguagens de Programação PowerPoint Presentation
Download Presentation
Características de Linguagens de Programação

Loading in 2 Seconds...

play fullscreen
1 / 23
odette-albert

Características de Linguagens de Programação - PowerPoint PPT Presentation

47 Views
Download Presentation
Características de Linguagens de Programação
An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.

- - - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript

  1. UNIVERSIDADE DO ESTADO DO RIO DE JANEIRO • Características de Linguagens de Programação • Apresentação da Linguagem EIFFEL Aluno Rafael Menezes Lopes Professor João Araújo 2009/2

  2. INTRODUÇÃO Eiffel é uma linguagem puramente orientada a objetos que enfatiza o projeto e construção de software reusável e de alta qualidade . Eiffel tem sintaxe muito simples e clara, bastante similar ao PASCALe ALGOL. Eiffel tem um tipo único de dados - todos os tipos são classes - então é possível criar subclasses de classes básicas como a classe "INTEGER". A linguagem se propõe a ser de uso geral, podendo ser usada para desenvolvimento de aplicações financeiras, indústria, sistemas de telecomunicações, etc. Eiffel é a única linguagem a apresentar um inovador conceito, “Projeto por Contrato”.será discutido adiante.

  3. HISTÓRICO 1/3 A linguagem Eiffel foi concebida pela Eiffel Software (até então conhecida como ISE) em 1985, inicialmente como uma ferramenta interna para desenvolver diversas aplicações próprias. Os engenheiros de software da Eiffel necessitavam de um poderoso ambiente para integrar os modernos conceitos da engenharia de software e orientação a objetos e não havia simplesmente nada disponível. Por esta razão, o Dr. Bertrand Meyer, fundador da Eiffel Software, concebeu o compilador Eiffel 1. Ele foi apresentado ao público na primeira The International Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA) em outubro de 1986, onde ele atraiu considerável atenção, levando o Dr. Meyer a divulgá-lo como um produto comercial, no final de 1986.

  4. HISTÓRICO 2/3 A tecnologia se espalhou rapidamente ao longo dos anos seguintes, com um histórico de sucesso em diversos projetos industriais nos EUA, Canadá, Europa e Extremo Oriente. Logo no início, Eiffel também atraiu a atenção da comunidade acadêmica como uma ferramenta ideal para o ensino de programação em todos os níveis. Várias universidades de todo o mundo a têm usado no ensino primário de linguagens de programação. As sucessivas versões do ambiente surgiam em média de uma vez por ano. Eiffel tornou-se objeto de maior visibilidade com a publicação, em 1988, do livro Object-Oriented Software Construction pelo Dr. Bertrand Meyer, que rapidamente se tornou um best-seller e foi traduzido para oito línguas, o livro utiliza Eiffel para explicar e ilustrar os conceitos fundamentais de orientação a objeto e Design by ContractTM.

  5. HISTÓRICO 3/3 A última iteração envolvendo a tecnologia original do Eiffel foi a versão 2.3, lançada em meados de 1990. A próxima versão, Eiffel 3, foi escrito inteiramente em Eiffel. Eiffel 3 apresenta o Melting Ice Technology para recompilação rápida, um ambiente gráfico com interface totalmente inovadora para o usuário, com base em conceitos e avanços consideráveis em bibliotecas (gráficos, rede…) e otimização do código gerado. As primeiras versões foram lançadas em Unix e seguido pelo Linux, VMS, OS / 2, Windows (Windows 3.1, Windows 95, Windows NT). NET, e Mac OS X. Hoje, a tecnologia Eiffel continua a empurrar as fronteiras do desenvolvimento de software. Com a introdução do EiffelStudio TM, os programadores podem tirar partido de uma IDE eficiente – em todas as principais plataformas. Com EiffelEnvision TM, os programadores podem ainda usar o poder da linguagem Eiffel dentro do popular ambiente do Microsoft Visual Studio. NET.

  6. CARACTERÍSTICAS DA LINGUAGEM • Linguagem puramente orientada a objetos; • Definição única de dados: a Classe; • Projeto por Contrato; • Gerenciamento de memória automática, normalmente implementado por coleta de lixo (garbage collection); • Herança, incluindo herança múltipla; • Tipagem Estática (em tempo de compilação); • Separador-livre, a medida em que pontos e vírgulas são opcionais; • Não é case sensitive (não diferencia maiúsculas de minúsculas).

  7. EXEMPLO A

  8. INTERFACE COM OUTRAS LINGUAGENS

  9. DESIGN BY CONTRACT 1/3 Texto retirado do site da Eiffel Software: "Um conceito revolucionário para se fazer softwares confiáveis, introduzido pela Eiffel e apenas implementada na Eiffel. A idéia básica é que para fazer software confiável não é suficiente ser "cuidadoso" e utilizar todo tipo de checagem ao longo do código. Uma abordagem mais sistemática é essencial. Através do conceito de projeto por contrato, você enxerga seu sistema como feito de um número de componentes complementares - as classes em Eiffel - os quais cooperam baseados em declarações precisas de obrigações e benefícios mútuos: contratos, assim como contratos entre cliente e empresa. Eiffel obriga diretamente o projeto por contrato através de construções como class invariants , pré-condições e pós-condições.

  10. DESIGN BY CONTRACT Admita, por exemplo, que nós queremos que nossos contadores sejam sempre não-negativos. A classe terá agora uma invariante indexing ... class COUNTER feature ... invariant item >= 0 end e a feature decremento agora necessita de uma pré-condição, para certificar-se de que o cliente não realiza uma operação ilegal.

  11. DESIGN BY CONTRACT 2/3 A palavra-chave require inicia a pré-condição. decrementis -- Decrease counter by one require item>0 do item:=item -1 ensure item =old item -1 end. -- old "item" representa o valor de "item" antes do método ser chamado. A palavra-chave ensure inicia a pós-condição. "

  12. DESIGN BY CONTRACT 3/3 A pré-condição diz ao cliente: "Nem pense em me chamar a se não tiver absoluta certeza de que counter é estritamente positivo" A pós-condição diz: "Se você for um bom garoto (cumpriu a pré-condição), aqui está o que eu prometo fazer para você quando retornar: eu irei decrementar counter em uma unidade.” Pré-condições, pós-condições e invariantes são chamadas asserções. "

  13. ASSERÇÕES • Segundo a Sun: "Uma asserção é um comando contendo uma expressão booleana que o programador acredita ser verdadeira no momento que o comando é executado". • Ou seja, a asserção é um recurso da linguagem para testar as suposições feitas pelo programador dentro do código. • Verificação de Asserções: • Asserções como pré e pós-condições tem um primeiro papel de documentar o método. • A verificação de asserções pode ser habilitada em tempo de execução. • Se uma asserção não é satisfeita, então: • Se for uma pré-condição, o cliente do método possui uma falha. • Se for uma pós-condição, o método provedor é falho. • A asserção favorece em muito a confiabilidade de um programa, devido as suas prés e pós-condições.

  14. RESUMO DE SINTAXE 1/4 Condicional Laços

  15. RESUMO DE SINTAXE 2/4 Rotina Funções

  16. RESUMO DE SINTAXE 3/4 Atributos (variáveis e Constantes)

  17. RESUMO DE SINTAXE 4/4 Criação de Objetos Projeto por Contrato

  18. HELLO WORLD 2/2

  19. 99 BOTTLES OF BEER 1/2

  20. EXEMPLO B

  21. APENDICE A

  22. BIBLIOGRAFIA SITES: http://www.eiffel.com http://pt.wikipedia.org/wiki/Eiffel_(linguagem_de_programa%C3%A7%C3%A3o) http://www.jvoegele.com/software/langcomp.html http://wapedia.mobi/pt/Eiffel_(linguagem_de_programa%C3%A7%C3%A3o) http://www.infor.uva.es/~felix/priii/sintaxis.html http://linguagemeiffel.wordpress.com/