2748 search results - page 139 / 550 » Generating Object-Z Specifications from Use Cases |
TSE
1998
15 years 5 days ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
102
Voted
ICIP
2006
IEEE
16 years 2 months ago
2006
IEEE
Automatic segmentation of anatomical structures is often performed using model-based non-rigid registration methods. These algorithms work well when the images do not contain any ...
124
click to vote
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
119
Voted
ISSRE
2000
IEEE
15 years 5 months ago
2000
IEEE
Despite the growing interest for component-based systems, few works tackle the question of the trust we can bring into a component. This paper presents a method and a tool for bui...
114
click to vote
EMSOFT
2010
Springer
14 years 10 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...