379 search results - page 26 / 76 » The AGEDIS Tools for Model Based Testing |
142
Voted
IS
2010
15 years 2 months ago
2010
Business process models are an important tool in understanding and improving the efficiency of a business and in the design of information systems. Recent work has evaluated busin...
106
Voted
SCSC
2007
15 years 5 months ago
2007
The concepts of simulation based design and simulation as specification require support from appropriate computing tools. The Virtual Test Bed software continues to evolve to prov...
151
Voted
SPIN
2007
Springer
15 years 9 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
138
Voted
PRIMA
2007
Springer
15 years 9 months ago
2007
Springer
Multiagent Systems are potential computational systems for various practical applications, tools, and so on. Multiagent simulation is one of the remarkable application to evaluate ...
160
Voted
SE
2007
15 years 5 months ago
2007
Abstract: Today’s enterprise applications are based on numerous interrelated components that capture domain-specific, generic or infrastructural functionality. Each component is...