A two-level temporal logic for evolving specifications.

DOI10.1016/S0020-0190(02)00289-2MaRDI QIDQ1853062zbMATH OpenFDO

Authors Pierre Yves Schobbens, Gunter Saake, Amílcar Sernadas, Cristina Sernadas

Publication date 21 January 2003

Published in Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

Temporal logicProgram specificationReconfigurable systemsSpecification evolution

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1182732
• Evolving objects in temporal information systems
• Modelling evolvable systems: a temporal logic view
• Revising system specifications in temporal logic
• scientific article; zbMATH DE number 1318522

Cites work

• scientific article; zbMATH DE number 3940713 (Why is no real title available?)
• scientific article; zbMATH DE number 747023 (Why is no real title available?)
• scientific article; zbMATH DE number 1182732 (Why is no real title available?)
• scientific article; zbMATH DE number 1536547 (Why is no real title available?)
• scientific article; zbMATH DE number 1418816 (Why is no real title available?)
• A two-level temporal logic for evolving specifications.
• Decidability results for metric and layered temporal logics
• Object Specification Logic
• Prolegomena to a theory of mechanized formal reasoning
• The complexity of propositional linear temporal logics
• Theories of  -layered metric temporal structures: expressiveness and decidability

Cited in

(5)

• A two-level temporal logic for evolving specifications.
• Modelling evolvable systems: a temporal logic view
• Evolutionary temporal logic for modelling many-lives argumentation networks
• scientific article; zbMATH DE number 1708004 (Why is no real title available?)
• Evolving Specification Engineering

This page was built for publication: A two-level temporal logic for evolving specifications.

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