1432 search results - page 142 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
148
Voted
TAGT
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Management of development processes in di erent engineering disciplines is a challenging task. We present an integrated approach which covers not only the activities to b...
126
click to vote
FASE
2003
Springer
15 years 9 months ago
2003
Springer
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
156
Voted
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
160
Voted
GG
2008
Springer
15 years 4 months ago
2008
Springer
Graph Languages1 emerged during the seventies from the necessity to process data structures with complex interrelations. Nowadays, various variants of these languages can be found...
137
click to vote
ICST
2008
IEEE
15 years 10 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...