Um Editor Orientado a Sintaxe de LOTOS Documento

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Ver todos
•  

Visão geral

orientado por

• Sergio Vianna Fialho

tipo

• master thesis

data de publicação

• 1995-01-01

Pesquisas

áreas de investigação

• Engenharia de Software
• Linguagem Formais e Autômatos
• Software Básico

palavras-chave

• Especificação auxiliada por computador
• LOTOS
• Técnicas de descrição formal

Identidade

identificador BrCris

• a8ce85cdc48d0d2e8d178cb86dd543cc