Component composition preserving behavioral contracts based on communication traces

DOI10.1016/J.TCS.2006.07.019MaRDI QIDQ860854zbMATH OpenOpenAlexFDO

Authors Arnaud Bailly, Isabelle Simplot-Ryl, Mireille Clerbout

Publication date 9 January 2007

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2006.07.019

zbMATH Keywords

compositionformal specificationssoftware components

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Implementation and Application of Automata
• Behavioural contracts for a sound assembly of components
• scientific article; zbMATH DE number 2163031
• A compositional specification theory for component behaviours
• Fundamental Approaches to Software Engineering

Cites work

• scientific article; zbMATH DE number 2089391 (Why is no real title available?)
• Langages infinitaires et produit de mixage

Cited in

(6)

• Probabilistic contracts for component-based design
• Transactional Reduction of Component Compositions
• Probabilistic Contracts for Component-Based Design
• Fundamental Approaches to Software Engineering
• Preserving Contract Satisfiability Under Non-monotonic Composition
• Implementation and Application of Automata

Describes a project that uses

Uses Software

• PICCOLA
• ArchJava

This page was built for publication: Component composition preserving behavioral contracts based on communication traces

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