Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation.
Kentaro HanadaKozo OkanoShinji KusumotoKiyoyuki MiyazawaPublished in: ICEIS (2) (2012)
Keyphrases
- practical application
- class diagram
- tool support
- sequence diagrams
- object oriented
- uml class diagrams
- metamodel
- unified modeling language
- uml diagrams
- modeling language
- annotation tool
- class diagrams
- programming language
- constraint language
- semantic annotation
- open source
- software tools
- software development
- test cases
- conceptual modeling
- shape analysis
- binary images
- object oriented design
- uml models
- database
- automatic annotation
- query translation
- software architecture
- database design
- petri net
- web applications
- software engineering
- active learning
- image retrieval
- case study
- web services
- metadata