scholarly journals Finite Model Reasoning on UML Class Diagrams Via Constraint Programming

2007 ◽  
pp. 36-47 ◽  
Author(s):  
Marco Cadoli ◽  
Diego Calvanese ◽  
Giuseppe De Giacomo ◽  
Toni Mancini
Keyword(s):  
Constraint Programming ◽  
Finite Model ◽  
Class Diagrams

scholarly journals Finite model reasoning on UML class diagrams via constraint programming

2013 ◽  
Vol 7 (1) ◽  
pp. 57-65
Author(s):  
Marco Cadoli ◽  
Diego Calvanese ◽  
Giuseppe De Giacomo ◽  
Toni Mancini
Keyword(s):  
Constraint Programming ◽  
Finite Model ◽  
Class Diagrams

scholarly journals On the verification of UML/OCL class diagrams using constraint programming

2014 ◽  
Vol 93 ◽  
pp. 1-23 ◽  
Author(s):  
J. Cabot ◽  
R. Clarisó ◽  
D. Riera
Keyword(s):  
Constraint Programming ◽  
Class Diagrams

Finite Model Theory

1995 ◽  
Author(s):  
Heinz-Dieter Ebbinghaus ◽  
Jörg Flum
Keyword(s):  
Model Theory ◽  
Finite Model ◽  
Finite Model Theory

A Method of Train Regulation Planning by the Constraint Programming Using Train Regulation Knowledge

2010 ◽  
Vol 130 (2) ◽  
pp. 332-342 ◽  
Author(s):  
Shuichiro Sakikawa ◽  
Tatsuhiro Sato ◽  
Toyohisa Morita ◽  
Kenji Ohta
Keyword(s):  
Constraint Programming

Decomposition of Large Class Diagrams Generated by Reverse Engineering

2011 ◽  
Vol 21 (11) ◽  
pp. 2701-2710
Author(s):  
Hui LIU ◽  
Wei-Zhong SHAO ◽  
Zhi-Yi MA
Keyword(s):  
Reverse Engineering ◽  
Large Class ◽  
Class Diagrams
Sign in / Sign up

Export Citation Format

Share Document