Use cases combined with BOOCH/OMT/UML: process and products
Use cases combined with BOOCH/OMT/UML: process and products
The Rational Unified Process: an introduction
The Rational Unified Process: an introduction
Formal scenario-based requirements specification and test case generation in healthcare applications
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care
| Hi-index | 0.00 |
The purpose of this paper is to describe a methodology for the verification of safety-critical software. The methodology is implemented with use-cease modeling notation of the Unified Modeling Language (UML). The methodology also contains techniques for creating requirements-based test cases from scenarios. The test cases are formatted for test scripts that exercised the software.