Development of global specification for dynamically adaptive software

DOI10.1007/S00607-013-0295-3zbMath1314.68103OpenAlexW2025320156MaRDI QIDQ488401

Hualei Shen, Zhuqing Li, Dianfu Ma, Yongwang Zhao

Publication date: 26 January 2015

Published in: Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00607-013-0295-3

zbMATH Keywords

verificationformal specificationdynamic adaptationautonomic computing

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Assurance of dynamic adaptation in distributed systems
• Statecharts: a visual formalism for complex systems
• Mode-automata: A new domain-specific construct for the development of safe critical systems.
• A brief account of runtime verification
• Comparing LTL Semantics for Runtime Verification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Development of global specification for dynamically adaptive software