On the Reusability of Specifications and Implementations.

Francesco Parisi-Presicce

Published in: AMAST (1991)

Keyphrases

high level
learning objects
specification language
bounded model checking
design patterns
formal specification
software reuse
delay insensitive
attribute grammars
neural network
data mining
functional requirements
adaptive educational hypermedia systems