Modelling evolvable systems: a temporal logic view

MaRDI QIDQ3007246zbMATH OpenFDO

Authors Howard Barringer, David Rydeheard

Publication date 21 June 2011

Mathematics Subject Classification ID

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

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

(5)

• A two-level temporal logic for evolving specifications.
• Development of global specification for dynamically adaptive software
• Foundations of Information and Knowledge Systems
• The model evolution calculus as a first-order DPLL method
• Modelling evolvable component systems. I: A logical framework

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)