scientific article; zbMATH DE number 1182732

MaRDI QIDQ4400804zbMATH OpenFDO

Authors S. Conrad, Jaime Ramos, Gunter Saake, Cristina Sernadas

Publication date 2 February 1999

zbMATH Keywords

behaviour evolutionevolving objectsGnomeinformation systemslogic-based specificationspecification evolutiontemporal logic OSLTroll

Mathematics Subject Classification ID

Other applications of logic (03B80) Database theory (68P15)

Recommendations

• A two-level temporal logic for evolving specifications.
• scientific article; zbMATH DE number 1712393
• Modelling evolvable systems: a temporal logic view
• Evolving objects in temporal information systems
• scientific article; zbMATH DE number 1182731

Cited in

(7)

• A two-level temporal logic for evolving specifications.
• A logical framework for evolving software systems
• scientific article; zbMATH DE number 1708004 (Why is no real title available?)
• scientific article; zbMATH DE number 1712393 (Why is no real title available?)
• Modelling evolvable systems: a temporal logic view
• Information disclosure in evolving information systems: taking a shot at a moving target
• Modelling evolvable component systems. I: A logical framework

This page was built for publication:

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