Syndetics omslagsbild
Bild från Syndetics

Certifying Software Component Performance Specifications

Av: Medverkande: Materialtyp: ArtikelSerie: Utgivningsinformation: KIT Scientific Publishing 2013Beskrivning: 1 electronic resource (XIV, 473 p. p.)Innehållstyp:
  • text
Medietyp:
  • computer
Bärartyp:
  • online resource
ISBN:
  • 9783731500803
Ämnen: Onlineresurser: Sammanfattning: 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.
Inga fysiska exemplar för denna post

Open Access Unrestricted online access star

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.

Creative Commons Licence cc by-sa cc https://creativecommons.org/licenses/by-sa/4.0/

eng

Freely available e-book