Developing Embedded systems through Cleanroom Software Engineering - Kodanda Rama Sastry J.,Duvvuri B. K. Kamesh,Chandra Prakash Vudatha
-20% with code BOOKS
Shipping in 12-18 days
30-day return policy
Clean Room Software Engineering(CRSE) is a development methodology the incorporates the stage wise quality assurance advocating the need for undertaking minimal of testing after the product is developed through conducting Statistical Use testing for the purposes of Certification. CRSE methodology uses formal techniques to represent the requirements and the designs, thus providing clear cut Verification and ... Full description
Description
Clean Room Software Engineering(CRSE) is a development methodology the incorporates the stage wise quality assurance advocating the need for undertaking minimal of testing after the product is developed through conducting Statistical Use testing for the purposes of Certification. CRSE methodology uses formal techniques to represent the requirements and the designs, thus providing clear cut Verification and Validation Mechanisms. The models used are basically behavior models which can be represented by formal techniques. Embedded Systems (ES) are event driven models and the designs of embedded systems are represented through behavior models. Thus, there is a correlation between the CRSE models and the ES models. If the development of the Embedded System is undertaken using CRSE model, the quality of developed Embedded System will be greatly enhanced.
More Information
| Author | Kodanda Rama Sastry J., Duvvuri B. K. Kamesh, Chandra Prakash Vudatha |
|---|---|
| Publisher | LAP LAMBERT Academic Publishing |
| Release year | 2016 |
| Cover type | Softcover |
| EAN | 9783659859496 |