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

zbMATH Open1135.68008MaRDI QIDQ5447362FDOQ5447362

Authors: Manfred Broy 

Publication date: 6 March 2008

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

Mathematics Subject Classification ID

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

Cited In (17)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The algebraic structure of interfaces
• An expressive language of signatures
• Title not available (Why is that?)
• Title not available (Why is that?)
• On formal specification of software components and systems
• An Algebraic Semantics for Contract-Based Software Components
• Specifying modules to satisfy interfaces: A state transition system approach
• Study on behavioral compatibility of components in software architecture using object-oriented paradigm
• Title not available (Why is that?)

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)