본문 바로가기

연구실 소식/세미나

상태 머신 생성 연구 조사 및 향후 연구 방향

Speaker:

         최현재

Subject:

상태 머신 생성 연구 조사 및 향후 연구 방향

Source:

           J. H. Bae, A Systematic Approach to Constructing Understandable State Machine, Ph.D Thesis, Pusan National University, 2014.

           Dick, Jeremy, and Alain Faivre. "Automating the generation and sequencing of test cases from model-based specifications." FME'93: Industrial-Strength Formal Methods. Springer Berlin Heidelberg, 1993

           Bert, Didier, and Francis Cave. "Construction of finite labelled transition systems from B abstract systems." Integrated Formal Methods. Springer Berlin Heidelberg, 2000.

           Hammad, Ahmed, et al. "From a B specification to UML statechart diagrams." Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2002.

Abstract:

           상태 머신 생성 연구를 조사하여 기존 연구 내용을 파악한다. 또한 기존 연구 조사를 통해 향후 연구 주제를 정하고 연구 수행 방법을 제시한다.