Login / Signup
Algebraic Specification of Modules and Configuration Families.
Hartmut Ehrig
Werner Fey
Horst Hansen
Michael Löwe
Dean Jacobs
Anno Langen
Francesco Parisi-Presicce
Published in:
J. Inf. Process. Cybern. (1989)
Keyphrases
</>
high level
building blocks
database
modular architecture
search engine
information systems
formal verification
functional modules
optimal configuration
data sets
database systems
business rules
formal specification
specification language
configuration space
asynchronous circuits