소프트웨어 아키텍처 연구실

Welcome to Software Architecture Laboratory !

About Us

Software architecture is now understood by many as the center around which the whole software development should be carried out for efficient development of high quality software. For that, however, there should be many accompanying methods and techniques that enable utilization of software architecture.

The central areas of interest of Software Architecture Lab, therefore, include practical and rigorous architecture description languages, analysis and reasoning techniques at the software architecture level and automation and verification methods for architecture-driven software development.

To Contact Us

Tel: +82-42-350-7712, E-mail: sungwon.kang at kaist.ac.kr