Login / Signup
H: A component-based specification language for heterogeneous applications.
Juan-Antonio Fernández-Madrigal
Luis Llopis
Ana Cruz-Martín
Cipriano Galindo
Javier González Jiménez
Published in:
Comput. Stand. Interfaces (2013)
Keyphrases
</>
specification language
formal specification
programming language
description language
requirements specification
software environment
symbolic execution
high level
search algorithm
database systems
cooperative
evolutionary algorithm
domain specific