A two-level temporal logic for evolving specifications.

DOI10.1016/S0020-0190(02)00289-2zbMath1043.68069MaRDI QIDQ1853062

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

Publication date: 21 January 2003

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

zbMATH Keywords

Reconfigurable systemsTemporal logicProgram specificationSpecification evolution

Mathematics Subject Classification ID

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

Related Items (1)

A two-level temporal logic for evolving specifications.

Cites Work

• Prolegomena to a theory of mechanized formal reasoning
• Decidability results for metric and layered temporal logics
• A two-level temporal logic for evolving specifications.
• The complexity of propositional linear temporal logics
• Theories of  -layered metric temporal structures: expressiveness and decidability
• Object Specification Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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