1782 search results - page 174 / 357 » Tool Support for Proof Engineering |
166
click to vote
KBSE
2006
IEEE
16 years 15 days ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
165
click to vote
ETFA
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
152
click to vote
QSIC
2005
IEEE
16 years 2 days ago
2005
IEEE
Dynamic service-oriented architectures aim to provide more flexible and robust systems that are able to handle change over time. Their dynamic nature however, provides extra chall...
190
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
Software product line engineering has emerged as an approach to developing software which targets a given domain. However, the processes involved in developing a software product l...
173
click to vote
AMAST
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...