A reification calculus for model-oriented software specification

• full text

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Informação adicional documento
•  
• Ver Todos
•  

Visão geral

autores

• Oliveira, José Nuno Fonseca

data de publicação

• janeiro 1, 1990

publicada em

• Formal Aspects of Computing  Revista

Pesquisas

palavras-chave

• Algebraic specification
• Formal methods
• Software engineering
• Transformational design

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.1007/bf01888215

Informação adicional documento

Página Inicial

• 1

página final

• 23