2448 search results - page 201 / 490 » The Octahedron Abstract Domain |
ECMDAFA
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this paper we report on a feasibility study in reengineering legacy systems towards a model-driven architecture (MDA). Steps in our approach consist of (1) parsing the...
APCSAC
2001
IEEE
15 years 3 months ago
2001
IEEE
A popular trend in current software technology is to gain program portability by compiling programs to an inte form based on an abstract machine definition. Such approaches date b...
ENTCS
2006
14 years 11 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
EWC
2002
14 years 11 months ago
2002
An object-oriented (OO) framework for Partial tial Equations (PDEs) provides software abstractions for numerical simulation of PDEs. The design of such frameworks is not trivial, a...
ACSD
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Semantics of many specification languages, particularly those used in the domain of hardware, is described in terms of vector-based transition systems. In such a transiti...