박수진 조교수 |
전공: 소프트웨어 공학 연구분야: 요구공학, 빅데이터 컴퓨팅 연구실: BW 616 02-705-4743 |
박수진 조교수
1. 경력사항
[학력]
- Ph.D. 서강대학교 컴퓨터공학/소프트웨어공학 세부전공, 2008.
- M.A. 서강대학교 정보통신대학원/정보처리 전공, 2000.
- B.A. 경북대학교 컴퓨터공학, 1995.
[경력]
- 2010.03 ~ 현재 서강대학교 기술경영전문대학원, 조교수
- 2010.03~2012.02 서강대학교 서강미래기술연구원 조교수
- 2008.07~2010.2 국방소프트웨어연구소 연구교수
- 2008.04~2008.06 서강대학교 BK사업단 박사후 과정
- 2000.01~2002.12 한국래쇼날소프트웨어 책임컨설턴트
- 1995.01~1999.12 LG-CNS 근무
[교외활동]
- 2011.01~현재 한국소프트웨어공학 소사이어티 이사 및 운영위원
- 2011.01~현재 한국소프트웨어공학 학술대회 학술위원 및 조직위원
- 2019.09 RE(Requirements Engineering) 2019’, Local Arrangement Co-chair
- 2016.11 APRES2016 (The Third Asia-Pacific Requirements)Engineering Symposium) program committee member
[수상 및 표창]
- 2015.01 한국 소프트웨어공학 학술대회 우수단편논문상
- 2014.02 한국 소프트웨어공학 학술대회 우수논문상/ 우수단편논문상
- 2004.02 한국 소프트웨어공학 학술대회 최우수논문상
2. 담당과목
- 학사 : 빅데이터 컴퓨팅
- 석사 : 기술경영을 위한 프로그래밍 실습/ 빅데이터 분석을 위한 컴퓨팅 실습/ 빅데이터 컴퓨팅 프로젝트/ 산학연계프로젝트 I/ AI 기반 산학연계 프로젝트
3. 학술활동
[Journal Articles]
Year |
Title | Journal |
2019 | A Cloud-based Middleware for Self-Adaptive IoT-Collaboration Services (SCIE) | Sensors |
Value-driven use cases triage for embedded systems: A case study of cellular phone(Scopus) | International Journal of Advanced Computer Science and Applications | |
Software Requirement Specification Based on a Gray Box for Embedded Systems: A Case Study of a Mobile Phone Camera Sensor Controller(Scopus) | Computers | |
2018 | An Automatic User Activity Analysis Method for Discovering Latent Requirements: Usability Issue Detection on Mobile Applications(SCIE) | Sensors |
An Architecture Framework for Orchestrating Context-aware IT Ecosystems: A Case Study for Quantitative Evaluation(SCIE) | Sensors | |
2017 | IT 생태계의 지속적인 운영을 위한 동적 오케스트레이션 프레임워크(KCI) | 정보처리학회논문지: 소프트웨어 및 데이터 공학 |
EURECA: End-user requirements engineering with collaborative animation(SCIE) | Software-Practice Experience | |
2016 | Suggesting Alternative Scenarios Using Use Case Specification Patterns for Requirement Completeness(SCIE) | International Journal of Software Engineering and Knowledge Engineering |
모바일 앱에서의 사용자 행동 모델 기반 GUI 사용성 저해요소 검출 기법(KCI) | 정보처리학회논문지. 소프트웨어 및 데이터 공학 | |
2015 | A Reference Architecture Framework for Orchestration of Participants Systems in IT Ecosystems(Scopus) | Advances in Computer Science and Ubiquitous Computing |
Enhancing Conformance Testing Using Symbolic Execution for Network Protocols(SCIE) | IEEE Transactions on Reliability | |
클래스 특성 기계학습에 기반한 클래스 이름의 접미사 검증 기법(KCI) | 정보처리학회논문지:소프트웨어 및 데이터 공학 | |
A Generic Software Development Process Refined from Best Practices for Cloud Computing(SCIE) | Sustainability | |
Best Practices In Software Engineering For Saas-Cloud Era(Scopus) | Computer Science And Its Applications | |
The Sensors Connectivity within SCADA Automation Environment and New Trends for Security Development during Multicasting Routing Transmission(SCIE) | International Journal of Distributed Sensor Networks | |
2014 | 클래스의 직접 및 간접 결합도 메트릭을 이용한 소프트웨어 모듈화 방안(KCI) | 정보과학회논문지 : 소프트웨어 및 응용 |
Metrics for measuring the consistencies of requirements with objectives and constraints(SCIE) | Requirements Engineering | |
2013 | Resource versioning scheme in evolutionary software product line(Scopus) | International Journal of Software Engineering and Its Applications |
Validating the software process assessment model for korean military software industry(Scopus) | International Journal of Software Engineering and Its Applications | |
메소드의 매개변수 리스트의 간소화를 위한 리팩토링 방안 | 소프트웨어공학소사이어티논문지 | |
2012 | A statistical learning method for identification of analysis classes from requirements in korean(Scopus) | International Journal of Multimedia and Ubiquitous Engineering |
Domain Model of a Pattern Language for Class Responsibility Assignment for Information Systems(Scopus) | Computer Applications for Graphics, Grid Computing, and Industrial Environment | |
Automatic Identification of Candidate Analysis Classes in Korean Language by Semantic Information Extraction Technique | Advanced Science and Technology Letters | |
2011 | 사용자 행위 로그를 이용한 모바일 어플리케이션의 사용성 분석 기법(KCI) | 정보과학회논문지 : 소프트웨어 및 응용 |
멀티코어 기반의 어플리케이션 소프트웨어 아키텍처 대안 간의 성능비교 방안(KCI) | 정보과학회논문지 : 소프트웨어 및 응용 | |
임베디드 시스템을 위한 그레이-박스 기반의 소프트웨어 요구사항 명세 기법(KCI) | 정보과학회논문지 : 소프트웨어 및 응용 | |
A non-functional requirements traceability management method based on architectural patterns(Scopus) | Studies in Computational Intelligence | |
2007 | 로봇 시스템을 통한 목표와 시나리오 기반의 분석 방법 연구(KCI) | 한국정보과학회논문지 |
컴포넌트의 다면성과 서비스를 기반으로 하는 재사용 모델(KCI) | 한국정보과학회논문지 | |
2006 | A semi-automated filtering technique for software process tailoring using neural network(SCIE) | Expert Systems with Applications |
인공신경망 기반의 소프트웨어 개발 프로세스 테일러링 기법(KCI) | 한국정보과학회논문지 | |
2003 | CMM 기반의 통합된 소프트웨어 요구사항 관리 프레임워크(KCI) | 한국정보과학회논문지 |
[Patents]
Issue Date | Title | Patent number |
2019 | 자가 적응형 로봇 시스템 및 그의 오류 검출 방법 | 10-1961379 |
2017.12.13 | 모바일 어플리케이션의 사용성 저해 요소 분석 장치 및 방법 | 10-1810648 |
2017.11.24 | 멀티미디어 아키텍처 패턴 결정 방법, 싱글코어에서 멀티코어 기반으로의 아키텍처 전환 장치 및 방법 | 10-1803303 |
2017.02.21 | IT 생태계를 제어하는 장치 및 방법 | 10-1710710 |
2015.03.30 | 자산 기반의 요구사항 시뮬레이터 및 요구사항 관리 방법 | 10-1508496 |
2015.01.26 | 시퀀스 다이어그램의 생성 방법 및 시스템 | 10-1488188 |
2013.09.23 | 사용자의 행위 로그를 이용한 모바일 어플리케이션의 사용성 분석 장치 및 방법 | 10-1312446 |
2011.11.15 | 상태 기반의 요구사항 명세 생성 방법 및 장치, 그 기록 매체 | 10-1085357 |
2006.05.26 | 신경망을 이용한 소프트웨어 프로세스 테일러링 시스템 및 방법 | 10-0586503 |
[Research Projects]
Period | Title | Support Org |
2015.05~2016.12 | 소프트웨어 동적 재구성 및 고속 데이터 처리 최적 설계 효과 분석 연구 | 국방과학연구소 |
2012.07~2016.06 | 동적 자가 적응을 위한 집단 지성 기반 컴포넌트 설계 및 검증 기술 | (재)한국연구재단 |
2013.05~2016.02 | 자율지능형 지식/기기 협업 프레임워크 기술 개발 | 정보통신기술진흥센터 |
2012.06~2012.11 | SaaS-Cloud와 Big Data 시대의 SW공학에 대한 연구 | 정보통신산업진흥원 부설 SW공학센터 |
2012.05~2012.11 | SW 테스트 전문인력 양성 교육과정 및 교육교재 개발 용역 | 한국정보통신기술협회 |
2012.04~2013.03 | 안정적 서비스를 위한 자가 치유 및 동적 재배치 기술 | 인간기능 생활지원지능로봇기술개발사업단 |
2010.01~2012.12 | 융합 소프트웨어를 위한 요구 및 품질검증 기술 개발(4차년도) | 정보통신산업진흥원 |
2011.08~2011.11 | SW 테스트 전문 인력 양성 교육과정 개발용역 | 한국정보통신기술협회 |
2011.04~2012.03 | (SRF 1차) 개방형 아키텍처 기반의 도시형 스마트 무인 자동차 핵심 | 서강대학교 |
2010.03~2010.08 | Embedded Multi-Core System을 위한 요구사항 명세 기술 개발 | 삼성전자 |
2010.01~2010.12 | 융합 소프트웨어를 위한 요구 및 품질검증 기술 개발(2차년도 산업체대응) | (주)엔쓰리소프트 |
2010.03~2011.04 | 2010년 학과 자율제 특별연구 (서강미래기술연구원) | 서강대학교 |
2010.09~2010.05 | Nokia Device Software Update Process Transition | Nokia Corporation |
[Conference Papers]
Period | Title | Academic Conference |
2019.01.28 | Formal Specification Technique in Smart Contract Verification | International Conference on Platform Technology and Service |
2019.01.24 | Self-Adaptive System Verification based on SysML | 2019 International Conference on Electronics |
2018.06.22 | 인식 요구사항의 골 모델 분석을 통한 온톨로지 모델 자동생성 | 2018 ICT플랫폼학회하계학술대회 |
2018.01.11 | State Diagram Based IoT Ecosystem's IoT Device Conflict Problem Migration Method | The 32nd International Conference on Information Networking (ICOIN 2018) |
2016.12.21 | 행위모델 자동생성 기반의 로봇 소프트웨어 오류탐지 | 한국정보과학회제43회동계학술발표회 |
2016.07.01 | Requirement Verification Automation using Design Phase Output and Toolchain | The 6th International Conference on Convergence Technology 2016 |
2016.05.16 | ITE Arbitrator: A Reference Architecture Framework for Sustainable IT Ecosystems | 2016 4th International Workshop on Software Engineering for Systems-of-Systems (SESoS) |
2016.01.28 | 모바일 어플리케이션 GUI 사용성 저해요소 검출도구 | 제18회한국소프트웨어공학학술대회 |
2016.01.18 | A Case Study of Self-adaptive Software in the Dynamic Adaptive Multi-agent Systems | 3rd International Conference on Big Data and Smart Computing(Bigcomp 2016) |
2015.10.31 | EFSM 기반의 사용성 저해 요소 실시간 검출 기법 | 2015 한국정보처리학회추계학술대회 |
2015.10.28 | Self-adaptive Middleware Framework for Internet of Things | 2015 IEEE 4th Global Conference on Consumer Electronics (GCCE) |
2015.07.06 | A Middleware Framework for Leveraging Local and Global Adaptation in IT Ecosystems | 27th International Conference on Software Engineering and Knowledge Engineering (SEKE 2015) |
2015.01.30 | 안드로이드 플랫폼 기반의 IT생태계 자가 적응 프레임워크의 무인삼림관리 시스템 적용사례 | 제17회한국소프트웨어공학술대회 |
2015.01.30 | GUI 자가적응을 위한 모바이 어플리케이션의 사용성 저해요소 자동 검출 기법 | 제17회한국소프트웨어공학술대회 |
2014.10.30 | Bad Symptoms for Usability of Mobile Application | 2014 International Conference on IT Convergence and Security (ICITCS) |
2014.10.30 | A Multi-Core Architectural Pattern Selection Method for the Transition from Single-Core to Multi-Core Architecture | 2014 International Conference on IT Convergence and Security (ICITCS) |
2014.06.03 | Recommending Process Improvement Package using Direct and Indirect Relationships of Activities | The 4th International Workshop On Recommendation Systems For Software Engineering |
2014.02.14 | 메소드의 매개변수 리스트의 간소화를 위한 리팩토링 방안 | 제16 회 한국소프트웨어공학학술대회 |
2014.02.13 | 모바일 애플리케이션의 적응화 프로세스 | 3rd International Conference on Big Data and Smart Computing(Bigcomp 2016) |
2016.01.18 | A Case Study of Self-adaptive Software in the Dynamic Adaptive Multi-agent Systems | 제16 회 한국소프트웨어공학학술대회 |
2014.02.13 | IT 생태계의 동적 변경 프레임워크 | 제16 회 한국소프트웨어공학학술대회 |
2013.11.29 | Evaluating the Capability Maturity Level for the Military Software in Korea | The 2nd International Conference on Convergence and Its Application |
2013.11.28 | Pattern-Based Model Refactoring for Context Awareness in Mobile Software | The 2nd International Conference on Convergence and Its Application |
2013.11.27 | ADS: Architectural Decision Supporter | The 2nd International Conference on Convergence and Its Application |
2013.11.27 | Adaptive Code Updates for Depreciated APIs | The 2nd International Conference on Convergence and Its Application |
2013.06.28 | Reverse Engineering of Sequence Diagrams by Merging Call Trees | 25th International Conference On Software Engineering And Knowledge Engineering(SEKE 2013) |
2013.02.01 | 역공학을 위한 호출 트리 통합 기법 | 2013 한국소프트웨어공학학술대회 |
2012.07.05 | Value-based Prioritization of Use Case in Embedded Systems | The 7th Asia Pacific International Conference on Information Science and Technology |
2012.03.31 | Applying Gray-Box based Software Requirements Specification Method to a Robot Patrolling System | International Conference on Computer and Applications |
2011.11.25 | 컴포넌트의 다면성 명세 기반의 소프트웨어 자원관리 지원 도구 | 2011 한국정보과학회추계학술대회 |
2011.02.10 | 멀티코어 기반의 멀티미디어 어플리케이션 성능 향상을 위한 소스코드 클러스터링 기법 | 2011 한국소프트웨어공학학술대회 |
2010.02.09 | 상태 기반의 요구사항 명세 및 코드 생성 방안 | 2010 한국소프트웨어공학학술대회 |
2010.5.13 | State Based Requirements Specification and Code Generation Method for Embedded Systems | The 5th International Symposium on Embedded Technology |
2009.02 | 비즈니스 어플리케이션을 위한 분석모델 자동 생성 패턴 | 한국소프트웨어공학학술대회 |
2007.03 | Extending Reusable Asset Specification to Improve Software Reuse | The 22(nd) Annual ACM Symposium on Applied Computing |
2004.02 | 학습이론을 이용한 소프트웨어 개발 프로세스 테일러링 기법 | 2004 한국 소프트웨어공학 학술대회 |