Combining partial specifications using alternating interface automata

DOI10.1007/978-3-030-45234-6_23MaRDI QIDQ5039544zbMATH OpenOpenAlexFDO

Authors Ramon Janssen

Publication date 13 October 2022

Published in Fundamental Approaches to Software Engineering (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2002.08754

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

• Modal Interface Automata
• Modal interface automata
• An algebraic theory of interface automata
• Nondeterministic modal interfaces
• Modal I/O Automata for Interface and Product Line Theories

Cites work

• scientific article; zbMATH DE number 2013781 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 3251424 (Why is no real title available?)
• scientific article; zbMATH DE number 2209335 (Why is no real title available?)
• Alternation
• An algebraic theory of interface automata
• Formal Approaches to Software Testing
• Model-Based Testing of Environmental Conformance of Components

Cited in

(1)

• Richer interface automata with optimistic and pessimistic compatibility

This page was built for publication: Combining partial specifications using alternating interface automata

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