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