Plug-in Proof Support for Formal Development Environments.

David Hemer Gregory Long Paul A. Strooper

Published in: CATS (2005)

Keyphrases

development environments
lightweight
development environment
model driven
database
three dimensional
viewpoint
computing environments