Specifying, relating and composing object oriented interfaces, components and architectures

MaRDI QIDQ5447362zbMATH OpenFDO

Authors Manfred Broy

Publication date 6 March 2008

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• A theory of system interaction: components, interfaces, and services
• scientific article; zbMATH DE number 2163031
• The algebraic structure of interfaces
• A modal interface theory with data constraints
• A compositional specification theory for component behaviours

Cited in

(17)

• scientific article; zbMATH DE number 2006506 (Why is no real title available?)
• Modular Specification of Encapsulated Object-Oriented Components
• Model-based specification
• On Horizontal Specification Architectures and Their Aspect-Oriented Implementations
• A theory of system interaction: components, interfaces, and services
• scientific article; zbMATH DE number 1946747 (Why is no real title available?)
• scientific article; zbMATH DE number 1949589 (Why is no real title available?)
• scientific article; zbMATH DE number 1952057 (Why is no real title available?)
• The algebraic structure of interfaces
• An expressive language of signatures
• scientific article; zbMATH DE number 2079812 (Why is no real title available?)
• scientific article; zbMATH DE number 1693436 (Why is no real title available?)
• On formal specification of software components and systems
• Specifying modules to satisfy interfaces: A state transition system approach
• An Algebraic Semantics for Contract-Based Software Components
• Study on behavioral compatibility of components in software architecture using object-oriented paradigm
• scientific article; zbMATH DE number 2163031 (Why is no real title available?)

This page was built for publication: Specifying, relating and composing object oriented interfaces, components and architectures

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