Modelling evolvable systems: a temporal logic view

MaRDI QIDQ3007246zbMATH OpenFDO

Authors Howard Barringer, David Rydeheard

Publication date 21 June 2011

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A two-level temporal logic for evolving specifications.
• Modelling evolvable component systems. I: A logical framework
• scientific article; zbMATH DE number 1182732
• Adaptable processes
• Evolvable computing by means of evolvable components

Cited in

(6)

• A two-level temporal logic for evolving specifications.
• The model evolution calculus as a first-order DPLL method
• Modelling evolvable component systems. I: A logical framework
• scientific article; zbMATH DE number 1182732 (Why is no real title available?)
• Development of global specification for dynamically adaptive software
• Foundations of Information and Knowledge Systems

This page was built for publication: Modelling evolvable systems: a temporal logic view

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