{"product_id":"cleanroom-software-engineering-a-reader-9781855546547","title":"Cleanroom Software Engineering: A Reader","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003eThe software industry is in transition from craft work to engineering practice, but development, operational and maintenance overheads are still unpredictable and expensive. Cleanroom Software engineering is the first practical development and certification to use statistical quality control to reduce software defects and costs. It has already distinguished itself as a complete software life cycle process with sound foundations in theory and demonstrated effectiveness in practice.  \u003cp\u003eThe Cleanroom method is one of the few fully articulated life cycle process models in software engineering today and involves:\u003c\/p\u003e \u003cp\u003e*Incremental development under statistical process review.\u003cbr\u003e *Formal methods for specification, design and verification.\u003cbr\u003e *Statistical reliability certification.\u003c\/p\u003e \u003cp\u003e\u003ci\u003eA Reader in Classroom Software Engineering\u003c\/i\u003e gathers together, for the first time, the most up-to-date material available to form an in-depth treatment of the complete Cleanroom process.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eTable of Contents\u003c\/b\u003e\u003cbr\u003eAn overview of cleanroom software engineering. Part 1 Adopting cleanroom software engineering with a phased approach, P. Hauser et al. Part 2 Cleanroom management: current practice in cleanroom management; cleanroom software engineering, H. Mills et al; cleanroom - an alternative software development approach, H. Mills; the cleanroom approach to six-igma software, J. Poore; planning and certifying softsware system reliability, J. Poore et al; cleanroom process model, R. Linger; evolving practice in cleanroom management. Part 3 Cleanroom development: current practice in cleanroom developments; box-structured information systems, H. Mills; stepwise refinement and verification in box-structured systems, H. Mills; correctness verification - alternative to structure testing, M. Dyer and A. Kouchakjian; reuse and cleanroom, E. Karlsson; six-sigma software using cleanroom software engineering techniques, G. Head; evolving practice in cleanroom development. Part 4 Cleanroom certification. Part 5 Certification case studies. Appendices: training and consultation; tools.","brand":"John Wiley and Sons Ltd","offers":[{"title":"Default Title","offer_id":51043064512855,"sku":"9781855546547","price":67.05,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0817\/1739\/5799\/files\/9781855546547.jpg?v=1750956849","url":"https:\/\/bookcurl.com\/products\/cleanroom-software-engineering-a-reader-9781855546547","provider":"Book Curl","version":"1.0","type":"link"}