Uncoupling Alice: using Alice to teach advanced object-oriented design.

Published in: Inroads (2013)

Keyphrases

object oriented design
formal specification
object oriented systems
software design
single user
object oriented
neural network
computer programming
computer networking
genetic algorithm
high level
database systems
software engineering
software systems
model checking
software maintenance