Development of global specification for dynamically adaptive software

DOI10.1007/S00607-013-0295-3MaRDI QIDQ488401zbMATHOpenAlexFDO

Authors Yongwang Zhao, Zhuqing Li, Hualei Shen, Dianfu Ma

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

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

Recommendations

• scientific article; zbMATH DE number 1708004
• scientific article; zbMATH DE number 1614667
• scientific article; zbMATH DE number 1728497
• A formal approach to adaptive software: continuous assurance of non-functional requirements
• Modelling evolvable systems: a temporal logic view

Cites work

• scientific article; zbMATH DE number 1629831 (Why is no real title available?)
• scientific article; zbMATH DE number 1283472 (Why is no real title available?)
• scientific article; zbMATH DE number 1956570 (Why is no real title available?)
• scientific article; zbMATH DE number 2016088 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A brief account of runtime verification
• Assurance of dynamic adaptation in distributed systems
• Comparing LTL semantics for runtime verification
• Mode-automata: A new domain-specific construct for the development of safe critical systems.
• Statecharts: a visual formalism for complex systems

Cited in

(2)

• scientific article; zbMATH DE number 1708004 (Why is no real title available?)
• A formal approach to adaptive software: continuous assurance of non-functional requirements

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

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