Conformance notions for the coordination of interaction components

DOI10.1016/j.scico.2009.12.005zbMath1200.68072OpenAlexW2014104806MaRDI QIDQ967558

Alexandre Mota, Augusto Sampaio, Rodrigo A. Ramos

Publication date: 29 April 2010

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2009.12.005

zbMATH Keywords

frameworkssoftware componentscomposition predictabilityconformance verificationcoordination patterns

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Rigorous development of component-based systems using component metadata and patterns

Uses Software

• SYNTHESIS
• WSAT
• FDR2

Cites Work

• Behavioral subtyping relations for active objects
• Component adaptation through flexible subservicing
• A Model of Component-Based Programming
• Computer Aided Verification
• Coordination Models and Languages
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Conformance notions for the coordination of interaction components