메뉴 건너뛰기




Volumn 16, Issue 6, 2005, Pages 541-573

The semantics of augmented constraint diagrams

Author keywords

Constraint diagrams; Formal methods; Software specification; Visual formalisms

Indexed keywords


EID: 18844424182     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jvlc.2005.03.001     Document Type: Article
Times cited : (63)

References (23)
  • 1
    • 27844510524 scopus 로고    scopus 로고
    • OMG, UML specification, version 1.4, Available from www.omg.org
    • OMG, UML specification, version 1.4, Available from www.omg.org
  • 3
    • 84948987134 scopus 로고    scopus 로고
    • A visualisation of OCL using collaborations
    • Lecture Notes in Computer Science Springer, Berlin
    • P. Bottoni, M. Koch, F. Parisi-Preesicce, G. Taentzer, A visualisation of OCL using collaborations, in: Proceedings of UML 01, Lecture Notes in Computer Science, vol. 2185, Springer, Berlin, 2001, pp. 257-271.
    • (2001) Proceedings of UML 01 , vol.2185 , pp. 257-271
    • Bottoni, P.1    Koch, M.2    Parisi-Preesicce, F.3    Taentzer, G.4
  • 4
    • 0346616784 scopus 로고    scopus 로고
    • Constraint diagrams: Visualising invariants in object oriented models
    • ACM SIGPLAN Notices
    • S. Kent, Constraint diagrams: Visualising invariants in object oriented models, in: Proceedings of OOPSLA97, ACM SIGPLAN Notices, 32(10), 1997, pp. 327-341.
    • (1997) Proceedings of OOPSLA97 , vol.32 , Issue.10 , pp. 327-341
    • Kent, S.1
  • 5
    • 27844444778 scopus 로고    scopus 로고
    • Stanford encyclopaedia of philosophy
    • Stanford encyclopaedia of philosophy, Entry on Diagrams, http://plato.stanford.edu/entries/diagrams
    • Entry on Diagrams
  • 10
    • 9444257694 scopus 로고    scopus 로고
    • Implementing Euler/Venn reasoning systems
    • M. Anderson B. Meyer P. Oliver (Eds.) Springer Berlin
    • N. Swoboda Implementing Euler/Venn reasoning systems in: M. Anderson B. Meyer P. Oliver (Eds.) Diagrammatic Representation and Reasoning 2001 Springer Berlin 371-386
    • (2001) Diagrammatic Representation and Reasoning , pp. 371-386
    • Swoboda, N.1
  • 14
    • 0023365727 scopus 로고
    • Statecharts: A visual formalism for complex systems
    • D. Harel Statecharts: A visual formalism for complex systems Science of Computer Programming 8 1987 231-274
    • (1987) Science of Computer Programming , vol.8 , pp. 231-274
    • Harel, D.1
  • 15
    • 9444260531 scopus 로고    scopus 로고
    • The logic system of concept graphs with negation and its relationship to predicate logic
    • Springer, Berlin
    • F. Dau, The logic system of concept graphs with negation and its relationship to predicate logic, Lecture Notes in Applied Informatics, vol. 2892, Springer, Berlin, 2003.
    • (2003) Lecture Notes in Applied Informatics , vol.2892
    • Dau, F.1
  • 16
    • 9444279013 scopus 로고    scopus 로고
    • Towards a default reading for constraint diagrams
    • Lecture Notes in Computer Science Springer, Berlin
    • A. Fish, J. Howse, Towards a default reading for constraint diagrams, in: Proceedings of Diagrams 2004, Lecture Notes in Computer Science, vol. 2980, Springer, Berlin, 2004, pp. 51-65.
    • (2004) Proceedings of Diagrams 2004 , vol.2980 , pp. 51-65
    • Fish, A.1    Howse, J.2
  • 17
    • 68049125123 scopus 로고    scopus 로고
    • Using animation in diagrammatic theorem proving
    • Lecture Notes in Applied Informatics Springer, Berlin
    • D. Winterstein, A. Bundy, C. Gurr, M. Jamnik, Using animation in diagrammatic theorem proving, in: Proceedings of Diagrams 2002, Lecture Notes in Applied Informatics, vol. 2317, Springer, Berlin, pp. 46-60.
    • Proceedings of Diagrams 2002 , vol.2317 , pp. 46-60
    • Winterstein, D.1    Bundy, A.2    Gurr, C.3    Jamnik, M.4
  • 18
    • 27844575238 scopus 로고    scopus 로고
    • Precise Visual Modelling
    • to appear. Available at
    • J. Howse, S. Schumann, Precise Visual Modelling, Journal of Software Systems & Modelling, 4(3) (2005) to appear. Available at http://springerlink.metapress.com
    • (2005) Journal of Software Systems & Modelling , vol.4 , Issue.3
    • Howse, J.1    Schumann, S.2
  • 20
    • 84893076076 scopus 로고    scopus 로고
    • Corresponding regions in Euler diagrams
    • Lecture Notes in Applied Informatics Springer, Berlin
    • J. Howse, G. Stapleton, J. Taylor, J. Flower, Corresponding regions in Euler diagrams, in: Proceedings of Diagrams 2002, Lecture Notes in Applied Informatics, vol. 2317, Springer, Berlin, 2002, pp. 146-160.
    • (2002) Proceedings of Diagrams 2002 , vol.2317 , pp. 146-160
    • Howse, J.1    Stapleton, G.2    Taylor, J.3    Flower, J.4


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