Hochschulschrift
Improving the consistency and completeness of safety requirements specifications
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783839610596
3839610591
- Dimensions
-
24 cm
- Extent
-
xvii, 207 Seiten
- Language
-
Englisch
- Notes
-
Illustrationen
Technische Universität Kaiserslautern, Dissertation, 2016
- Bibliographic citation
-
PhD theses in experimental software engineering ; volume 55
- Keyword
-
Sicherheitskritisches System
Requirements engineering
Spezifikationstechnik
Vollständigkeit
Konsistenzprüfung
Rückverfolgbarkeit
Softwarearchitektur
Fehlermodell
Zuverlässigkeit
- Event
-
Veröffentlichung
- (where)
-
Stuttgart
- (who)
-
Fraunhofer Verlag
- (when)
-
[2016]
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:07 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
- Assis, Pablo Oliveira Antonino de
- Fraunhofer IESE, Kaiserslautern
- Fraunhofer IRB-Verlag
- Fraunhofer Verlag
Time of origin
- [2016]
Other Objects (12)
Correctness, completeness, and consistency of equational data type specifications
Correctness, completeness, and consistency of equational data type specifications
Optimizing the completeness of textual requirements documents in practice
Improving visual consistency in Collabora Online
Automatic detection of contradictions in requirements specifications
Using Semantic Web Technology in Requirements Specifications
Active coevolutionary learning of requirements specifications from examples
Automated verification of system requirements and software specifications
Enrichment of Requirements Specifications with Videos - Enhancing the Comprehensibility of Textual Requirements
Enrichment of Requirements Specifications with Videos: Enhancing the Comprehensibility of Textual Requirements
Improving the quality of automotive test case specifications
Automatic glossary term extraction from large-scale requirements specifications
Correctness, completeness, and consistency of equational data type specifications
Correctness, completeness, and consistency of equational data type specifications
Optimizing the completeness of textual requirements documents in practice
Improving visual consistency in Collabora Online
Automatic detection of contradictions in requirements specifications
Using Semantic Web Technology in Requirements Specifications
Active coevolutionary learning of requirements specifications from examples
Automated verification of system requirements and software specifications
Enrichment of Requirements Specifications with Videos - Enhancing the Comprehensibility of Textual Requirements
Enrichment of Requirements Specifications with Videos: Enhancing the Comprehensibility of Textual Requirements
Improving the quality of automotive test case specifications
Automatic glossary term extraction from large-scale requirements specifications
Correctness, completeness, and consistency of equational data type specifications
Correctness, completeness, and consistency of equational data type specifications
Optimizing the completeness of textual requirements documents in practice
Improving visual consistency in Collabora Online
Automatic detection of contradictions in requirements specifications
Using Semantic Web Technology in Requirements Specifications
Active coevolutionary learning of requirements specifications from examples
Automated verification of system requirements and software specifications
Enrichment of Requirements Specifications with Videos - Enhancing the Comprehensibility of Textual Requirements
Enrichment of Requirements Specifications with Videos: Enhancing the Comprehensibility of Textual Requirements
Improving the quality of automotive test case specifications