Certifying Software Component Performance Specifications

Certifying Software Component Performance Specifications
Author: Groenda, Henning
Publisher: KIT Scientific Publishing
Total Pages: 502
Release: 2014-07-30
Genre: Computers
ISBN: 3731500809


Download Certifying Software Component Performance Specifications Book in PDF, Epub and Kindle

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
Language: en
Pages: 502
Authors: Groenda, Henning
Categories: Computers
Type: BOOK - Published: 2014-07-30 - Publisher: KIT Scientific Publishing

GET EBOOK

In component-based software engineering, performance prediction approaches support the design of business information systems on the architectural level. They a
Certifying Software Component Performance Specifications
Language: en
Pages: 494
Authors: Henning Groenda
Categories: Computers
Type: BOOK - Published: 2020-10-09 - Publisher:

GET EBOOK

In component-based software engineering, performance prediction approaches support the design of business information systems on the architectural level. They a
Testing and Quality Assurance for Component-based Software
Language: en
Pages: 462
Authors: Jerry Gao
Categories: Computers
Type: BOOK - Published: 2003 - Publisher: Artech House

GET EBOOK

Presenting the state of the art in component-based software testing, this cutting-edge resource offers you an in-depth understanding of the current issues, chal
Modeling and Simulating Software Architectures
Language: en
Pages: 398
Authors: Ralf H. Reussner
Categories: Computers
Type: BOOK - Published: 2016-10-28 - Publisher: MIT Press

GET 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

GET 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