Certifying Software Component Performance Specifications

Certifying Software Component Performance Specifications
Author :
Publisher : KIT Scientific Publishing
Total Pages : 502
Release :
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.


Certifying Software Component Performance Specifications Related Books

Certifying Software Component Performance Specifications
Language: en
Pages: 502
Authors: Groenda, Henning
Categories: Computers
Type: BOOK - Published: 2014-07-30 - Publisher: KIT Scientific Publishing

DOWNLOAD EBOOK

In component-based software engineering, performance prediction approaches support the design of business information systems on the architectural level. They a
Modeling and Simulating Software Architectures
Language: en
Pages: 398
Authors: Ralf H. Reussner
Categories: Computers
Type: BOOK - Published: 2016-10-28 - Publisher: MIT Press

DOWNLOAD EBOOK

A new, quantitative architecture simulation approach to software design that circumvents costly testing cycles by modeling quality of service in early design st
Specification Languages for Preserving Consistency between Models of Different Languages
Language: en
Pages: 476
Authors: Kramer, Max Emanuel
Categories: Electronic computers. Computer science
Type: BOOK - Published: 2019-01-30 - Publisher: KIT Scientific Publishing

DOWNLOAD EBOOK

When complex IT systems are being developed, the usage of several programming and modelling languages can lead to inconsistencies that yield faulty designs and
Automated Experiments for Deriving Performance-relevant Properties of Software Execution Environments
Language: en
Pages: 346
Authors: Hauck, Michael
Categories: Computers
Type: BOOK - Published: 2014-02-11 - Publisher: KIT Scientific Publishing

DOWNLOAD EBOOK

The software execution environment can play a crucial role when analyzing the performance of a software system. In this book, a novel approach for the automated
Model-Based Performance Prediction for Concurrent Software on Multicore Architectures---A Simulation-Based Approach
Language: en
Pages: 400
Authors: Frank, Markus Kilian
Categories: Computers
Type: BOOK - Published: 2022-07-18 - Publisher: KIT Scientific Publishing

DOWNLOAD EBOOK

Die modellbasierte Performancevorhersage ist ein bekanntes Konzept zur Gewährleistung der Softwarequalität. Derzeitige Ansätze basieren auf einem Modell mit