• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -2
• /
• pp.920-923
• /
• 2002

In this paper, we propose Class Diagram With Constraints (CDWC) as an object oriented modeling technique which makes validation possible in software development. CDWC is a simple and basic model for the object oriented analysis, and has a reasonable strictness for software developers. CDWC consists of class diagrams and constraints (invariant and pre/post conditions), using UML and a subset of OCL.. We introduce a method of validation of CDWC using the verification technique of algebraic formal specification language CafeOBJ.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2009년도 춘계학술대회 논문집
• /
• pp.845-846
• /
• 2009

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권11호
• /
• pp.1102-1111
• /
• 2003

스프레드시트는 사용하기 쉽기 때문에 가장 널리 사용되는 프로그래밍 도구이지만, 아직까지 스프레드시트 응용프로그램 개발에 객체지향 기술을 적용하려는 시도는 상대적으로 적었다. 일반적으로 스프레드시트 응용프로그램은 내부에 많은 오류를 포함하고 있으며, 재사용성이 낮고, 유지 보수가 어려운 단점을 가지고 있다. 이러한 문제를 해결하기 위해서 본 논문에서는 XCEL이라는 객체지향 스프레드시트를 소개한다. XCEL은 스프레드시트 응용프로그램을 체계적으로 개발하기 위한 데이타 모델링 방법과 스프레드시트에서 객체지향 프로그래밍을 표현하기 위한 방법을 지원한다. XCEL은 데이타 모델링에서 XML과 플로우차트를 이용해서 클래스를 정의하고, 스프레드시트에서는 연속된 셀들의 영역을 이용해서 객체들을 표현한다. XCEL을 이용하면 스프레드시트 응용프로그램 개발에 객체지향 기술들을 그대로 적용할 수 있는 장점이 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권7호
• /
• pp.883-900
• /
• 2004

재사용성과 확장성을 높이는 객체지향 개발이 보편화되면서 새로운 소프트웨어를 개발할 경우 기 개발되어 검증된 객체지향 산출물을 재사용함으로써 개발기간을 단축하고 품질을 향상할 수 있다. 이렇게 성능이 검증된 기 개발된 객체지향 산출물을 이용하여 컴포넌트 기반 모델로 변환하면 짧은 기간에 고품질의 컴포넌트 기반 시스템을 구축할 수 있다. 본 논문에서는 이미 개발되어 있는 객체지향 설계 모델을 이용하여 컴포넌트 기반 설계로 변환하되 변환의 정확성을 위해 정형명세 기법을 사용한다. 컴포넌트 기반 설계를 정형명세하기 위해 컴포넌트 정형명세 언어를 정의한다. 그리고 객체지향 설계의 정적, 동적, 기능적 측면을 정형명세 언어 Object-Z를 사용하여 정형명세하는 기법을 제시한 후, 객체지향 정형명세를 컴포넌트 정형명세로 변환하는 기법을 제시한다. 사례연구는 제시된 변환 기법을 적용하여 객체지향 정형명세가 컴포넌트 기반 정형명세로의 변환과정을 설명한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권10호
• /
• pp.912-924
• /
• 2003

설계 재구조화는 설계 구성 요소들을 재조직함으로써 품질을 향상시켜 소프트웨어 유지보수 비용을 줄인다. 객체지향 메트릭은 설계 결함을 발견하고 설계 구성 요소들을 재조직하기 위한 변형을 찾는데 도움을 제공한다. 기본적으로 이러한 설계 변형은 초기 시스템의 행위를 보존해야 한다. 본 논문에서는 객체지향 설계 행위를 보존하는 메트릭 기반 재구조화 기법을 집합론에 기반하여 기술하고, 자바로 작성된 응용 프로그램에 적용하여 유효성을 확인한다. 그리고 재구조화의 효과성을 확인하기 위하여 시뮬레이티드 어닐링(simulated annealing) 알고리즘을 사용한 방법과 비교한다.

• Journal of Information Technology Applications and Management
• /
• 제11권4호
• /
• pp.121-132
• /
• 2004

This paper surveyed 30 system designers and developers who had been participating in a project for five months to examine the usefulness of design artifacts for object-oriented system development. A set of nine requirement and design documents was selected in consideration of the IEEE guidelines. Overall the respondents appeared to agree that the artifacts were useful for system development. On the other hand, the contribution of design artifacts to maintenance was rated lower due to the frequent changes over the iterative process. Of the artifacts, considered more useful were use case specifications, UI design and operation specifications. The respondents were the most reluctant to write test cases. Designers did not like to document more details in the design artifacts than did developers. A future study is required to determine the economics end change management of documentation.

• Journal of Information Technology Applications and Management
• /
• 제11권3호
• /
• pp.147-159
• /
• 2004

Empirical evidence on the maintainability of object-oriented systems is far from conclusive, partly due to lack of representativeness of the subjects and systems used in the study. The present research empirically examined this issue with the systems that are mission-critical. currently operational and maintained by professionals. It was found that the 00 group appeared to consume less time while maintaining more amount of software artifacts than the NOO counterpart. This economical utilization of time appeared evident regardless of software development life cycle. This was due to the usefulness of UML for impact analysis which contributed to effective comprehension and communication. Insufficient design specifications led to ambiguity and costly defects in transferring design solutions to development. Also. the encapsulation of 00 seemed to reduce mental loads at maintenance tasks and improved code reuse. However, the number of files to manage increased and thus. dependency management is required for the 00 systems.

• 시스템엔지니어링학술지
• /
• 제2권2호
• /
• pp.21-26
• /
• 2006

In modern systems technology, increasingly more systems are anticipated to operate in real-time environment. These systems are usually complex to implement since it is not easy to satisfy the real-time requirement for both hardware and software components simultaneously. In this paper, we first review an object-oriented development process that was proposed earlier for software-intensive real-time system using the Unified Modeling Language (UML). We then study how to improve the problems that the UML approach might have. Applying the systems engineering(SE) process yields useful results which include : 1) an improved requirements management over the whole system life-cycle ; 2) a detailed scenario on how to carry out the SE process ; and 3) a conversion process from the text-based requirements to the UML-based graphic ones.

• 한국전자거래학회지
• /
• 제8권2호
• /
• pp.113-129
• /
• 2003

컴포넌트 기반 소프트웨어 개발(CBSD: Component Based Software Development)이 재사용을 통한 소프트웨어 개발의 효율적인 방법으로 인식되고 있다. CBSD의 목적은 새로운 시스템을 개발하고자 할 때 검증된 컴포넌트, 검증된 업무 로직을 재사용 함으로써 개발 기간을 단축하고 품질을 향상하고자 하는 것에 있다. 본 논문에서는 기 존재하는 객체지향 어플리케이션을 폐기하지 않고, 이를 기반으로 재사용 성이 높은 컴포넌트로 추출하기 위하여, 컴포넌트 추출을 위한 메트릭과 인터페이스 추출 방안을 제시하였다. 클래스간의 관계 정보를 이용하여 복잡도, 응집도와 결합도를 측정하고, 이의 결과를 이용하여 후보 컴포넌트를 추출한다.

• 대한전기학회논문지:전력기술부문A
• /
• 제55권7호
• /
• pp.297-305
• /
• 2006

This paper summarizes a development of visualization software for protective engineering in low-voltage power systems. The study is concentrated on the following aspects. First, a software engineering method is applied for designing the object-oriented program. The design and implementation of a Graphic User Interface(GUI) and its integration to a power system framework are developed using object-oriented programming(OOP) in Visual C++. Second, we develop the short circuit analysis module that oriented a low-voltage power system. It is possible to calculate a peak, symmetrical RMS, DC component and asymmetrical fault currents for each time. And it is the first software that can calculate the fault current for single branch of three-phase system. The calculation accuracy is compared with commercial software, and the libraries of low-voltage components are served for convenience use. Third, protective engineering functions are equipped. It is possible to automatically select the circuit breaker which based on the user input characteristics and the fault current calculation and examine the protective coordination. Through the case study, we verified that the developed software can be effectively used to examine the protective engineering in low-voltage power systems.