Quasi-Behavioral Objectives for curriculum specification.

Lynne J. Baldwin

Published in: SIGCSE (1978)

Keyphrases

high level
specification language
multiple objectives
formal specification
high school
formal methods
formal verification
database
genetic algorithm
objective function
multi agent systems
human behavior
professional development
learning goals
computer science curriculum