1782 search results - page 174 / 357 » Tool Support for Proof Engineering |
180
Voted
KBSE
2006
IEEE
16 years 1 months 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...
179
Voted
ETFA
2005
IEEE
16 years 18 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...
168
Voted
QSIC
2005
IEEE
16 years 17 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...
206
Voted
UML
2005
Springer
16 years 14 days 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...
194
Voted
AMAST
1998
Springer
15 years 11 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...