306 search results - page 1 / 62 » From Scenarios to Timed Automata: Building Specifications fr... |
APSEC
1995
IEEE
13 years 8 months ago
1995
IEEE
RE
1999
Springer
13 years 9 months ago
1999
Springer
Requirements capture by scenarios and user interface prototyping have become popular techniques. Yet, the transition from scenarios to formal specifications is still ill-defined, ...
SEKE
1995
Springer
13 years 8 months ago
1995
Springer
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...
VL
2007
IEEE
13 years 11 months ago
2007
IEEE
Web macros automate the interactions of end users with web sites and related information systems. Though web macro recorders and players have grown in sophistication over the past...
APN
2000
Springer
13 years 9 months ago
2000
Springer
: In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a ...