Paper Info
Title
Compliance of CMMI Process Area with Specification Based Development
Abstract
The development of reliable systems is still a major challenge for software industry. Construction of such a system requires both process and product based quality assurance. Many process improvement models have been suggested in industry and found appropriate for achieving high quality products. Examples of such process improvement models are CMM/CMMI, Agile, SPICE, the ISO 9000 family etc. However, implementation of these process improvement models often adds significant extra efforts. To minimize process implementation costs we propose a formal specification based product development model which integrates product and process quality. Formal specification methods have been in practice since decades, and have been successful in the development of safety-critical systems. Some formal methods are VDM, Z, LOTOS, CSP and CASL. In particular, we investigate the compliance of CMMI process area with the formal specification language CSP-CASL. CMMI is based on the notion of process area, which is a cluster of best practices with particular goals in a certain area. For each of the relevant process areas, we show how formal specifications can contribute to achieve the specific goals of that process area. This integration is a new result for achieving process compliance parallel with product development. We demonstrate our approach with an industrial case study.
Year
DOI
Venue
2008
10.1109/SERA.2008.36
Prague
Keywords
Field
DocType
cmmi process area,formal method,process improvement model,process implementation cost,formal specification,process compliance parallel,relevant process area,process quality,formal specification language,process area,capability maturity model integration,cryptography,protocols,quality assurance,best practice,capability maturity model,model driven engineering,process management,software engineering,software quality,formal specifications,process model,product development
LeanCMMI,Software engineering,Systems engineering,Computer science,Formal specification,Process area,Formal methods,Capability Maturity Model Integration,Standard CMMI Appraisal Method for Process Improvement,New product development,Quality assurance
Conference
ISBN
Citations 
PageRank 
978-0-7695-3302-5
1
0.37
References 
Authors
7
2
Name
Order
Citations
PageRank
Satish Mishra110.37
Bernd-holger Schlingloff219519.56