A network specification language and execution environment for undergraduate teaching.

Published in: SIGCSE (1991)

Keyphrases

specification language
execution environment
formal specification
programming language
description language
e learning
web services
learning environment
high level
programming course
learning process
higher education
software engineering
heuristic search
database
database systems
case study
databases