1645 search results - page 3 / 329 » Rationale-Based Use Case Specification |
EUROMICRO
2000
IEEE
13 years 9 months ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
ICEIS
1999
IEEE
13 years 9 months ago
1999
IEEE
TOOLS
1999
IEEE
13 years 9 months ago
1999
IEEE
One of the beauties of use cases is their accessible, informal format. Use cases are easy to write, and the graphical notation is trivial. Because of their simplicity, use cases a...
TAP
2010
Springer
13 years 3 months ago
2010
Springer
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
CLEIEJ
2010
13 years 2 months ago
2010
The performance of requirement engineers in the production of Use Cases is analyzed and compared using a collaborative editor in synchronous mode versus one in asynchronous mode, ...