Specification techniques for object-oriented software (abstract).

Mahesh H. Dodani

Published in: OOPS Messenger (1993)

Keyphrases

object oriented software
data flow
design patterns
object oriented
high level
software architecture
regression testing
state machines
software development
low level
knowledge level
user defined
transition systems
higher level
decision making
relational databases
specification language
state machine