The use of contract specifications for representing requirements and for functional testing of hardware models.
V. P. IvannikovAlexander S. KamkinAlexander S. KossatchevVictor V. KuliaminAlexander K. PetrenkoPublished in: Program. Comput. Softw. (2007)
Keyphrases
- functional requirements
- hardware and software
- image processing
- processing units
- statistical models
- experimental data
- statistical model
- supply chain
- probabilistic model
- high level
- machine learning
- complex systems
- low cost
- object oriented
- application specific
- formal specification
- specification language
- functional properties