Modal specification theories for component-based design

MaRDI QIDQ5415578zbMATH OpenFDO

Authors

Publication date 13 May 2014

Full work available at URL http://edoc.ub.uni-muenchen.de/15038/1/bauer_sebastian.pdf

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) 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) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• A modal interface theory with data constraints
• A modal interface theory for component-based design
• Modal Interface Automata
• Interface theories for concurrency and data
• Modal interface automata

Cited in

(12)

• scientific article; zbMATH DE number 2080757 (Why is no real title available?)
• Richer interface automata with optimistic and pessimistic compatibility
• On weak modal compatibility, refinement, and the MIO workbench
• Interface theories for concurrency and data
• Quantitative refinement for weighted modal transition systems
• A compositional specification theory for component behaviours
• Modal event-clock specifications for timed component-based design
• Weighted modal transition systems
• A modal interface theory with data constraints
• Modal Interface Theories for Communication-Safe Component Assemblies
• Foundations of rule-based design of modular systems
• A Theory Agenda for Component-Based Design

Describes a project that uses

Uses Software

• MIO Workbench

This page was built for publication: Modal specification theories for component-based design

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