Software processes are software too
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Statemate: a working environment for the development of complex reactive systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Japan's software factories: a challenge to U.S. management
Japan's software factories: a challenge to U.S. management
Communications of the ACM - Special issue on analysis and modeling in software development
Lessons learned from a software process modeling system
Communications of the ACM - Special issue on analysis and modeling in software development
The software engineering laboratory: an operational software experience factory
ICSE '92 Proceedings of the 14th international conference on Software engineering
An annotated bibliography on software process improvement
ACM SIGSOFT Software Engineering Notes
Concepts for evolving software processes
Software process modelling and technology
An experience in process assessment
Proceedings of the 17th international conference on Software engineering
ICSE '91 Proceedings of the 13th international conference on Software engineering
Software process improvement experience in the DP/MIS function: experience report
ICSE '94 Proceedings of the 16th international conference on Software engineering
What small business and small organizations say about the CMM: experience report
ICSE '94 Proceedings of the 16th international conference on Software engineering
Bootstrap: Europe's Assessment Method
IEEE Software
IEEE Software
Capability Maturity Model, Version 1.1
IEEE Software
Process Improvement and the Corporate Balance Sheet
IEEE Software
Using a Capability Evaluation to Select a Contractor
IEEE Software
Software Process Model Evolution in the SPADE Environment
IEEE Transactions on Software Engineering
The Architecture of SPADE-1-Process-Centered SEE
EWSPT '94 Proceedings of the Third European Workshop on Software Process Technology
About views for modeling software processes in a role-specific manner
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Supporting Cooperation in the SPADE-1 Environment
IEEE Transactions on Software Engineering
Assessing process-centered software engineering environments
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software process modeling and execution within virtual environments
ACM Transactions on Software Engineering and Methodology (TOSEM)
Benchmarking European software management practices
Communications of the ACM
Factors that Impact Implementing a System Development Methodology
IEEE Transactions on Software Engineering
Eliciting software process models with the E3 language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Managing Process Inconsistency Using Viewpoints
IEEE Transactions on Software Engineering
Proceedings of the Conference on The Future of Software Engineering
Decision support for extreme programming introduction and practice selection
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Deriving executable process descriptions from UML
Proceedings of the 24th International Conference on Software Engineering
Qualitative Analysis of a Requirements Change Process
Empirical Software Engineering
Descriptive Software Process Modeling—How to Deal with Sensitive Process Information
Empirical Software Engineering
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Industrial Conference on Data Mining: Advances in Data Mining, Applications in E-Commerce, Medicine, and Knowledge Management
Towards Systematic Knowledge Elicitation for Descriptive Software Process Modeling
PROFES '01 Proceedings of the Third International Conference on Product Focused Software Process Improvement
Evaluation of the E3 Process Modelling Language and Tool for the Purpose of Model Creation
PROFES '01 Proceedings of the Third International Conference on Product Focused Software Process Improvement
Applying Software Process Modeling and Improvement in Academic Setting
CSEET '97 Proceedings of the 10th Conference on Software Engineering Education and Training
An Environment for Reusing Software Processes
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Information and Management
The rationale of powertype-based metamodelling to underpin software development methodologies
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
ACOS'07 Proceedings of the 6th Conference on WSEAS International Conference on Applied Computer Science - Volume 6
Models and tools for managing development processes
Models and tools for managing development processes
GENSIM 2.0: a customizable process simulation model for software process evaluation
ICSP'08 Proceedings of the Software process, 2008 international conference on Making globally distributed software development a success story
Filling the gap between CASE tools and PSEEs
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Scope management in agile versus traditional software development methods
NSEC '10 Proceedings of the 2010 National Software Engineering Conference
A simulation approach for impact analysis of requirement volatility considering dependency change
REFSQ'12 Proceedings of the 18th international conference on Requirements Engineering: foundation for software quality
| Hi-index | 0.02 |
This paper discusses the problems that a software development organization must address in order to assess and improve its software processes. In particular, the authors are involved in a project aiming at assessing and improving the current practice and the quality manual of the Business Unit Telecommunications for Defense (BUTD) of a large telecommunications company. The paper reports on the usage of formal process modeling languages to detect inconsistencies, ambiguities, incompleteness, and opportunities for improvement of both the software process and its documentation.