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

functional specification techniquesinteractive systems

Mathematics Subject Classification ID

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

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

(18)

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

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)