A Modula Based Language Supporting Hierarchical Development and Verification.

Arthur J. Bernstein J. Robert Ensor

Published in: Softw. Pract. Exp. (1981)

Keyphrases

decision support
information systems
development process
english language
database
formal verification
computational linguistics
rapid development
information processing
web services
model checking
language learning
knowledge based systems
mobile devices
language processing
multi agent systems
database systems