Implementation and Application of Automata

DOI10.1007/11605157zbMATH Open1172.68421OpenAlexW2544597226MaRDI QIDQ5897665FDOQ5897665

Authors: Arnaud Bailly, Isabelle Simplot-Ryl, Mireille Clerbout 

Publication date: 13 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11605157

Recommendations

• Component composition preserving behavioral contracts based on communication traces
• 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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (7)

• Preserving Contract Satisfiability Under Non-monotonic Composition
• Component composition preserving behavioral contracts based on communication traces
• Probabilistic contracts for component-based design
• Infinite unfair shuffles and associativity
• Fundamental Approaches to Software Engineering
• Transactional Reduction of Component Compositions
• Probabilistic Contracts for Component-Based Design

This page was built for publication: Implementation and Application of Automata

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