249 search results - page 11 / 50 » Analyzing software process models with AVISPA |
ESE
2011
12 years 7 months ago
2011
Abstract— This article analyzes experiment results regarding subjective perception issues. Software quality models, since the first publications on this subject, propose a prescr...
ICFEM
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
MASCOTS
2004
13 years 9 months ago
2004
Queueing models are routinely used to analyze the performance of software systems. However, contrary to common assumptions, the time that a software server takes to complete jobs ...
OTM
2010
Springer
13 years 6 months ago
2010
Springer
In this paper, we present generic algorithms to ensure the consistency of mutual-exclusion and binding constraints in a business process context. We repeatedly identified the need...
COMPSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
The Sage development method and associated tool set support an incremental, iterative, model-driven process to build and maintain high assurance, reactive multi-agent systems. A s...