Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

17

AI
2005
Springer

favoriteEmaildiscussreport

62views Artificial Intelligence» more AI 2005»

Reasoning on UML class diagrams

13 years 7 months ago

Reasoning on UML class diagrams

Download www.inf.unibz.it

Daniela Berardi, Diego Calvanese, Giuseppe De Giac

Real-time Traffic

AI 2005 | Artificial Intelligence |

claim paper

Related Content

» Reasoning on UML Class Diagrams is EXPTIMEhard

» Finite Satisfiability of UML Class Diagrams by Constraint Programming

» Reasoning with UML Class Diagrams

» Applying ASP to UML Model Validation

» Rule Modeling and Markup

» Finite Model Reasoning on UML Class Diagrams Via Constraint Programming

» ModelDriven Development Based Transformation of Stereotyped Class Diagrams to XML Schemas ...

» Full Satisfiability of UML Class Diagrams

» Calculating with Concepts a Technique for the Development of Business Process Support

Post Info
More Details (n/a)

Added	15 Dec 2010
Updated	15 Dec 2010
Type	Journal
Year	2005
Where	AI
Authors	Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo

Comments (0)