17505 search results - page 289 / 3501 » Use Cases as Workflows |
141
click to vote
SE
2007
15 years 8 months ago
2007
: The actual benefits of model-driven approaches compared to code-centric development have not been systematically investigated. This paper presents a case study in which function...
159
click to vote
SNPD
2003
15 years 8 months ago
2003
We present our experience in automatically deriving a detailed test case plan exclusively using the UML diagrams developed during the analysis and design phases. We consider in pa...
154
click to vote
SODA
1997
ACM
15 years 8 months ago
1997
ACM
We study the generation of uniformly distributed linear extensions using Markov chains. In particular we show that monotone coupling from the past can be applied in the case of lin...
182
click to vote
FMSD
2006
15 years 6 months ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...
160
click to vote
TEC
2008
15 years 6 months ago
2008
Abstract--In previous research, we have designed and successfully tested a Traffic Light Cycles Evolutionary Optimization Architecture. In this paper, we attempt to validate those ...