249 search results - page 12 / 50 » Analyzing software process models with AVISPA |
EWSPT
2000
Springer
13 years 11 months ago
2000
Springer
Process support environments (PSEs) are widely used for modelling, enacting and analyzing human intensive processes. The benefits of a PSE become apparent when processes to be supp...
ASWEC
2010
IEEE
13 years 7 months ago
2010
IEEE
— Service compositions provide a promising way to realize and coordinate automated support for business activities and processes. These business processes and their automated sup...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
Immersive, interactive applications grouped under the concept of Immersipresence require on-line processing and mixing of multimedia data streams and structures. One critical issu...
MSR
2005
ACM
14 years 1 months ago
2005
ACM
Since code revisions reflect the extent of human involvement in the software development process, revision histories reveal the interactions and interfaces between developers and...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
Designing architectures requires the balancing of multiple system quality objectives. In this paper, we present techniques that support the exploration of the quality properties of...