Connecting UML and VDM++ with Open Tool Support.

Kenneth Lausdahl Hans Kristian Agerlund Lintrup Peter Gorm Larsen

Published in: FM (2009)

Keyphrases

tool support
software development
software tools
software projects
design decisions
software engineering
development process
test suite
requirements engineering
real world
artificial intelligence
relational databases
data model
open source