소프트웨어 품질 연구실
fnctId=thesis,fnctNo=228
Systematic approach for constructing an understandable state machine from a contract-based specification: controlled experiments
- 링크
- https://link.springer.com/article/10.1007/s10270-014-0440-2
- 작성자
- 이영우
- 저자
- J. H. Bae and H. S. Chae
- 발행사항
- 발행일
- 2016
- 국문초록
- 영문초록
- 일반텍스트
- J. H. Bae and H. S. Chae, "Systematic approach for constructing an understandable state machine from a contract-based specification: controlled experiments," Software and Systems Modeling, vol. 15, no. 3, pp. 847-879, July, 2016.
- 첨부파일