scientific article; zbMATH DE number 1304371

MaRDI QIDQ4251106zbMATH OpenFDO

Authors Simone Veglioni, Francesco Parisi-Presicce

Publication date 9 January 2000

zbMATH Keywords

independent compositioninteractive composition

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• A compositional specification theory for component behaviours
• Formal Methods for Components and Objects
• Behavioural specification for hierarchical object composition
• Foundations for structuring behavioural specifications
• Compositional refinement of interactive systems

Cited in

(8)

• Algebra of behavior transformations and its applications
• Composition of Motion Description Languages
• scientific article; zbMATH DE number 5368992 (Why is no real title available?)
• scientific article; zbMATH DE number 1304374 (Why is no real title available?)
• scientific article; zbMATH DE number 1314230 (Why is no real title available?)
• Formal definition and representation of interaction points
• Formal Methods for Components and Objects
• Formal Methods for Components and Objects

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 Q4251106)