2407 search results - page 241 / 482 » A Tool for Abstraction in Model Checking |
199
click to vote
EKAW
1999
Springer
15 years 11 months ago
1999
Springer
: The aim of this paper is to present an approach and automated tools for designing knowledge bases describing the contents of information sources in PICSEL2 knowledgediators. We a...
228
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
186
click to vote
VVEIS
2007
15 years 8 months ago
2007
Abstract. In industry, many business processes are modelled and stored in Enterprise Information Systems (EIS). Tools supporting the verification and validation of business process...
172
click to vote
EWC
2000
15 years 7 months ago
2000
The complexity of modern products and design tools has made the exchange of design information more complex. It is widely recognised that the seamless capture, storage, and retriev...
235
click to vote
SPIN
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...