Implementing Specification Freedoms.

Philip E. London Martin S. Feather

Published in: Sci. Comput. Program. (1982)

Keyphrases

efficient implementation
high level
database
specification language
ims learning design
databases
artificial intelligence
website
expert systems
formal verification
provably correct