HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

moved ToDo items into trac 

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8226 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Achim D. Brucker 2008-07-13 11:15:51 +00:00
parent 1234d94925
commit 6ac9a2077f
1 changed files with 0 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
su4sml/ToDo
View File

@ -1,11 +0,0 @@
- Ideas for extensions (e.g., as SA)
* additional import formats (USE, Rational, etc)
* additonal diagram types, e.g.,
- object diagrams (witness for consistency analsysis)
- sequence diagrams (input for test case generation)
- use-case diagrams (templates for policy generation/analysis)
* XMI Export (Rep -> XMI)
* Codegenreator for GraphViz/UMLGraph/MetaUML
* Framework for transformations (with proof obligation generation)
* support for associations (work in progress)