2050 search results - page 34 / 410 » A formal foundation for process modeling |
113
click to vote
DGO
2008
15 years 3 months ago
2008
Supporting public participation is often a key goal in the design of digital government systems. However, years of work may be required before a complex system, such as the UrbanS...
108
click to vote
FORTEST
2008
15 years 3 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
117
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
115
click to vote
ER
2000
Springer
15 years 5 months ago
2000
Springer
Relational database systems represent the current standard technology for implementing database applications. Now that the object-oriented paradigm becomes more and more mature in...
111
click to vote
COORDINATION
2006
Springer
15 years 5 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...