2514 search results - page 39 / 503 » The use of industrial-strength formal methods |
ACL
2003
15 years 3 months ago
2003
We present a novel approach for finding discontinuities that outperforms previously published results on this task. Rather than using a deeper grammar formalism, our system combi...
110
click to vote
B
1998
Springer
15 years 6 months ago
1998
Springer
This paper reports on the preparation of test cases using a prototype within the context of a formal development. It describes an approach to building a prototype using an example....
119
click to vote
FLAIRS
1998
15 years 3 months ago
1998
Edge detection is one of the most-studied problems in the field of computervision. However,there is no standard method of objectively and accurately evaluating the performance of ...
FMICS
2008
Springer
15 years 3 months ago
2008
Springer
This paper presents an experience report on the specification and the validation of a real case study in the context of the industrial CRISTAL project. The case study concerns a pl...
138
click to vote
IFM
2010
Springer
14 years 12 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...