Implementing an OCL to JML Translation Tool
スポンサーリンク
概要
- 論文の詳細を見る
One of the main concerns in the field of Software Engineering is the bridging between formal and informal specification of a task. There is a need for informal description of requirements that all people can understand. At the same time, there is a need to make some of the requirements more formal to allow a more detailed and concrete specification. Without such foundation, rigorous system analysis would not be possible to achieve. This project aims to make a step towards strengthening this foundation, by adding flexibility to specification languages available today. Specifically, by providing a tool for automated translation of the OCL specification language to the JML (Java Modeling Language), and generation of annotated skeleton Java code from the OCL-constrained UML models.
- 社団法人電子情報通信学会の論文
- 2006-12-07
著者
-
Russo Alessandra
Imperial College London Department Of Computing
-
MOISEEV Rodion
Tokyo Institute of Technology, Department of Computer Science
-
Moiseev Rodion
Tokyo Institute Of Technology Department Of Computer Science