A general framework for modular implementations of modular system specifications

DOI10.1007/3-540-56610-4_65zbMATH Open1497.68288OpenAlexW1854457445MaRDI QIDQ5044736FDOQ5044736

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

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

Mathematics Subject Classification ID

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

Cites Work

• Structured algebraic specifications: A kernel language
• Title not available (Why is that?)
• Title not available (Why is that?)
• Context induction: A proof principle for behavioural abstractions and algebraic implementations
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (12)

• Steps in modular specifications for concurrent modules (invited tutorial paper)
• Union and actualization of module specifications: Some compatibility results
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)