Software Development and Verification Methdologies Lab
소프트웨어 개발검증 연구실@충북대학교
[Github] [YouTube]
[Google Map]
We study the principles of computing and phenomena of software engineering to understand how unreliable or insecure software is produced and threatening in our society. We aim to resolve this software quality problem by creating techniques, tools, methodologies and pedagogies that enhance the ability of developers in writing, debugging and verifying software.
SDEV 연구실은 우리 사회의 안전을 위헙하는 소프트웨어 불량 문제를 막기 위해 소프트웨어 엔지니어링 현상과 컴퓨팅 원리를 탐구합니다 / 안전하고 이로운 소프트웨어를 만들기 위한 개발 및 검증 기술, 도구, 방법론, 교육법을 만듭니다 / 우리 사회를 유연하고도 든든하게 연결하는 소프트웨어 엔지니어링 기술을 연구합니다 / 새로운 소프트웨어 엔지니어링을 열어 갈 소프트웨어 품질 엔지니어(Software Quality Engineer), 소프트웨어 분석 전문가(Software Analyst), 소프트웨어 기술 연구자(Research Scientist in Software Engineering)를 기릅니다.