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
Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements
Language: en
Pages: 412
Authors: Seifermann, Stephan
Categories: Computers
Type: BOOK - Published: 2022-12-09 - Publisher: KIT Scientific Publishing

DOWNLOAD EBOOK

Software vendors must consider confidentiality especially while creating software architectures because decisions made here are hard to change later. Our approa
Evaluating Architectural Safeguards for Uncertain AI Black-Box Components
Language: en
Pages: 472
Authors: Scheerer, Max
Categories:
Type: BOOK - Published: 2023-10-23 - Publisher: KIT Scientific Publishing

DOWNLOAD EBOOK

Although tremendous progress has been made in Artificial Intelligence (AI), it entails new challenges. The growing complexity of learning tasks requires more co