Certifying Software Component Performance Specifications

Certifying Software Component Performance Specifications

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 accurac...

Full description

Saved in:
Bibliographic Details
Superior document:The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
:
Groenda, Henning
Year of Publication:2013
Language:English
Series:The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
Physical Description:1 electronic resource (XIV, 473 p. p.)
Tags: Add Tag
No Tags, Be the first to tag this record!
id 993545683804498
ctrlnum (CKB)4920000000101902
(oapen)https://directory.doabooks.org/handle/20.500.12854/42927
(EXLCZ)994920000000101902
collection bib_alma
record_format marc
spelling Groenda, Henning auth
Certifying Software Component Performance Specifications
KIT Scientific Publishing 2013
1 electronic resource (XIV, 473 p. p.)
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
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.
English
Accuracy
Component-Based Software Engineering (CBSE)
Performance Prediction
Common Component Modeling Example (CoCoME)
Certification
3-7315-0080-9
language English
format eBook
author Groenda, Henning
spellingShingle Groenda, Henning
Certifying Software Component Performance Specifications
The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
author_facet Groenda, Henning
author_variant h g hg
author_sort Groenda, Henning
title Certifying Software Component Performance Specifications
title_full Certifying Software Component Performance Specifications
title_fullStr Certifying Software Component Performance Specifications
title_full_unstemmed Certifying Software Component Performance Specifications
title_auth Certifying Software Component Performance Specifications
title_new Certifying Software Component Performance Specifications
title_sort certifying software component performance specifications
series The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
series2 The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
publisher KIT Scientific Publishing
publishDate 2013
physical 1 electronic resource (XIV, 473 p. p.)
isbn 1000036063
3-7315-0080-9
illustrated Not Illustrated
work_keys_str_mv AT groendahenning certifyingsoftwarecomponentperformancespecifications
status_str n
ids_txt_mv (CKB)4920000000101902
(oapen)https://directory.doabooks.org/handle/20.500.12854/42927
(EXLCZ)994920000000101902
carrierType_str_mv cr
hierarchy_parent_title The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
is_hierarchy_title Certifying Software Component Performance Specifications
container_title The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
_version_ 1787548867324018688
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01580nam-a2200337z--4500</leader><controlfield tag="001">993545683804498</controlfield><controlfield tag="005">20231214133642.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr|mn|---annan</controlfield><controlfield tag="008">202102s2013 xx |||||o ||| 0|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1000036063</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)4920000000101902</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(oapen)https://directory.doabooks.org/handle/20.500.12854/42927</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)994920000000101902</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Groenda, Henning</subfield><subfield code="4">auth</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Certifying Software Component Performance Specifications</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="b">KIT Scientific Publishing</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 electronic resource (XIV, 473 p. p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Accuracy</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Component-Based Software Engineering (CBSE)</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Performance Prediction</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Common Component Modeling Example (CoCoME)</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Certification</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">3-7315-0080-9</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-12-15 06:01:28 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2019-11-10 04:18:40 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&amp;portfolio_pid=5337967700004498&amp;Force_direct=true</subfield><subfield code="Z">5337967700004498</subfield><subfield code="b">Available</subfield><subfield code="8">5337967700004498</subfield></datafield></record></collection>

Similar Items