1407 search results - page 15 / 282 » Using Use Cases in Executable Z |
SEFM
2007
IEEE
15 years 3 months ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
102
Voted
FMCO
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
EUROMICRO
1999
IEEE
15 years 1 months ago
1999
IEEE
Experience has shown that prototypingis a valuabletechnique in the validation of designs. However, the prototype(s) can be too far semantically removed from the design. Animation ...
60
Voted
COMPSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
Software testing and retesting occurs continuously during the software development lifecycle to detect errors as early as possible. The sizes of test suites grow as software evolv...
UML
2005
Springer
15 years 3 months ago
2005
Springer
Many exceptional situations arise during the execution of an application. When developing dependable software, the first step is to foresee these exceptional situations and docume...