234 search results - page 10 / 47 » Validation of requirement models by automatic prototyping |
102
click to vote
WER
2001
Springer
15 years 4 months ago
2001
Springer
Workflow technology has reached a reasonable degree of maturity, with a number of both research prototypes and commercial systems available. However, methodological issues have rec...
116
Voted
SIGSOFT
2009
ACM
16 years 1 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
90
Voted
VL
2008
IEEE
15 years 6 months ago
2008
IEEE
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...
123
click to vote
ICCD
2002
IEEE
15 years 9 months ago
2002
IEEE
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signifi...
80
Voted
ICWE
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we examine how the task of creating usable websites can be made more efficient. Models and generation of websites have been a central issue for Web Engineering over ...