MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Reasoning on UML class diagrams." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 20 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Reasoning on UML Class Diagrams  
  • by Daniela Berardi A, Diego Calvanese B
  • …Reasoning on UML Class Diagrams Daniela Berardi a , Diego Calvanese b , and Giuseppe De Giacomo a…
  • Add To MetaCart
  • Reasoning on UML Class Diagrams  
  • by Daniela Berardi , Andrea Cali, Diego Calvanese, Giuseppe Di Giacomo — 2003 — ARTIFICIAL INTELLIGENCE
  • …Reasoning on UML Class Diagrams Daniela Berardi, Andrea Cal, Diego Calvanese and Giuseppe De…
  • Cited by 30 (8 self) – Add To MetaCart
  • Reasoning on UML Class Diagrams is EXPTIME-hard  
  • by Daniela Berardi , Diego Calvanese, Giuseppe De Giacomo — 2003 — IN PROC. OF THE 2003 DESCRIPTION LOGIC WORKSHOP (DL 2003), 3 HTTP://WWW.DMTF.ORG/STANDARDS/CIM/ 28–37. CEUR ELECTRONIC WORKSHOP PROCEEDINGS, HTTP://CEUR-WS.ORG/ VOL-81
  • …Reasoning on UML Class Diagrams is EXPTIME-hard Daniela Berardi, Diego Calvanese, and Giuseppe De…
  • Cited by 2 (1 self) – Add To MetaCart
  • A formal framework for reasoning on uml class diagrams  
  • by Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini — 2002 — IN PROC. OF THE 13TH INT. SYM. ON METHODOLOGIES FOR INTELLIGENT SYSTEMS (ISMIS 2002
  • …A Formal Framework for Reasoning on UML Class Diagrams Andrea Cal, Diego Calvanese, Giuseppe De…
  • Cited by 5 (1 self) – Add To MetaCart
  • Reasoning on UML Class Diagrams in Description Logics  
  • by Andrea Cali, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini — IN PROC. OF IJCAR WORKSHOP ON PRECISE MODELLING AND DEDUCTION FOR OBJECT-ORIENTED SOFTWARE DEVELOPMENT (PMD
  • …Reasoning on UML Class Diagrams in Description Logics Andrea Cal, Diego Calvanese, Giuseppe De…
  • Add To MetaCart
  • Sistemistica, Università di Roma “La Sapienza”, 2003.  
  • by Diego Calvanese, G. De Giacomo (days, D. Calvanese, D. Mcguinness, D. Nardi, Peter F. Patel-schneider, D. Berardi, A. Calì, D. Calvanese, G. De, Giacomo Reasoning Uml, G. Saake, Logics For Databases
  • …-Order-Logic, forms of reasoning on UML Class Diagrams G. De Giacomo (days 1, 2) – references [2,3] Part 2: Intro…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB