scientific article; zbMATH DE number 1487473

MaRDI QIDQ4493876zbMATH OpenFDO

Authors Reino Kurki-Suonio

Publication date 1999

zbMATH Keywords

closed-system specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Compositional refinement of interactive systems
• An algebraic theory of interface automata
• A compositional specification theory for component behaviours
• scientific article; zbMATH DE number 2080757
• Formal Methods for Components and Objects

Cited in

(6)

• Compositional refinement of interactive systems
• Refinement-preserving plug-in components
• Action systems in incremental and aspect-oriented modeling
• Formal Methods for Components and Objects
• Specifying and analysing system-level inter-component interfaces
• Specification completion for IOCO

Describes a project that uses

Uses Software

• LOTOS

This page was built for publication:

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