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

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:

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


저작자 표시 비영리 변경 금지
신고

설정

트랙백

댓글

609-735 부산 금정구 장전동 부산대학교 자연대연구실험동 305호ㅣ051 - 510 - 3940ㅣsquare _At_ pusan.ac.krㅣ