Modelling evolvable component systems. I: A logical framework

DOI10.1093/JIGPAL/JZP026MaRDI QIDQ3653145zbMATH OpenOpenAlexFDO

Authors Howard Barringer, Dov Gabbay, David Rydeheard

Publication date 18 December 2009

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzp026

zbMATH Keywords

evolvable systemslogical frameworksminimum modelsreconfigurable component systemsrevision-based logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical problems of computer architecture (68M07)

Recommendations

• Evolvable computing by means of evolvable components
• Modelling evolvable systems: a temporal logic view
• Evolvable components. From theory to hardware implementations.
• scientific article; zbMATH DE number 1182732
• A logical framework for evolving software systems

Cited in

(2)

• Modelling evolvable systems: a temporal logic view
• scientific article; zbMATH DE number 4081374 (Why is no real title available?)

This page was built for publication: Modelling evolvable component systems. I: A logical framework

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