A Graphical Environment for Formally Developing Object-Oriented Software.

Betty H. C. Cheng Enoch Y. Wang Robert H. Bourdeau

Published in: ICTAI (1994)

Keyphrases

object oriented software
data flow
real time
software architecture
environmental conditions
databases
mobile robot
design patterns
neural network
search engine
information technology
dynamic environments
error rate
test bed
computing environments
complex environments