Year of publication
Type of material
Licence
Synonyms were used for: formale Spezifikation
Search without synonyms: keywords:("formale Spezifikation")
Used synonyms:
- formal specification
-
A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications
Tema Archive | 2010|Keywords: formale Spezifikation -
A linguistic ontology of space for natural language processing
Tema Archive | 2010|Keywords: formale Spezifikation -
Generating test data from state-based specifications
Tema Archive | 2003|Keywords: formale Spezifikation -
Specification and Verification: The Spec Experience
Tema Archive | 2011|Keywords: formale Spezifikation -
Cultural aspects of global requirements engineering: an empirical chinese-german case study
Tema Archive | 2009|Keywords: formale Spezifikation -
A classification and comparison framework for software architecture description languages
Tema Archive | 2000|Keywords: formale Spezifikation -
Using acceptance tests as a support for clarifying requirements: a series of experiments
Tema Archive | 2009|Keywords: formale Spezifikation -
Lightweight specification and analysis of dynamic systems with rich configurations
Free accessBASE | 2016|Keywords: Formal specification language -
A methodology to analyze heart data using fuzzy automata1
IOS Press | 2019|Keywords: formal specification -
Covering code behavior on input validation in functional testing
Tema Archive | 2009|Keywords: formale Spezifikation -
Factor oriented requirement coverage based system test case prioritization of new and regression test cases
Tema Archive | 2009|Keywords: formale Spezifikation -
Addressing privacy requirements in system design: the PriS method
Tema Archive | 2008|Keywords: formale Spezifikation -
Establishing a Service-Oriented Tool Chain for the Development of Domain-Independent MBT Scenarios
Tema Archive | 2010|Keywords: formale Spezifikation -
Towards a generic process for security pattern integration
Tema Archive | 2009|Keywords: formale Spezifikation -
How to select a requirements management tool: initial steps
Tema Archive | 2009|Keywords: formale Spezifikation -
An interactive tool based on priority semantic networks
Tema Archive | 2005|Keywords: formale Spezifikation
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.