Reasoning about interactive systems

DOI10.1007/3-540-48118-4_27MaRDI QIDQ4493906zbMATH OpenFDO

Authors Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright

Publication date 1999

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

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

zbMATH Keywords

interactive programs

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A theory of system interaction: components, interfaces, and services
• Specification and Development of Interactive Systems
• scientific article; zbMATH DE number 1390331
• Compositional refinement of interactive systems
• Probabilistic Contracts for Component-Based Design

Cited in

(5)

• An approach to formal verification of human-computer interaction
• Interactive Logical Structures
• scientific article; zbMATH DE number 1828005 (Why is no real title available?)
• scientific article; zbMATH DE number 895659 (Why is no real title available?)
• Dual choice and iteration in an abstract algebra of action

This page was built for publication: Reasoning about interactive systems

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