171 search results - page 17 / 35 » Supporting Process Model Validation through Natural Language... |
AMAST
2008
Springer
13 years 9 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
UML
2005
Springer
14 years 1 months ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
IJCAI
2001
13 years 9 months ago
2001
In the future, webs of unmanned air and space vehicles will act together to robustly perform elaborate missions in uncertain environments. We coordinate these systems by introduci...
UML
2001
Springer
14 years 2 days ago
2001
Springer
Today's User Interfaces (UIs) are complex software components, which play an essential role in the usability of an application. The development of UIs requires therefore, not ...
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
As development techniques, paradigms and platforms evolve far more quickly than domain applications, software modernization and migration, is a constant challenge to software engin...