249 search results - page 14 / 50 » Analyzing software process models with AVISPA |
CCECE
2006
IEEE
14 years 1 months ago
2006
IEEE
Software inspection is a method to detect errors in software artefacts early in the development cycle. At the end of the inspection process the inspectors need to make a decision ...
WOSP
2004
ACM
2004
ACM
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
14 years 1 months ago
Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the int...
ACSAC
1999
IEEE
13 years 12 months ago
1999
IEEE
The relationships between the work products of a security engineering process can be hard to understand, even for persons with a strong technical background but little knowledge o...
TCBB
2011
13 years 2 months ago
2011
—In this paper, we propose a communication model of evolution and investigate its information-theoretic bounds. The process of evolution is modeled as the retransmission of infor...
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
Analyzing and modelling a software system with separate views is a good practice to deal with complexity and maintainability. When adopting such a modular approach for modelling, i...