Keyword : OCL


Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints
Rodion MOISEEV Shinpei HAYASHI Motoshi SAEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2011/03/01
Vol. E94-D  No. 3 ; pp. 612-621
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
OCLconstraintsassertion codeprogramming languages
 Summary | Full Text:PDF(769.6KB)

Constraint-Based Software Specifications and Verification Using UML
Chin-Feng FAN Chun-Yin CHENG 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2006/06/01
Vol. E89-D  No. 6 ; pp. 1914-1922
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
constraintsSpecTRM-RLUMLOCLfault trees
 Summary | Full Text:PDF(761.3KB)

Formalizing Refactoring by Using Graph Transformation
Hiroshi KAZATO Minoru TAKAISHI Takashi KOBAYASHI Motoshi SAEKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2004/04/01
Vol. E87-D  No. 4 ; pp. 855-867
Type of Manuscript:  Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category: Metrics, Test, and Maintenance
Keyword: 
refactoringobject-oriented designgraph transformationgraph grammarOCLmeta model
 Summary | Full Text:PDF(2MB)