Coupling VDM++ to UML 2.1.2 in a bidirectional transformation. Done as a VDM++ specification and implemented in Java for Eclipse as a sub component to OvertureTools.
| File/Folder Name | Platform | Size | Date ↓ | Downloads | Notes/Subscribe |
|---|---|---|---|---|---|
| Newest Files | |||||
| COMU.pdf | 3.2 MB | 2009-01-24 | 43 | ||
| All Files | Subscribe | ||||
| Documentation | 3.2 MB | 2009-01-24 | 43 | Subscribe Folder view | |
| comu | 3.2 MB | 2009-01-24 | 43 | Subscribe Folder view | |
| COMU.pdf | 3.2 MB | 2009-01-24 | 43 | ||
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use