VDM over PSP: A Pilot Course for VDM Beginners to Confirm its Suitability for Their Development.

Hisayuki Suzumori Haruhiko Kaiya Kenji Kaijiri

Published in: COMPSAC (2003)

Keyphrases

case study
database
software engineering
knowledge based systems
data sets
information retrieval
data structure
decision support
information processing
heuristic search
development process
practical application
support systems