VDMTools: advances in support for formal modeling in VDM.

John S. Fitzgerald Peter Gorm Larsen Shin Sahara

Published in: ACM SIGPLAN Notices (2008)

Keyphrases

multi agent
recent advances
formal specification
formal models
artificial intelligence
multiscale
artificial neural networks
query processing
formal model
model driven development