Erscheinungsjahr
Format
Lizenz
Synonyme wurden verwendet für: Formal Specification
Suche ohne Synonyme: keywords:("Formal Specification")
Verwendete Synonyme:
- formale spezifikation
-
A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications
Tema Archiv | 2010|Schlagwörter: formale Spezifikation -
A linguistic ontology of space for natural language processing
Tema Archiv | 2010|Schlagwörter: formale Spezifikation -
Generating test data from state-based specifications
Tema Archiv | 2003|Schlagwörter: formale Spezifikation -
Specification and Verification: The Spec Experience
Tema Archiv | 2011|Schlagwörter: formale Spezifikation -
Cultural aspects of global requirements engineering: an empirical chinese-german case study
Tema Archiv | 2009|Schlagwörter: formale Spezifikation -
A classification and comparison framework for software architecture description languages
Tema Archiv | 2000|Schlagwörter: formale Spezifikation -
Lightweight specification and analysis of dynamic systems with rich configurations
Freier ZugriffBASE | 2016|Schlagwörter: Formal specification language -
Covering code behavior on input validation in functional testing
Tema Archiv | 2009|Schlagwörter: formale Spezifikation -
Using acceptance tests as a support for clarifying requirements: a series of experiments
Tema Archiv | 2009|Schlagwörter: formale Spezifikation -
Factor oriented requirement coverage based system test case prioritization of new and regression test cases
Tema Archiv | 2009|Schlagwörter: formale Spezifikation -
Addressing privacy requirements in system design: the PriS method
Tema Archiv | 2008|Schlagwörter: formale Spezifikation -
Establishing a Service-Oriented Tool Chain for the Development of Domain-Independent MBT Scenarios
Tema Archiv | 2010|Schlagwörter: formale Spezifikation -
A methodology to analyze heart data using fuzzy automata1
IOS Press | 2019|Schlagwörter: formal specification -
Towards a generic process for security pattern integration
Tema Archiv | 2009|Schlagwörter: formale Spezifikation -
How to select a requirements management tool: initial steps
Tema Archiv | 2009|Schlagwörter: formale Spezifikation
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.