Algebraic Specification of Modules and Their Basic Interconnections.
Edward K. BlumHartmut EhrigFrancesco Parisi-PresiccePublished in: J. Comput. Syst. Sci. (1987)
Keyphrases
- modular architecture
- high density
- artificial intelligence
- formal specification
- modular ontologies
- neural network
- computer vision
- information systems
- specification language
- software engineering
- modular structure
- functional modules
- linear algebra
- higher order
- database
- object oriented
- expert systems
- knowledge base
- real time