249 search results - page 3 / 50 » Analyzing software process models with AVISPA |
152
Voted
FASE
2003
Springer
15 years 11 months ago
2003
Springer
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
165
Voted
CSMR
2004
IEEE
15 years 9 months ago
2004
IEEE
In order to lower the risk, reengineering projects aim at high reuse rates. Therefore, tasks like architectural restructuring have to be performed in a way that developed new syst...
142
Voted
ISSTA
2009
ACM
16 years 10 days ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
205
Voted
CAISE
2010
Springer
15 years 25 days ago
2010
Springer
The existence of variations in the organizational environment makes the configuration of business process models a complex activity, even for experienced business analysts. The inc...
168
Voted
CCE
2010
15 years 3 months ago
2010
AbstrAct A comprehensive overview of numerical methodologies currently available for analyzing and building understanding of complex processes is presented. Both equation-free and ...