Developing Embedded systems through Cleanroom Software Engineering - Softcover

Vudatha, Chandra Prakash; Sastry J., Kodanda Rama; B.K. Kamesh, Duvvuri

 
9783659859496: Developing Embedded systems through Cleanroom Software Engineering
Softcover
ISBN 10: 3659859494 ISBN 13: 9783659859496
Verlag: LAP LAMBERT Academic Publishing, 2016

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

Biografía del autor

Professor with 30 years of experience in Academics and 10 years of experience in Computer Industry. Published more than 30 articles in reputed international journals/Conferences.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
LAP LAMBERT Academic Publishing
Erscheinungsdatum
2016
Sprache
Englisch
ISBN 10 
3659859494
ISBN 13 
9783659859496
Einband
Tapa blanda
Anzahl der Seiten
508
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar