Hochschulschrift
Parameter dependencies for reusable performance specifications of software components
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Oldenburg, Universität Oldenburg, Dissertation, 2008
- Bibliographic citation
-
The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ; 2
- Keyword
-
Modellgetriebene Entwicklung
Komponente
Leistungsbewertung
Specifications
Performance
- Event
-
Veröffentlichung
- (where)
-
Karlsruhe
- (who)
-
KIT Scientific Publishing
- (when)
-
2008
- Creator
- Contributor
-
Reussner, R.
- DOI
-
10.5445/KSP/1000009096
- URN
-
urn:nbn:de:0072-90960
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:46 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Koziolek, Heiko
- Reussner, R.
- KIT Scientific Publishing
Time of origin
- 2008
Other Objects (12)
Parameter dependencies for reusable performance specifications of software components
Parameter dependencies for reusable performance specifications of software components
Testing cyclic software components of reactive systems on the basis of formal specifications
Certifying Software Component Performance Specifications
Semantic integration of heterogeneous software specifications
Algebraic specifications in software engineering : an introduction
Mastering dependencies in multi-language software applications
Generation of Formal Specifications for Avionic Software Systems
Automated verification of system requirements and software specifications
Model-integrating software components : engineering flexible software systems
Reusable mathematical models : making software specifications complete through models
Identification of dependencies between product parameters and process stakeholders
Parameter dependencies for reusable performance specifications of software components
Parameter dependencies for reusable performance specifications of software components
Testing cyclic software components of reactive systems on the basis of formal specifications
Certifying Software Component Performance Specifications
Semantic integration of heterogeneous software specifications
Algebraic specifications in software engineering : an introduction
Mastering dependencies in multi-language software applications
Generation of Formal Specifications for Avionic Software Systems
Automated verification of system requirements and software specifications
Model-integrating software components : engineering flexible software systems
Reusable mathematical models : making software specifications complete through models
Identification of dependencies between product parameters and process stakeholders
Parameter dependencies for reusable performance specifications of software components
Parameter dependencies for reusable performance specifications of software components
Testing cyclic software components of reactive systems on the basis of formal specifications
Certifying Software Component Performance Specifications
Semantic integration of heterogeneous software specifications
Algebraic specifications in software engineering : an introduction
Mastering dependencies in multi-language software applications
Generation of Formal Specifications for Avionic Software Systems
Automated verification of system requirements and software specifications
Model-integrating software components : engineering flexible software systems
Reusable mathematical models : making software specifications complete through models