Sciweavers

979 search results - page 1 / 196
» Generating a Prototype from a UML Model of System Requiremen...
Sort
View
ICDCIT
2004
Springer
13 years 10 months ago
Generating a Prototype from a UML Model of System Requirements
Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long
APN
2000
Springer
13 years 9 months ago
User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets
: 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 ...
Mohammed Elkoutbi, Rudolf K. Keller
QSIC
2009
IEEE
13 years 12 months ago
From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
Valentin Chimisliu, Christian Schwarzl, Bernhard P...
BIRTHDAY
2005
Springer
13 years 10 months ago
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
David Harel, Hillel Kugler, Amir Pnueli
RE
1999
Springer
13 years 9 months ago
Generating User Interface Prototypes from Scenarios
Requirements capture by scenarios and user interface prototyping have become popular techniques. Yet, the transition from scenarios to formal specifications is still ill-defined, ...
Mohammed Elkoutbi, Ismaïl Khriss, Rudolf K. K...