Sciweavers

3514 search results - page 213 / 703
» Software Process Modeling: Principles of Entity Process Mode...
Sort
View
89
Voted
XPU
2009
Springer
15 years 9 months ago
Is ISO/IEC 15504 Applicable to Agile Methods?
In the last two decades several models for evaluating software process capability have been defined and became more and more popular. The application of such models, and in particu...
Giuseppe Lami, Fabio Falcini
131
Voted
ATAL
2008
Springer
15 years 4 months ago
LS/ABPM - an agent-powered suite for goal-oriented autonomic BPM
In this paper we shortly describe the Living Systems Autonomic Business Process Management (LS/ABPM) software product. LS/ABPM is an integrated environment, based on J2EE, Eclipse...
Giovanni Rimassa, Martin E. Kernland, Roberto Ghiz...
109
Voted
ICSE
2009
IEEE-ACM
15 years 9 months ago
Verifying networked programs using a model checker extension
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
Watcharin Leungwattanakit, Cyrille Artho, Masami H...
COMPSAC
2007
IEEE
15 years 9 months ago
Learning Parameterized State Machine Model for Integration Testing
Although many of the software engineering activities can now be model-supported, the model is often missing in software development. We are interested in retrieving statemachine m...
Muzammil Shahbaz, Keqin Li 0002, Roland Groz
127
Voted
MODELS
2007
Springer
15 years 8 months ago
11th International Workshop on Aspect-Oriented Modeling
This report summarizes the results and discussions from the 11th Workshop on Aspect-Oriented Modeling (AOM). The workshop was held in conjunction with the International Conference ...
Jörg Kienzle, Jeff Gray, Dominik Stein, Walte...