7 search results - page 2 / 2 » Incremental Implementation of Syntax Driven Logics |
GPCE
2009
Springer
13 years 11 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
ATVA
2007
Springer
14 years 13 days ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...