Login / Signup

Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages.

Hartmut EhrigRosa M. JiménezFernando Orejas
Published in: TAPSOFT (1993)
Keyphrases
  • specification languages
  • formal specification
  • fine grained
  • parameter values
  • computer vision
  • object oriented programs
  • database
  • data sets
  • relational databases
  • evolutionary algorithm
  • parameter space
  • input parameters