On the correctness of modular systems

DOI10.1016/0304-3975(94)00207-YzbMath0874.68065MaRDI QIDQ674009

Juan-Miguel Gracia

Publication date: 28 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

modular software design

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items

Essential concepts of algebraic specification and program development

Cites Work

• Algebraic specification of modules and their basic interconnections
• On observational equivalence and algebraic specification
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Specifications in an arbitrary institution
• Algebraic implementation of abstract data types
• Proof of correctness of data representations
• Abstract and behaviour module specifications
• Institutions: abstract model theory for specification and programming
• A general framework for modular implementations of modular system specifications
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item