Login / Signup
Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages.
Rosa M. Jiménez
Fernando Orejas
Hartmut Ehrig
Published in:
Math. Struct. Comput. Sci. (1995)
Keyphrases
</>
specification languages
formal specification
object oriented programs
first order logic
information retrieval
parameter values
database
real world
artificial intelligence
parameter settings
input parameters
data sets
neural network
case study
building blocks
model checking