Master Theses List
1±â
Yoon-Sik Shin
Applications of Modified Petri Nets to Design Representation of A Distributed Software System
Myoung-Whan Lee
Evaluation of Program Test Methods using Mutation Analysis
Byoung-Ill Choi
Design and Implementation of an Experimental Programming Support System
Soon-Ju Kang
A Prolog-based Tool for Analyzing Software Requirements
Jae-Myoung Kim
Evaluation of Rapid Prototyping Specification Approach
Jang-Seon Lee
A Study on State Recovery without Domino Effect
Og-Soo Lim
A Study On Data Flow Based Path Testing Strategy
Eun-Man Choi
Construction of Interated Testing Tools using Attribute Grammar
Kwan-Hee Kang
Software Cost Estimation for The Microprocessor-embedded System : A Case Study
Yong-Kee Paek
Design and Implementation of A Data Dictionary Manager for Structured Analysis
2±â
Dae-Soon Kim
Implementation of Integrated Testing Tool(INTESTER) using Attribute Grammars
Myung-Ho Kim
Incorporation Abstraction Mechanisma into a Logic Programming Language
Sung-Hwan Lee
Jin-Woo Kim
An Experimental Programming Support System based on a Syntax Directed Editor
Sang-Hack Han
Modeling on Information for Software Quality Management
Ik-Joo Han
A Study on a Static Analyzer for Concurrent Programs
Dong-Hwan Kim
A Study on Automation of Structured Analysis Techniques
Hwan-Chul Kim
Modeling and Analysis of SDL Representations using Extended Numerical Pertri Net
Jang-Soo Lee
A Study on Rapid Prototyping in SDL Environment
Dae-Nyung Chon
3±â
Mi-Sook Kim
Design of a Concurrent Software System Using Data Flow Diagrams
Young-Eae Kim
Application of the UNIX File System for Software Development and Management
Jang-Su Kim
A Study on Software Restructuring by Design Transformations
Jong-Heui Lee
Constructing an Executable Specification from Data Flow Diagrams using Vienna Definition Language
Shin Cha
A Study on Application of the Assertion Techniques to Analysis of Software Requirements
Jeong-Hoon Choi
Implementation of a Software Requirements Analyzer in Prolog
4±â
Sun-Sup So
Data Flow Analysis of the C Programs Using Program Transformation and the State Transition Diagram
Sang-Sup Song
A Study on an Improved UNIX Programming Environment Incorporating Software Design Structure
Se-Hwan Ahn
Extension of A Module Interconnection Language for Design Stability
Young-Gon Lee
A Study on Identification of Reusable Software Components
Sung-Hee Lee
Executable Software Specification Using UNIX Shell
Yong-Kyu Lee
Design and Implementation of a Software Instrumentation Tool Based on Attribute Grammar
You-Hyun Lee
Extension of Troff Using Document Block Concepts
Eun-Ki Lim
A Study on Implementation Scheme of a Syntax-Directed Program Editor
Ji-Nee Choi
5±â
In-Joon Yeo
A Study on Incorporating Attributes into the Dependency Rules for the MAKE Program
Young-Ju Kim
A Study on Type Checking in the Structure-oriented Editing Environment
Ho-Kyoung Lee
A New Hybrid Complexity Measure Based on Program Path and Data Flow Information
Young-Soon Cho
Design of a Specification Language for Displaying Multiple Views of the Program
In-Sang Chung
A Study on the Test Data Generation Based on the Dynamic Analysis of Specifications
Kyung-Soo Ham
An Executable Specification Language for Constructing an Executable Specification from Data Flow Diagrams
6±â
Chan-Jung Park
Extension of the USE Specification Language to Support Direct-Manipulation styles for the User Interfaces
Wan-Kwon Lee
Static Analysis of Program Codes and Generation of Makefile using Nodule Interconnection Language
7±â
Han-Soo Kim
Design and Implementation of a User Interface Builder
Hyeon-Soo Kim
Design of Visual Language and Graphical User Interface for Arithmetic Lesson
Jeong-Sik Cho
Design of a Hangul font Generation Support System Using Structural Information of Hangul
Myung-Sub Chang
A Study on Classification Schemes and Retrieval method of Software Components for Reuse
Jae-Hoon Choi
Software Configuration management Using Augmented System Graph
8±â
Heum-Geun Kang
Extension of Formal Specification Notation Z to Describe Services in Intelligent Network
Won-Wu Yi
A Knowledge-Based Approach to Software Configuration Management
Suk-Min Yoon
On-line Alphanumeric Character Recognition by Turning-point Extraction based on 4 Axes
9±â
Sung-Kuk Khang
Design of a Software Testing Environment Based on Process Programming
Joon-Soo Bae
10±â
Deog-Soon Lee
Concurrency Control for Program Team Debugging
Woo-Jin Lee
A Study on the Analysis of Petri-net Based Distributed Software Process Model
11±â
Hyun-Seop Bae
An Efficient Debugging Method for Message-Based Parallel Programs using Static Analysis Information
Hyoung Seok Hong
Testing of Object-Oriented Programs Based on Finite State Machine
12±â
Heung-Suk Chae
Restructuring of Classes and Inheritance Hierarchy in Object-Oriented Systems
Seung-Mo Cho
Safety Analysis Using Coloured Petri nets
Yong-Seop Lim
Task Allocation Based on Precedence Relations for Distributed Real-Time Systems
Research Topics
/
www@salmosa.kaist.ac.kr