A general framework for modular implementations of modular system specifications

DOI10.1007/3-540-56610-4_65MaRDI QIDQ5044736zbMATH OpenOpenAlexFDO

Authors Michel Bidoit, Rolf Hennicker

Publication date 2 November 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-56610-4_65

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1617303
• On the correctness of modular systems
• scientific article; zbMATH DE number 3890708
• scientific article; zbMATH DE number 3956412
• Very abstract specifications: a formalism independent approach

Cites work

• scientific article; zbMATH DE number 4129965 (Why is no real title available?)
• scientific article; zbMATH DE number 3880083 (Why is no real title available?)
• scientific article; zbMATH DE number 4078762 (Why is no real title available?)
• scientific article; zbMATH DE number 3995031 (Why is no real title available?)
• Context induction: A proof principle for behavioural abstractions and algebraic implementations
• Structured algebraic specifications: A kernel language

Cited in

(12)

• Union and actualization of module specifications: Some compatibility results
• Steps in modular specifications for concurrent modules (invited tutorial paper)
• scientific article; zbMATH DE number 139991 (Why is no real title available?)
• scientific article; zbMATH DE number 1390331 (Why is no real title available?)
• A methodology for the modular structure planning of product-service systems
• Modular and visual specification of hybrid systems: An introduction to HyCharts
• Foundations of rule-based design of modular systems
• Modular structuring of VDM specifications in VVSL
• scientific article; zbMATH DE number 2087510 (Why is no real title available?)
• scientific article; zbMATH DE number 3890708 (Why is no real title available?)
• A framework based on implementation relations for implementing LOTOS specifications
• On the correctness of modular systems

This page was built for publication: A general framework for modular implementations of modular system specifications

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