On the correctness of modular systems

DOI10.1016/0304-3975(94)00207-YMaRDI QIDQ674009zbMATH OpenFDO

Authors 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)

Recommendations

• Modular correctness proofs of behavioural implementations
• Formal reasoning about modules, reuse and their correctness
• scientific article; zbMATH DE number 2087622
• scientific article; zbMATH DE number 3921953
• On conditions for modular verification in systems of synchronising components
• scientific article; zbMATH DE number 3890708
• The verification of modules
• On the completeness of modular proof systems
• Model Checking in Isomorphic Module Systems

Cites work

• scientific article; zbMATH DE number 4129965 (Why is no real title available?)
• scientific article; zbMATH DE number 4130339 (Why is no real title available?)
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 3737004 (Why is no real title available?)
• scientific article; zbMATH DE number 3754008 (Why is no real title available?)
• scientific article; zbMATH DE number 3776831 (Why is no real title available?)
• scientific article; zbMATH DE number 44486 (Why is no real title available?)
• scientific article; zbMATH DE number 177440 (Why is no real title available?)
• scientific article; zbMATH DE number 1142323 (Why is no real title available?)
• scientific article; zbMATH DE number 4113952 (Why is no real title available?)
• scientific article; zbMATH DE number 6296809 (Why is no real title available?)
• A general framework for modular implementations of modular system specifications
• Abstract and behaviour module specifications
• Algebraic implementation of abstract data types
• Algebraic specification of modules and their basic interconnections
• Institutions: abstract model theory for specification and programming
• On observational equivalence and algebraic specification
• Proof of correctness of data representations
• Specifications in an arbitrary institution
• Toward formal development of programs from algebraic specifications: Implementations revisited

Cited in

(8)

• Modular correctness proofs of behavioural implementations
• Essential concepts of algebraic specification and program development
• scientific article; zbMATH DE number 1390331 (Why is no real title available?)
• A semantic approach to program modularity
• scientific article; zbMATH DE number 1678385 (Why is no real title available?)
• A general framework for modular implementations of modular system specifications
• scientific article; zbMATH DE number 3921953 (Why is no real title available?)
• COUNTABLY APPROXIMATING FRAMES

This page was built for publication: On the correctness of modular systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q674009)