Sciweavers

1645 search results - page 1 / 329
» Rationale-Based Use Case Specification
Sort
View
RE
2002
Springer
13 years 7 months ago
Rationale-Based Use Case Specification
Abstract. Few requirements engineering techniques are widely applied in industry. This can
Allen H. Dutoit, Barbara Paech
ICST
2009
IEEE
13 years 5 months ago
An Evaluation of Model Checkers for Specification Based Test Case Generation
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
Gordon Fraser, Angelo Gargantini
UML
2000
Springer
13 years 11 months ago
From Use Cases to System Operation Specifications
The purpose of this paper is to first showcase the concept of an operation schema--a precise form of system-level operation specification--and secondly show how operation schemas e...
Shane Sendall, Alfred Strohmeier
SOFSEM
2007
Springer
14 years 1 months ago
Improved Processing of Textual Use Cases: Deriving Behavior Specifications
The requirements for a system are often specified as textual use cases. Although they are written in natural language, the simple and uniform sentence structure used makes automate...
Jaroslav Drazan, Vladimir Mencl