Compositional refinement of interactive systems

DOI10.1145/268999.269004zbMath0904.68002OpenAlexW2074236561MaRDI QIDQ4208877

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)

Related Items (2)

Conditions of contracts for separating responsibilities in heterogeneous systems ⋮ Refinement-Based Verification of Interactive Real-Time Systems

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