Implementation and Application of Automata

DOI10.1007/11605157MaRDI QIDQ5897665zbMATH OpenOpenAlexFDO

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

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)

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

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)