1137 search results - page 87 / 228 » Disciplined Methods of Software Specification: A Case Study |
FIMH
2003
Springer
15 years 3 months ago
2003
Springer
The first 36-channel Magnetocardiographic (MCG) system, successfully installed in the Biomagnetism Research Center, Catholic University of Rome, has been tested to evaluate the rel...
108
click to vote
PTS
2000
14 years 11 months ago
2000
We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (fo...
ICRE
1998
IEEE
15 years 2 months ago
1998
IEEE
Systems requirements errors are numerous, persistent, and expensive. To detect such errors, and focus on critical ones during the development of a requirements document, we have d...
ASWEC
2008
IEEE
14 years 11 months ago
2008
IEEE
Refactoring is a set of operations to improve maintainability or understandability or other attributes of a software system without changing the external behavior of it, and it is...
ISSRE
2000
IEEE
15 years 2 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...