Development of global specification for dynamically adaptive software

DOI10.1007/S00607-013-0295-3zbMATH Open1314.68103OpenAlexW2025320156MaRDI QIDQ488401FDOQ488401

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

Recommendations

• scientific article; zbMATH DE number 1708004
• Publication:2723378
• 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

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)

Cites Work

• Statecharts: a visual formalism for complex systems
• Title not available (Why is that?)
• A brief account of runtime verification
• Assurance of dynamic adaptation in distributed systems
• Comparing LTL semantics for runtime verification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mode-automata: A new domain-specific construct for the development of safe critical systems.
• Title not available (Why is that?)

Cited In (2)

• A formal approach to adaptive software: continuous assurance of non-functional requirements
• Title not available (Why is that?)

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)