메뉴 건너뛰기




Volumn 3596 LNAI, Issue , 2005, Pages 353-366

A new method to interrogate and check UML class diagrams

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SPECIFICATIONS; VISUALIZATION;

EID: 26944464907     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11524564_24     Document Type: Conference Paper
Times cited : (1)

References (20)
  • 1
    • 26944435683 scopus 로고    scopus 로고
    • Knowledge acquisition with a pure graph-based knowledge representation model
    • [BGM99a]
    • [BGM99a] J.F. Baget, D. Genest, and M.L. Mugnier. Knowledge acquisition with a pure graph-based knowledge representation model. In Proc. of KAW'99, volume 2, pages 7.1.1-7.1.20, 1999.
    • (1999) Proc. of KAW'99 , vol.2
    • Baget, J.F.1    Genest, D.2    Mugnier, M.L.3
  • 2
    • 84958652268 scopus 로고    scopus 로고
    • A pure graph-based solution to the SCG-1 initiative
    • [BGM99b] J.F. Baget, D. Genest, M.L. Mugnier. Proc. of ICCS'99, Springer
    • [BGM99b] J.F. Baget, D. Genest, and M.L. Mugnier. A pure graph-based solution to the SCG-1 initiative. In Proc. of ICCS'99, volume 1640 of LNAI, pages 355-376. Springer, 1999.
    • (1999) LNAI , vol.1640 , pp. 355-376
  • 4
    • 26944480924 scopus 로고    scopus 로고
    • Extensions of simple conceptual graphs: The complexity of rules and constraints
    • [BM02]
    • [BM02] J.F. Baget and M.L. Mugnier, Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints. JAIR, 16(12):425-465, 2002.
    • (2002) JAIR , vol.16 , Issue.12 , pp. 425-465
    • Baget, J.F.1    Mugnier, M.L.2
  • 5
    • 26944454170 scopus 로고    scopus 로고
    • [Bor04] Borland
    • [Bor04] Borland. Together software, 2004. http://www.borland.com/ together/.
    • (2004) Together Software
  • 6
    • 0000015099 scopus 로고
    • Conceptual graphs: Fundamental notions
    • [CM92]
    • [CM92] M. Chein and M.L. Mugnier. Conceptual Graphs: Fundamental Notions. Revue d'intelligence artificielle, 6(4):365-406, 1992.
    • (1992) Revue D'intelligence Artificielle , vol.6 , Issue.4 , pp. 365-406
    • Chein, M.1    Mugnier, M.L.2
  • 7
    • 84948977539 scopus 로고    scopus 로고
    • Positive nested conceptual graphs
    • [CM97]
    • [CM97] M. Chein and M.L. Mugnier. Positive nested conceptual graphs. In ICCS'97 [ICC97], pages 95-109.
    • ICCS'97 [ICC97] , pp. 95-109
    • Chein, M.1    Mugnier, M.L.2
  • 8
    • 35048820155 scopus 로고    scopus 로고
    • Concept types and coreference in simple conceptual graphs
    • [CM04]. Proc. of ICCS'04, Springer
    • [CM04] M. Chein and M.L. Mugnier. Concept types and coreference in simple conceptual graphs. In Proc. of ICCS'04, volume 3127 of LNAI, pages 303-318. Springer, 2004.
    • (2004) LNAI , vol.3127 , pp. 303-318
    • Chein, M.1    Mugnier, M.L.2
  • 9
    • 0012350039 scopus 로고    scopus 로고
    • Nested graphs: A graph-based knowledge representation model with FOL semantics
    • [CMS98]. Morgan Kaufmann Publishers
    • [CMS98] M. Chein, M.L. Mugnier, and G. Simonet. Nested graphs: A graph-based knowledge representation model with FOL semantics. In Proc. of KR'98, pages 524-534. Morgan Kaufmann Publishers, 1998.
    • (1998) Proc. of KR'98 , pp. 524-534
    • Chein, M.1    Mugnier, M.L.2    Simonet, G.3
  • 10
    • 33646007861 scopus 로고    scopus 로고
    • [Gen04a]. CoGITaNT 5.1.5
    • [Gen04a] D. Genest. CoGITaNT 5.1.5, 2004. http://cogitant.sourceforge. net.
    • (2004)
    • Genest, D.1
  • 11
    • 33645997991 scopus 로고    scopus 로고
    • [Gen04b]. Gentleware. Poseidon SE
    • [Gen04b] Gentleware. Poseidon SE, 2004. http://www.gentleware.com/.
    • (2004)
  • 12
    • 26944467322 scopus 로고
    • La plate-forme CoGITo: Manuel d'utilisation
    • [Hae95], LIRMM
    • [Hae95] O. Haemmerlé. La plate-forme CoGITo: manuel d'utilisation. Technical Report 95012, LIRMM, 1995.
    • (1995) Technical Report 95012
    • Haemmerlé, O.1
  • 13
    • 26944434960 scopus 로고    scopus 로고
    • [IBM04] IBM
    • [IBM04] IBM. Rational rose, 2004. http://www-306.ibm.com/software/ rational/.
    • (2004) Rational Rose
  • 14
    • 33646000995 scopus 로고    scopus 로고
    • [ICC97] ICCS'97, Springer
    • [ICC97] ICCS'97, volume 1257 of LNAI, Springer, 1997.
    • (1997) LNAI , vol.1257
  • 15
    • 84948975042 scopus 로고    scopus 로고
    • A sound and complete CG proof procedure combining projection with analytic tableaux
    • [KS97]
    • [KS97] G. Kerdiles and É. Salvat. A sound and complete CG proof procedure combining projection with analytic tableaux. In ICCS'97 [ICC97], pages 371-385.
    • ICCS'97 [ICC97] , pp. 371-385
    • Kerdiles, G.1    Salvat, É.2
  • 16
    • 0030365252 scopus 로고    scopus 로고
    • Représenter des connaissances et raisonner avec des graphes
    • [MC96]
    • [MC96] M.L. Mugnier and M. Chein. Représenter des connaissances et raisonner avec des graphes. Revue d'intelligence artificielle, 10(1):7-56, 1996.
    • (1996) Revue D'intelligence Artificielle , vol.10 , Issue.1 , pp. 7-56
    • Mugnier, M.L.1    Chein, M.2
  • 18
    • 26944483660 scopus 로고    scopus 로고
    • Theorem proving using graph operations in the conceptual graph formalism
    • [Sal98]
    • [Sal98] É. Salvat. Theorem proving using graph operations in the conceptual graph formalism. In Proc. of ECAI'98, 1998.
    • (1998) Proc. of ECAI'98
    • Salvat, É.1
  • 20
    • 84958766962 scopus 로고
    • Conceptual graphs and first-order logic
    • [Wer95]. Proc. of ICCS'95, Springer
    • [Wer95] M. Wermelinger. Conceptual graphs and first-order logic. In Proc. of ICCS'95, volume 964 of LNAI, pages 323-337. Springer, 1995.
    • (1995) LNAI , vol.964 , pp. 323-337
    • Wermelinger, M.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.