Component composition preserving behavioral contracts based on communication traces

DOI10.1016/j.tcs.2006.07.019zbMath1132.68343OpenAlexW3080365568MaRDI QIDQ860854

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)

Uses Software

• ArchJava
• PICCOLA

Cites Work

• Langages infinitaires et produit de mixage
• Unnamed Item

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