A Modular Framework for Specification and Implementation.

Martin Wirsing Manfred Broy

Published in: TAPSOFT, Vol.1 (1989)

Keyphrases

main contribution
specification language
neural network
lightweight
efficient implementation
complexity analysis
modular architecture
data sets
artificial intelligence
expert systems
theoretical framework