Certifying Software Component Performance Specifications
| Author | : Groenda, Henning |
| Publisher | : KIT Scientific Publishing |
| Total Pages | : 502 |
| Release | : 2014-07-30 |
| ISBN-10 | : 9783731500803 |
| ISBN-13 | : 3731500809 |
| Rating | : 4/5 (03 Downloads) |
Book Synopsis Certifying Software Component Performance Specifications by : Groenda, Henning
Download or read book Certifying Software Component Performance Specifications written by Groenda, Henning and published by KIT Scientific Publishing. This book was released on 2014-07-30 with total page 502 pages. Available in PDF, EPUB and Kindle. Book excerpt: In component-based software engineering, performance prediction approaches support the design of business information systems on the architectural level. They are based on behavior specifications of components. This work presents a round-trip approach for using, assessing, and certifying the accuracy of parameterized, probabilistic, deterministic, and concurrent performance specifications. Its applicability and effectiveness are demonstrated using the CoCoME benchmark.
