249 search results - page 2 / 50 » Analyzing software process models with AVISPA |
FASE
2005
Springer
13 years 10 months ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
ITCC
2005
IEEE
13 years 10 months ago
2005
IEEE
In software development, many kinds of knowledge are shared and reused as software patterns. Howevel; the relation analysis among software by hand is on the large scale. In this w...
WSC
2001
13 years 6 months ago
2001
This paper presents a case study of using simulation for analyzing the impact of proposed changes in the supply chain processes for a large logistics operation. The major changes ...
SIMUTOOLS
2008
13 years 6 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
DAGSTUHL
2006
13 years 6 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...