Refinement of structured interactive systems

DOI10.1007/978-3-319-10882-7_9MaRDI QIDQ2938157zbMATH OpenOpenAlexFDO

Authors Denisa Diaconescu, L. Petre, K. Sere, Gh. Ştefănescu

Publication date 13 January 2015

Published in Theoretical Aspects of Computing – ICTAC 2014 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-10882-7_9

zbMATH Keywords

coordination programming languagesintegration of data flow and control flowinteractive systemsscenario-based refinementstuttering equivalencetrace semantics

Mathematics Subject Classification ID

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

Recommendations

• Compositional refinement of interactive systems
• Refinement
• scientific article; zbMATH DE number 1759747
• scientific article; zbMATH DE number 177257
• Refinement inference for sequence diagrams

Cited in

(9)

• Refinement for user interface designs
• Refinement inference for sequence diagrams
• Refining emergent properties
• scientific article; zbMATH DE number 3926736 (Why is no real title available?)
• Compositional refinement of interactive systems
• scientific article; zbMATH DE number 1759747 (Why is no real title available?)
• Formal basis for the refinement of rule based transition systems
• Formalization of invariant patterns for the invariant refinement method
• Refinement in Interworkings

Describes a project that uses

Uses Software

• Rodin
• Agapia

This page was built for publication: Refinement of structured interactive systems

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