Software processes are software too
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Validation and verification of software process models
Proceedings of the European symposium on Software development environments and CASE technology
Software process validation: quantitatively measuring the correspondence of a process to a model
ACM Transactions on Software Engineering and Methodology (TOSEM)
Object Oriented Reengineering Patterns
Object Oriented Reengineering Patterns
Tailoring and Verifying Software Process
APSEC '01 Proceedings of the Eighth Asia-Pacific on Software Engineering Conference
Polymetric Views-A Lightweight Visual Approach to Reverse Engineering
IEEE Transactions on Software Engineering
DynaMine: finding common error patterns by mining software revision histories
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
A family of experiments to validate metrics for software process models
Journal of Systems and Software
Softwarenaut: Exploring Hierarchical System Decompositions
CSMR '06 Proceedings of the Conference on Software Maintenance and Reengineering
Mondrian: an agile information visualization framework
SoftVis '06 Proceedings of the 2006 ACM symposium on Software visualization
Modeling Multi-View Software Process with Object Petri Nets
ICSEA '06 Proceedings of the International Conference on Software Engineering Advances
Emulation of Software Faults: A Field Data Study and a Practical Approach
IEEE Transactions on Software Engineering
Enriching Reverse Engineering with Annotations
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
A Process for Driving Process Improvement in VSEs
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
Analyzing a Software Process Model Repository for Understanding Model Evolution
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
Using process definitions to support reasoning about satisfaction of process requirements
ICSP'10 Proceedings of the 2010 international conference on New modeling concepts for today's software processes: software process
Software process model blueprints
ICSP'10 Proceedings of the 2010 international conference on New modeling concepts for today's software processes: software process
ICSM '10 Proceedings of the 2010 IEEE International Conference on Software Maintenance
Analyzing the Scrum Process Model with AVISPA
SCCC '10 Proceedings of the 2010 XXIX International Conference of the Chilean Computer Science Society
Software systems as cities: a controlled experiment
Proceedings of the 33rd International Conference on Software Engineering
MDE software process lines in small companies
Journal of Systems and Software
Hi-index | 0.00 |
Software process models are sophisticated and large specifications aimed at organizing and managing software development. Their formal specification demands an enormous effort, but once specified there are few approaches and even fewer tools that aid the process engineer to analyze the quality of the process. For the last five years we have aided software companies in specifying their software processes and we have found a series of error patterns that indicate the potential presence of misconceptions or misspecifications. This paper presents these patterns, characterizes the kinds of errors they potentially reveal, and details how errors could be localized within a software process model. To assist process engineers to analyze the quality of their processes, we provide Avispa, a tool that graphically renders different aspects of a process model and highlights potential errors as intuitive and comprehensible indicators. The approach and the supporting tool are illustrated by applying them for analyzing the software process models of three Chilean software companies.