1988 search results - page 243 / 398 » Engineering formal metatheory |
181
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
141
click to vote
ISOLA
2004
Springer
15 years 12 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
160
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
154
click to vote
ISSRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...
201
click to vote
STEP
2003
IEEE
15 years 11 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...