1856 search results - page 124 / 372 » Formal Dialectic Specification |
112
click to vote
ECOOPW
1997
Springer
15 years 8 months ago
1997
Springer
: Most of the study of patterns has been restricted to the composition of "new" patterns. These authors, however, believe that the investigation of design patterns is rip...
130
click to vote
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...
133
click to vote
UML
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
138
click to vote
ARTS
1999
Springer
15 years 8 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
115
click to vote
SPLC
2008
15 years 5 months ago
2008
This paper introduces an extractive approach to building-up a product line based on existing systems. Thereby, we focus on the analysis of common functionalities across different ...