메뉴 건너뛰기




Volumn 15, Issue 1, 2006, Pages 92-122

UML-B: Formal modeling and design aided by UML

Author keywords

Modeling; Refinement; UML B

Indexed keywords

ANIMATION; COMPUTER AIDED DESIGN; COMPUTER PROGRAMMING LANGUAGES; INDUSTRIAL APPLICATIONS; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

EID: 33745413804     PISSN: 1049331X     EISSN: 1049331X     Source Type: Journal    
DOI: 10.1145/1125808.1125811     Document Type: Article
Times cited : (252)

References (29)
  • 2
    • 33745338719 scopus 로고    scopus 로고
    • Dear sir, yours faithfully: An everyday story of formality
    • Birmingham, UK, February, F. Redmill and T. Anderson, Eds. Springer-Verlag, London
    • AMEY, P. 2004. Dear sir, yours faithfully: an everyday story of formality, In Practical Elements of Safety Proceedings of the twelfth Safety-Critical Systems Symposium, Birmingham, UK, February, F. Redmill and T. Anderson, Eds. Springer-Verlag, London, 3-15.
    • (2004) Practical Elements of Safety Proceedings of the Twelfth Safety-critical Systems Symposium , pp. 3-15
    • Amey, P.1
  • 5
    • 33745372056 scopus 로고    scopus 로고
    • ClearSy System Engineering, Aix-en-Provence, F
    • CLEARSY 2003. AtelierB User Manual V3.6. ClearSy System Engineering, Aix-en-Provence, F.
    • (2003) AtelierB User Manual V3.6
  • 6
    • 33745429245 scopus 로고    scopus 로고
    • ClearSy System Engineering, Aix-en-Provence, F
    • CLEARSY 2000. AtelierB Training Course Level 2. ClearSy System Engineering, Aix-en-Provence, F.
    • (2000) AtelierB Training Course Level 2
  • 7
    • 0029251401 scopus 로고
    • Formal methods reality check: Industrial usage
    • CRAIGEN, D., GERHART, S., AND RALSTON, T. 1995. Formal methods reality check: Industrial usage. IEEE Trans. Softw. Eng. 21, 2, 90-98.
    • (1995) IEEE Trans. Softw. Eng. , vol.21 , Issue.2 , pp. 90-98
    • Craigen, D.1    Gerhart, S.2    Ralston, T.3
  • 10
    • 4243061712 scopus 로고    scopus 로고
    • The mystery of formal methods disuse
    • GLASS, R. 2004. The mystery of formal methods disuse. Comm. ACM 47, 8, 15-17.
    • (2004) Comm. ACM , vol.47 , Issue.8 , pp. 15-17
    • Glass, R.1
  • 11
    • 0023365727 scopus 로고
    • Statecharts: A visual formalism for complex systems
    • HAREL, D. 1987. Statecharts: A visual formalism for complex systems. Sci. Comput, Prog, 8, 3, 231-274.
    • (1987) Sci. Comput, Prog , vol.8 , Issue.3 , pp. 231-274
    • Harel, D.1
  • 12
    • 26444582642 scopus 로고    scopus 로고
    • UML to B: Formal verification of object-oriented models
    • Canterbury, UK, April 2004, E. A. Boiten, J. Derrick and G. Smith, Eds. Lecture Notes in Computer Science Vol. 2999, Springer-Verlag, Berlin Heidelberg
    • LANO, K., CLARK, D., AND ANDROUTSOPOULOS, K. 2004. UML to B: Formal Verification of Object-Oriented Models. In Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 2004, E. A. Boiten, J. Derrick and G. Smith, Eds. Lecture Notes in Computer Science Vol. 2999, Springer-Verlag, Berlin Heidelberg, 187-206.
    • (2004) Integrated Formal Methods, 4th International Conference, IFM 2004 , pp. 187-206
    • Lano, K.1    Clark, D.2    Androutsopoulos, K.3
  • 14
    • 35248853498 scopus 로고    scopus 로고
    • ProB: A model-checker for B
    • Pisa, Italy, A. Keijiro, S. Gnesi and M. Dino, Eds. Lecture Notes in Computer Science Vol. 2805, Springer-Verlag, Berlin Heidelberg
    • LEUSCHEL, M. AND BUTLER, M. 2003. ProB: A Model-Checker for B, In Proceedings of Formal Methods Europe, FME 2003, Pisa, Italy, A. Keijiro, S. Gnesi and M. Dino, Eds. Lecture Notes in Computer Science Vol. 2805, Springer-Verlag, Berlin Heidelberg, 855-874.
    • (2003) Proceedings of Formal Methods Europe, FME 2003 , pp. 855-874
    • Leuschel, M.1    Butler, M.2
  • 15
    • 84858900895 scopus 로고    scopus 로고
    • Methodologies and Technologies for Industrial Strength Systems Engineering (MATISSE)
    • l May 2000 to 28 February 2003
    • MATISSE 2003. Methodologies and Technologies for Industrial Strength Systems Engineering (MATISSE) IST Programme RTD Research Project IST-1999-11435, l May 2000 to 28 February 2003 http://www.matisse.qinetiq.com/
    • (2003) IST Programme RTD Research Project IST-1999-11435
  • 16
    • 24644495687 scopus 로고    scopus 로고
    • MERMET, J. (ED.) Kluwer Academic Publishers, Dordrecht, The Netherlands
    • MERMET, J. (ED.) 2004. UML-B Specification for Proven Embedded Systems Design. Kluwer Academic Publishers, Dordrecht, The Netherlands.
    • (2004) UML-B Specification for Proven Embedded Systems Design
  • 17
    • 84958058155 scopus 로고    scopus 로고
    • A systematic approach to transform OMT diagrams to a B specification
    • Toulouse, France, September 1999, J. Wing, J. Woodcock and J. Davies, Eds. Lecture Notes in Computer Science, Vol.1708, Springer-Verlag, Berlin Heidelberg
    • MEYER, E. AND SOUQUIÈRES, J. 1999. A systematic approach to transform OMT diagrams to a B specification. In World Congress on Formal Methods in the Development of Computing Systems, FM'99, Vol. I. Toulouse, France, September 1999, J. Wing, J. Woodcock and J. Davies, Eds. Lecture Notes in Computer Science, Vol.1708, Springer-Verlag, Berlin Heidelberg, 875-895.
    • (1999) World Congress on Formal Methods in the Development of Computing Systems, FM'99, Vol. I , vol.1 , pp. 875-895
    • Meyer, E.1    Souquières, J.2
  • 18
    • 84958097280 scopus 로고
    • A formal software specification tool using the entity-relationship model
    • Manchester, U.K., December, P. Loucopoulos, Ed. Lecture Notes in Computer Science, Springer-Verlag
    • NAGUI-RAISS, N. 1994. A formal software specification tool using the entity-relationship model. In 13th International Conference on the Entity-Relationship Approach. Manchester, U.K., December, P. Loucopoulos, Ed. Lecture Notes in Computer Science, Vol. 881, Springer-Verlag, 315-332.
    • (1994) 13th International Conference on the Entity-relationship Approach , vol.881 , pp. 315-332
    • Nagui-Raiss, N.1
  • 20
    • 84949202192 scopus 로고    scopus 로고
    • Graphical design of reactive systems
    • Montpellier, France, April 1998, D. Bert, Ed. Lecture Notes in Computer Science, Springer-Verlag
    • nd International B Conference. Montpellier, France, April 1998, D. Bert, Ed. Lecture Notes in Computer Science, Vol.1393, Springer-Verlag, 182-197.
    • (1998) nd International B Conference , vol.1393 , pp. 182-197
    • Sekerinski, E.1
  • 21
    • 84858889009 scopus 로고    scopus 로고
    • Object-oriented modelling in B
    • Nantes, France, November, H. Habrias, Ed.
    • st Conference on the B method. Nantes, France, November, H. Habrias, Ed. 133-154.
    • (1996) st Conference on the B Method , pp. 133-154
    • Shore, R.1
  • 22
    • 33646758136 scopus 로고    scopus 로고
    • The UML-B profile for formal systems modelling in UML
    • J. Mermet, Ed. Kluwer Academic Publishers, Dordrecht, The Netherlands
    • SNOOK, C., OLIVER, I., AND BUTLER, M. 2004. The UML-B profile for formal systems modelling in UML, In UML-B Specification for Proven Embedded Systems Design, J. Mermet, Ed. Kluwer Academic Publishers, Dordrecht, The Netherlands.
    • (2004) UML-B Specification for Proven Embedded Systems Design
    • Snook, C.1    Oliver, I.2    Butler, M.3
  • 23
    • 33646758136 scopus 로고    scopus 로고
    • U2B - A tool for translating UML-B models into B
    • J. Mermet, Ed. Kluwer Academic Publishers, Dordrecht, The Netherlands
    • SNOOK, C. AND BUTLER, M. 2004. U2B - A tool for translating UML-B models into B, In UML-B Specification for Proven Embedded Systems Design, J. Mermet, Ed. Kluwer Academic Publishers, Dordrecht, The Netherlands.
    • (2004) UML-B Specification for Proven Embedded Systems Design
    • Snook, C.1    Butler, M.2
  • 28
    • 23744445685 scopus 로고    scopus 로고
    • Embedded system design using formal model refinement: An approach based on the combined use of UML and the B language
    • VOROS, N., SNOOK, C., HALLERSTEDE, S., AND MASSELOS, K. 2004. Embedded System Design Using Formal Model Refinement: An Approach Based on the Combined Use of UML and the B Language, Design Automation for Embedded Systems 9, 2, 67-99.
    • (2004) Design Automation for Embedded Systems , vol.9 , Issue.2 , pp. 67-99
    • Voros, N.1    Snook, C.2    Hallerstede, S.3    Masselos, K.4


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