284 search results - page 15 / 57 » Formal Foundation for Pattern-Based Modelling |
100
click to vote
FORTEST
2008
15 years 2 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...
118
Voted
ISPDC
2003
IEEE
15 years 5 months ago
2003
IEEE
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...
100
Voted
ECAI
2004
Springer
15 years 6 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...
98
Voted
COORDINATION
2006
Springer
15 years 4 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...
126
Voted
JAIR
2007
15 years 14 days ago
2007
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communicatio...