Object-Oriented Design of an Air-Defence Simulator.

R. H. Pierce I. Marshall S. J. Goodenough

Published in: Ada-Europe (1993)

Keyphrases

object oriented design
formal specification
object oriented systems
software design
object oriented
network analysis
artificial intelligence
software engineering
simulation environment
simulation model
driving simulator
data sets
test bed
model checking
fine grained
high level
information systems