Components, objects, and contracts (original) (raw)
Related papers
A Logical Interface Description Language for Components
Lecture Notes in Computer Science, 2000
On the Abstraction of Objects, Components and Interfaces
1999
Assembling components with behavioural contracts
Annales Des Télécommunications
Typing the Behavior of Objects and Components using Session Types
2002
Modeling dynamic component interfaces
tools, 1998
Typing the Behavior of Objects and Component Using Session Types
Electronic Notes in Theoretical Computer Science, 2003
Abstract Behavior Types: a foundation model for components and their composition
Science of Computer Programming, 2005
Concepts of behavioral subtyping and a sketch of their extension to component-based systems
2000
Supporting Behavioral Contracts for COM Components
Foundations of a simple and unified component-oriented language
luc fabresse, Marianne Huchard
Computer Languages, Systems & Structures, 2008
BCOOPL: A Language for Controlling Component Interactions
Flexible Component Composition through Communication Abstraction
Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, 2016
Improving Component-Based Software Architecture by Separating Computations from Interactions
Coordination contracts as connectors in component-based development
2002
Coordinating behavioral descriptions of components
Journal of Universal Computer Science, 2005
Extra-Functional Contract Support in Components
Lecture Notes in Computer Science, 2004
A framework for engineering interactions in java-based component systems
2006
Towards formalizing behavioral substitutability in component frameworks
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004., 2004
Cooperative information systems: current trends …, 1997
Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems
Electronic Notes in Theoretical Computer Science, 2004