메뉴 건너뛰기




Volumn 33, Issue 3, 2007, Pages 157-170

A formal and tool-equipped approach for the integration of state diagrams and formal datatypes

Author keywords

Formal methods; Integrated environments; Languages; Operational semantics; Specification techniques; State diagrams; Tools

Indexed keywords

COMPUTER SOFTWARE REUSABILITY; FORMAL LANGUAGES; GRAPHICAL USER INTERFACES; INTEGRATION; SEMANTICS; SPECIFICATION LANGUAGES;

EID: 33947426829     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2007.21     Document Type: Article
Times cited : (5)

References (40)
  • 2
    • 0012754763 scopus 로고    scopus 로고
    • E. Astesiano, H.-J. Kreowski, and B. Krieg-Brückner, eds. Springer-Verlag
    • Algebraic Foundations of System Specification, E. Astesiano, H.-J. Kreowski, and B. Krieg-Brückner, eds. Springer-Verlag, 1999.
    • (1999) Algebraic Foundations of System Specification
  • 4
    • 0003566434 scopus 로고
    • second ed. Prentice Hall Int'l Series in Computer Science
    • J.M. Spivey, The Z Notation: A Reference Manual, second ed. Prentice Hall Int'l Series in Computer Science, 1992.
    • (1992) The Z Notation: A Reference Manual
    • Spivey, J.M.1
  • 5
    • 0004025792 scopus 로고    scopus 로고
    • Cambridge Univ. Press
    • J.R. Abrial, The B-Book. Cambridge Univ. Press, 1996.
    • (1996) The B-Book
    • Abrial, J.R.1
  • 6
    • 33749627159 scopus 로고    scopus 로고
    • "UML Superstructure Specification, v2.0"
    • OMG Aug. document formal/05-07-04
    • OMG "UML Superstructure Specification, v2.0," Aug. 2005, document formal/05-07-04.
    • (2005)
  • 7
    • 0023365727 scopus 로고
    • "Statecharts: A Visual Formalism for Complex System"
    • D. Harel, "Statecharts: A Visual Formalism for Complex System," Science of Computer Programming, vol. 8, no. 3, pp. 231-274, 1987.
    • (1987) Science of Computer Programming , vol.8 , Issue.3 , pp. 231-274
    • Harel, D.1
  • 14
    • 0007933043 scopus 로고    scopus 로고
    • "The Korrigan Environment"
    • special issue on tools for system design and verification
    • C. Choppy, P. Poizat, and J.-C. Royer, "The Korrigan Environment," J. Universal Computer Science, vol. 7, no. 1, special issue on tools for system design and verification, pp. 19-36, 2001.
    • (2001) J. Universal Computer Science , vol.7 , Issue.1 , pp. 19-36
    • Choppy, C.1    Poizat, P.2    Royer, J.-C.3
  • 16
    • 0038153424 scopus 로고    scopus 로고
    • "Trace-Oriented Models of Concurrency"
    • chapter 2, Elsevier
    • M. Broy and E.-R. Olderog, "Trace-Oriented Models of Concurrency," Handbook of Process Algebra, chapter 2, pp. 101-195, Elsevier, 2001.
    • (2001) Handbook of Process Algebra , pp. 101-195
    • Broy, M.1    Olderog, E.-R.2
  • 17
    • 0004457204 scopus 로고
    • "A Guide to LP, the Larch Prover"
    • technical report
    • S.J. Garland and J.V. Guttag, "A Guide to LP, the Larch Prover," technical report, 1991.
    • (1991)
    • Garland, S.J.1    Guttag, J.V.2
  • 18
    • 1542590860 scopus 로고    scopus 로고
    • "Executing CASL Equational Specifications with the ELAN Rewrite Engine"
    • Nov. coFI note T-9
    • H. Kirchner and C. Ringeissen, "Executing CASL Equational Specifications with the ELAN Rewrite Engine," Nov. 2000, coFI note T-9, http://www.daimi.au.dk/~pdm/Common/Notes/T-9/.
    • (2000)
    • Kirchner, H.1    Ringeissen, C.2
  • 19
    • 12344315210 scopus 로고    scopus 로고
    • "xCLAP: Animation of State Diagrams with Formal Data"
    • master's degree project, Univ. of Nantes
    • A. Auverlot, C. Cailler, M. Coriton, V. Gruet, and M. Noël, "xCLAP: Animation of State Diagrams with Formal Data," master's degree project, Univ. of Nantes, 2003.
    • (2003)
    • Auverlot, A.1    Cailler, C.2    Coriton, M.3    Gruet, V.4    Noël, M.5
  • 22
    • 11244252388 scopus 로고    scopus 로고
    • "An Overview of CADP 2001"
    • also available as INRIA Technical Report RT-0254
    • H. Garavel, F. Lang, and R. Mateescu, "An Overview of CADP 2001," EASST Newsletter, vol. 4, pp. 13-24, 2001, also available as INRIA Technical Report RT-0254.
    • (2001) EASST Newsletter , vol.4 , pp. 13-24
    • Garavel, H.1    Lang, F.2    Mateescu, R.3
  • 25
    • 0001138255 scopus 로고
    • "Orderings for Term-Rewriting Systems"
    • N. Dershowitz, "Orderings for Term-Rewriting Systems," Theoretical Computer Science, vol. 17, no. 3, pp. 279-301, 1982.
    • (1982) Theoretical Computer Science , vol.17 , Issue.3 , pp. 279-301
    • Dershowitz, N.1
  • 30
    • 33947390098 scopus 로고    scopus 로고
    • Object Modeling with the OCL, T. Clark and J. Warmer, eds., Lecture Notes in Computer Science, Springer-Verlag
    • Object Modeling with the OCL, The Rationale behind the Object Constraint Language, T. Clark and J. Warmer, eds., Lecture Notes in Computer Science, vol. 2263, Springer-Verlag, 2002.
    • (2002) The Rationale Behind the Object Constraint Language , vol.2263
  • 36
    • 84948144638 scopus 로고    scopus 로고
    • "Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development"
    • D. Bert, J.P. Bowen, M.C. Henson, and K. Robinson, eds
    • R. Laleau and F. Polack, "Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development," Proc. Second Int'l Z and B Conf. (ZB '02), D. Bert, J.P. Bowen, M.C. Henson, and K. Robinson, eds., pp. 517-534, 2002.
    • (2002) Proc. Second Int'l Z and B Conf. (ZB '02) , pp. 517-534
    • Laleau, R.1    Polack, F.2


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