249 search results - page 9 / 50 » Analyzing software process models with AVISPA |
JUCS
2010
13 years 2 months ago
2010
Abstract: This paper presents SMarty, a variability management approach for UMLbased software product lines (PL). SMarty is supported by a UML profile, the SMartyProfile, and a pro...
CCE
2006
13 years 7 months ago
2006
This paper discusses the development of a set of object-oriented modular simulation tools for solving lumped and spatially distributed models generated from chemical process desig...
EUROMICRO
2003
IEEE
14 years 28 days ago
2003
IEEE
: The approach of aggregating components into complex software systems is maturing with the rapid development of component technology. How to analyze software reliability from syst...
ICSE
1995
IEEE-ACM
13 years 11 months ago
1995
IEEE-ACM
One important component of a software process is the organizational context in which the process is enacted. This component is often missing or incomplete in current process model...
SAFECOMP
1998
Springer
13 years 11 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...