Compositional refinement of interactive systems

DOI10.1145/268999.269004MaRDI QIDQ4208877zbMATH OpenOpenAlexFDO

Authors Manfred Broy

Publication date 4 November 1998

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL http://www.acm.org/pubs/contents/journals/jacm/1997-44/

zbMATH Keywords

interactive systemsfunctional specification techniques

Mathematics Subject Classification ID

Theory of programming languages (68N15) General theory of computer systems (68M01)

Recommendations

• Refinement of structured interactive systems
• scientific article; zbMATH DE number 1487473
• A compositional specification theory for component behaviours
• A theory of system interaction: components, interfaces, and services
• Compositional action system refinement

Cited in

(14)

• scientific article; zbMATH DE number 5368992 (Why is no real title available?)
• Refinement of structured interactive systems
• A theory of system interaction: components, interfaces, and services
• Conditions of contracts for separating responsibilities in heterogeneous systems
• scientific article; zbMATH DE number 2090145 (Why is no real title available?)
• Compositional action system refinement
• Refinement in Interworkings
• scientific article; zbMATH DE number 2100579 (Why is no real title available?)
• A compositional specification theory for component behaviours
• Interactive systems with registers and voices
• scientific article; zbMATH DE number 5627692 (Why is no real title available?)
• Refinement-Based Verification of Interactive Real-Time Systems
• scientific article; zbMATH DE number 1759747 (Why is no real title available?)
• Towards compositional feedback in non-deterministic and non-input-receptive systems

This page was built for publication: Compositional refinement of interactive systems

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