Author of the publication

O Uso de uma Linguagem Semi-Formal no Processo de Formalização de Especificações de Software.

, and . SBES, page 207-220. SBC, (1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Defining a Lexicalized Context-Free Grammar for a Subdomain of Portuguese Language., , , and . TAG+, page 74-79. Association for Computational Linguistics, (2002)A Temporal Framework for Database Specifications., , and . VLDB, page 280-291. Morgan Kaufmann, (1982)Evaluating Case-Based Reasoning in a Geological Domain, , , and . DEXA, volume 978 of Lecture Notes in Computer Science, page 364-373. Springer, (1995)A State-Space Approach for Database Redesign.. ER, volume 823 of Lecture Notes in Computer Science, page 520-530. Springer, (1993)Especificação de Requisitos: Utilizando um Modelo Temporal Orientado a Objetos., , , and . SBES, page 213-228. SBC, (1992)Um Estudo sobre Ferramentas de Apoio para o Projeto de Sistemas de Banco de Dados., and . SBES, page 357-371. SBC, (1994)Systematic Derivation of Complementary Specifications, , and . VLDB, page 409-421. IEEE Computer Society, (1981)Aquisição, modelagem e processamento de conhecimento utilizando raciocíniobaseado em casos, , and . Seminário Integrado de Software e Hardware, 1, page 363-374. Porto Alegre, Instituto de Informática da UFRGS, (1995)Fonte: biblioteca.Uma ferramenta baseada em regras heurísticas para gerar especificações diagramáticas de requisitos orientadas a objeto., , , and . WER, page 27-38. (1998)T-ORM: Temporal Aspects in Objects and Roles., , , , , and . ORM, page 18-27. (1994)