Fundamental Approaches to Software Engineering

DOI10.1007/B107062MaRDI QIDQ5316445zbMATH OpenOpenAlexFDO

Authors Ralf H. Reussner, Jens Happe, Annegret Habel

Publication date 13 September 2005

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

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 2163031
• Implementation and Application of Automata
• Component composition preserving behavioral contracts based on communication traces
• scientific article; zbMATH DE number 1693436
• An Algebraic Semantics for Contract-Based Software Components

Cited in

(3)

• Implementation and Application of Automata
• Component composition preserving behavioral contracts based on communication traces
• Component simulation-based substitutivity managing QoS and composition issues

This page was built for publication: Fundamental Approaches to Software Engineering

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