(In)Formal Methods: Teaching Program Derivation Via the Moore Method.

James A. Foster Michael Barnett Karen Van Houten Luke Sheneman

Published in: Comput. Sci. Educ. (1995)

Keyphrases

formal methods
detection method
information systems
similarity measure
online learning
building blocks
artificial intelligence
knowledge acquisition
software architecture
security properties