Staff : Jin-Seok Yang (Software Engineer)

증명사진(양진석)1. Education Background

– 2006 : Korea University (MS), Computer Science, Formal Method
– 1995 : Dongguk University (BS), Computer Science

2. Field of Specialization

– Software Engineering and Product Line Engineering
– Formal Methods (Specification and Verification)

3. Professional Activities

  • 2014.1 – present : Principal consultant, SPID Consulting Co., Ltd.
  • 2013.8 – present : Research Staff, Software Engineering Institute Co., Ltd.
  • 2013.7 – 2013.12 : Research Professor, Kwandong University
  • 2006.1 – 2013.6 : Research Staff, Software Engineering Lab., Pohang Univ. of Science and Technology

4. Publications

– Book

  • “이스탄불에서 일주일 Part 1, Part 2”, 타임비, 2014
  • “초보자를 위한 Esterel 프로그래밍”, 홍릉과학출판사, 2005

– Articles

  • “워크플로우 기반의 제품라인 소프트웨어 개발 지원환경”, 소프트웨어공학 웹진-인사이드 이슈, 76호, 2013.12.9 (Download)

– International Research Papers 

  • “Guideline to tailoring the Software Product Line Engineering Process”, Jeong Ah Kim, JinSeok Yang, INFORMATION – An International Information Institute, 2014
  • “Domain-oriented variability modeling for reuse of simulation models”, Hyesun Lee, Jin-Seok Yang, Kyo Chul Kang, and Jai-Jeong Pyun, SIMULATION: Transaction s of the Society for Modeling and Simulation International, Volume 90, No 4, April 2014.
  • “VULCAN: A Workbench for Feature-Oriented Product Line Software Development”, Hyesun Lee, Jin-seok Yang, and Kyo C. Kang, Korea-Japan Joint Workshop on ICT, Pohang, Korea, September 20-22, 2012.
  • “VULCAN: Architecture-Model-Based Workbench for Product Line Engineering”Hyesun Lee, Jin-seok Yang, and Kyo C. Kang, 16th International Software Product Line Conference (SPLC 2012), Salvador, Brazil, September 2-7, 2012, Volume 2, pp. 260-264.
  • “VULCAN: Architecture-Model-Based Software Development Workbench”, Hyesun Lee, Jin-seok Yang, and Kyo C. Kang, Joint 10th Working IEEE/IFIP Conference on Software Architecture and 6th European Conference on Software Architecture (WICSA/ECSA 2012), Helsinki, Finland, August 20-24, 2012, Companion Volume, pp. 86-89.
  • “Application Framework for Multi Platform Mobile Application Software Development”, Yoonseok Choi, Jin-Seok Yang, and Jaewon Jeong, The 11th International Conference on Advanced Communication Technology(ICACT 2009), Phoenix Park, Korea, Feb 15-18, 2009, pp.208-213.
  • “Architecture Patterns for Mobile Games Product Lines”, Hojin Cho, Jin-Seok Yang, The 10th International Conference on Advanced Communication Technology(ICACT 2008), Phoenix Park, Korea, Feb 17-20, 2008, pp.118-122.

– Domestic Research Papers

  • “워크플로우 기반의 제품라인 소프트웨어 개발 지원환경”, 양진석, 강교철, 정보처리학회 논문지, Vol 2, No. 6, pp. 377-382
  • “휘처-중심의 제품라인 소프트웨어 개발을 위한 이크립스 플랫폼 기반의 워크벤치”, 양진석, 강교철, 정보과학회 논문지: 컴퓨팅의 실제 및 레터, 제19권 제1호, pp. 31-36.
  • ” AWT 기반 어플리케이션을 이클립스 플러그-인으로 리엔지니어링 할때 재사용을 위해 고려할 사항들”, 양진석, 손동렬, 강교철, 소프트웨어공학소사이어티 논문지, 제24권, 제2호, 2011년 6월, pp. 775-786.
  • “공정제어 PLC 응용SW의 재사용성과 유지보수성 향상을 위한 SW공학 원칙 적용사례 연구”, 양진석, 김용수, 강교철, 정보과학회 논문지: 소프트웨어 및 응용, 제38권, 제4호, 2011년 4월, pp. 188-197.
  • “제품라인 적용을 위한 철강공정 제어 시스템의 리엔지니어링: 사례연구”, 양진석, 박영복, 김용수, 이종현, 강교철, 소프트웨어공학소사이어티 논문지, 제21권, 제3호, 2008년 9월, pp. 47-62.
  • AVM 컨피규레이션 소프트웨어의 리엔지니어링“, 양진석, 이재우, 제40회 정보과학회 추계학술대회, 2013년 11월.
  • OSGi 프레임워크에 기댄 제품라인 소프트웨어 개발 적용“, 양진석, 강교철, 제15회 한국소프트웨어 공학 학술대회(KCSE 2013), 제15권, 제1호, pp.232-235.
  • 소프트웨어 제품라인 역공학 지원도구“, 림청, 빈타오, 양진석, 이혜선, 강교철, 제15회 한국소프트웨어 공학 학술대회(KCSE 2013), 제15권, 제1호, pp.254-257.
  • 워크플로우 기반의 제품라인 소프트웨어 개발 지원환경“, 양진석, 림청, 강교철, 제38회 한국정보처리학회 추계학술발표대회 논문집, 제19권, 2호, pp. 1515-1517.
  • 휘처-중심의 제품라인 공학 기반 소프트웨어 개발을 위한 이클립스 플랫폼 기반의 워크벤치“, 양진석, 강교철, 2012 한국컴퓨터종합학술대회 논문집, 제39권, 제1(B)호, pp. 187-189.
  • 엔티티와 태스크 분리를 통한 시뮬레이션 모델의 재사용성 향상“, 양진석, 이혜선, 남혜지, 강교철, 2012 한국군사과학기술학회 종합할술대회 논문집, pp. 509-512.
  • AWT 기반 어플리케이션을 이클립스 플러그-인으로 리엔지니어링 할 때 재사용을 위해 고려할 사항들“, 양진석, 손동렬, 강교철, 2011 한국소프트웨어공학기술 합동 워크샵, 제9권, 제1호, pp.161-164.
  • SW제품라인 기반의 융합SW개발 지원도구“, 양진석, 손동렬, 인관호, 강교철, 2011 한국 소프트웨어공학 학술대회, 제13권, 제1호, pp.281-288.
  • 참조휘처모델을 이용한 휘처모델링 방법 연구“, 양진석, 강교철, 2010 한국 소프트웨어공학 기술 합동 워크샵, 제8권, 제1호, pp.58-63.
  • PLC 응용 소프트웨어 재사용성 및 유지보수성 향상을 위한 소프트웨어 공학원칙 적용사례 연구“, 양진석, 김용수, 강교철, 2010 한국 소프트웨어 공학 학술대회 논문집, 제12권, 제1호, pp.276-282.
  • 모바일 UI 명세를 이용한 모바일 응용 S/W 시뮬레이션“, 정재원, 최윤석, 양진석, 2009 한국 소프트웨어 공학 학술대회 논문집, 제11권, 제1호, pp. 107-114.
  • 사용자 인터페이스 모델 기반 모바일 응용 소프트웨어 개발 사례 연구“, 양진석, 최윤석, 정재원, 신광호, 2009 한국 소프트웨어 공학 학술대회 논문집, 제11권, 제1호, pp. 44-51.
  • Mobile UI Model: 모바일 응용 SW 설계를 위한 모델“, 양진석, 강교철, 2008 한국 소프트웨어 공학 학술대회 논문집, 제10권, 제1호, pp. 155-162.
  • 모바일 응용 S/W 개발을 위한 화면 중심의 사용자 인터페이스 모델링 방법“, 양진석, 조호진, 강교철, 제28회 한국정보처리학회 추계학술발표대회, 제14권, 제2호, pp.307-310.
  • 모바일 어플리케이션 영역의 클라이언트 개발에 적용 가능한 소프트웨어 아키텍처 패턴 설계“, 조호진, 양진석, 2007 한국정보과학회 학술발표대회, 제34권, 제2호(B), pp.114-119.

 

back to staff page.