Yearly Archives: 2016

2015 전문가 초청 세미나(AMME)

오스트리아 University of Vienna의 Dimitris Karagiannis 교수님을 초청하여, Agile Modeling Method Engineering(AMME) 를 주제로 세미나를 진행하였습니다. 배울 것이 많은 자리 였습니다.

Posted in Uncategorized

2015 K-Valley RED&B 무주 워크샵

  2015년 8월 13~14일, 무주 덕유산리조트로 K-Valley RED&B 워크샵을 다녀왔습니다. 건국대학교 유준범 교수님, 한국항공우주연구원의 신현규 박사님, ETRI의 강성주 박사님, 한국원자력연구원의 이장수 박사님께서 세미나를 해주셨습니다. 또한 SE lab에서도 응급 환자 이송 시나리오를 각각 UPPAAL, PRISM, DEVS로 SoS 시뮬레이션을 하여 결과를 보였습니다.

See more ›

Posted in Uncategorized

2015 KCC (6.24~6.26)

2015년 6월 24일~6월 26일 제주대학교에서 개최된 KCC 학회를 다녀왔습니다. 3일 내내 비바람이 몰아치는 날씨였지만, 즐겁고 유익한 시간이었습니다.   또한, 백영민 석사과정 학생의 ‘효과적인 모델 기반 안드로이드 GUI 테스팅을 위한 동일 화면 비교 기법’이 우수 논문상에, 신동환 박사과정 학생의 ‘FBD 프로그램

See more ›

Posted in Uncategorized

2015 SE & Spiral 연구실 딸기 파티

2015년 4월 8일, 배두환 교수님과 백종문 교수님, 그리고 SE와 Spiral 연구실 사람들이 모두 모여 딸기 파티를 하였습니다. 예쁘게 활짝 핀 벚꽃과 함께 즐거운 시간이었습니다!

Posted in Uncategorized

2015 야외 짜장면 피크닉

  4월 2일,  벚꽃이 가득한 따뜻한 봄날에 SE lab의 연구실 사람들이 모여 야외 짜장면 피크닉을 하였습니다. 맛있는 짜장면, 그리고 예쁜 벚꽃, 기타 소리와 함께 즐거운 피크닉이었습니다!

Posted in Uncategorized

2015 학위수여식

  2015년 2월 13일, KAIST 학위 수여식이 있었습니다. SE lab에서는 서동원 님이 석사 졸업을 하셨습니다. 졸업 축하드립니다~

Posted in Uncategorized

2015 배두환 교수님 부임 20주년 축하연

2015년 2월 7일,  배두환 교수님의 재학생 / 졸업생 제자 분들이 모두 모여, 파르나스 호텔에서 교수님의 부임 20주년 축하연을 가졌습니다. 졸업하신 선배님들 께서 아이들도 함께 데리고 오셔서 더 풍성한 축하연이 되었네요. 교수님! 부임 20주년을 축하드립니다.

Posted in Uncategorized

2015 KCSE (1.28~1.30)

  2015년 KCSE (한국 소프트웨어 공학 학술대회) 에 다녀왔습니다. (1월 28일~ 1월 30일) 최우수 논문상을 수상하신 서동원 님, 축하드립니다!

Posted in Notice