Sciweavers

1645 search results - page 1 / 329
» Rationale-Based Use Case Specification
Sort
View
RE
2002
Springer
15 years 2 days 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
14 years 10 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
15 years 4 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
89
Voted
SOFSEM
2007
Springer
15 years 6 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