A contract-based approach to adaptivity

DOI10.1016/J.JLAP.2010.09.001zbMath1213.68208OpenAlexW1988066482MaRDI QIDQ541295

Martin Wirsing, Sebastian S. Bauer, Andreas Schroeder

Publication date: 7 June 2011

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2010.09.001

zbMATH Keywords

reconfigurationcomponent-based software engineeringpervasive computingassume-guarantee contractsreal-time temporal logic

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

A Homage to Martin Wirsing ⋮ Ode to the PST

Cites Work

• Unnamed Item
• Real-time logics: Complexity and expressiveness
• A theory of timed automata
• Multiple Viewpoint Contract-Based Specification and Design
• Proofs of Networks of Processes
• A really temporal logic
• The benefits of relaxing punctuality
• A calculus of open modules: call-by-need strategy and confluence
• Axioms for real-time logics

This page was built for publication: A contract-based approach to adaptivity