Earticle

현재 위치 Home 검색결과

결과 내 검색

발행연도

-

학문분야

자료유형

간행물

검색결과

검색조건
검색결과 : 20
No
1

4,000원

2

SETL을 이용한 소프트웨어의 컴포넌트 기반 융복합 개발 방법 KCI 등재

유홍준, 양해술

한국디지털정책학회 디지털융복합연구 제13권 제6호 2015.06 pp.165-175

※ 기관로그인 시 무료 이용이 가능합니다.

4,200원

정보 시스템을 구현하는 프로그램을 설계하는 방법은 Flowchart에서 UML의 Activity Diagram에 이르기까지 다양하다. 하지만, 이제까지 개발된 프로그램 설계 도구와 방법은 프로그램 코딩 도구와 방법에 비해서 상대적으로 효율적이지 않았다. 또한 프로그램 설계와 코드 간의 쌍방향 절환이 용이하지 않아 개발 생산성과 유지보수성을 개선 하는 데 한계가 있었다. 따라서 본 연구에서는 컴포넌트 기반의 SOC(Structured Object Component)을 지원하는 설계 및 코딩 융복합 자동화 도구 SETL(Structured Efficiency TooL)의 개발을 통해 프로그램 설계와 코딩 단계를 융복합하 여 병렬적인 작업이 가능하도록 하는 융복합 개발 방법을 제안한다. 즉, SETL을 사용하면 프로그램 설계와 코딩 간 의 절환을 거의 실시간으로 수행할 수 있어, 소프트웨어 개발 공정 단계간의 격차를 해소하여 개발 생산성 및 유지보 수성을 극대화 할 수 있다.

Methods to design programs which implement IT systems have been developed in various forms from flowchart to activity diagram of UML. However, program design tools and methods developed so far have not been efficient comparing to program coding tools and methods. In addition, Program design methods and tools developed until now have been difficult to support the bidirectional conversion between program design and coding, and the improvement of development productivity and maintainability. Therefore, in this study, we propose Convergence Development Method to enable working with wide bandwidth through fusing the program design and coding phase by using SOC and supporting tool named SETL which automatizes the convergence of design and coding. Thus, by using SETL, it is expected that the efficiency gap between the program design and coding phase is reduced, and development productivity and maintainability is increased. key words.

3

Model Driven Engineering for Crop Monitoring Applications SCOPUS

Haeng-Kon Kim

보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.10 No.6 2016.06 pp.125-140

※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.

Along with the boom of Mobile services and the thriving Model Driven Architecture (MDA), we must consider the growing significance and utility of modeling in the development of software and solutions. The main advantages of MDA are the ability to transform one PIM into several PSMs, one for each platform or technology in which the final system will be deployed, and the automatic code generation that implements the system for those platforms from the corresponding PSMs. Service-oriented architectures (SOA) are also touted as the key to business agility, especially when combined with a model-driven approach. Model-Driven Architecture (MDA) is a well-developed concept that fits well with SOA, but until now it has been a specialized technique that is beyond practical application scope of most enterprises. Model driven and Domain engineering is the foundation for emerging “product line” software development approaches and affects the maintainability, understandability, usability, and reusability characteristics of family of similar systems. However, the existing domain engineering methods do not elicit information necessary for the Component-based Software Development process, such as, selecting and configuring appropriate components. In this paper, we suggest a method that systematically defines, analyzes and designs a crop monitoring frameworks domain to enhance reusability effectively in Model Driven Engineering and Component-based Software Development. For this, we extract information objectively that can be reused in a crop monitoring domain from the requirement analysis phase. We sustain and refine crop monitoring information, and match them to artifacts of each phase in domain engineering. Through this method, reusable domain components and malleable domain architecture can be produced. In addition, we show the practical applicability and features of our approach via a new clouding and IOT technology.

4

Component Based Software Engineering in Student Management System Domain : A Development for Reuse Approach SCOPUS

Olubukola D. Adekola, Sunday. A. Idowu, Adewale O. Adebayo.

보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.10 No.9 2016.09 pp.149-162

※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.

Component-Based Software Engineering (CBSE) research is an important emerging area of Software Engineering (SE) that supports and enhances evolution of reusable components useful for creation of software solutions. CBSE has assumptions that components exist in repositories, but this is usually not the case. That is, components are in want. The aim of this work is to design and build generic software components for student management system domain using object oriented methods. Analysis of major school management system functions, data and behaviours was done. Also, pattern-based domain engineering was conducted so as to identify structure points. This led to factoring out generically reusable components. Student management system components were created for implementation using a general-purpose distributed Component-Based Software Development technology model. Consequently, a framework for implementing student management system and related systems was provided. This would contribute to the body of the emerging CBSE practices.

5

Component-Based Software Development Environment using Information Structure Modeling Methodology.

배정미, 윤용익, 박재년

[Kisti 연계] 한국정보처리학회 한국정보처리학회 학술대회논문집 2000 pp.1001-1006

※ 협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.

원문보기

90년대 이후 새로운 소프트웨어 개발 방법론으로 객체 지향 방법론이 새로운 패러다임으로 등장한 후 최근에는 컴포넌트 기반 개발 방법 등이 소개되어 다양한 분산 컴포넌트 기술이 태동되었다. 분산 컴퓨팅 환경 하에서의 컴포넌트 기술은 정보 시스템 구축 시 구성요소의 모듈화를 용이하게 하고 인터페이스를 통한 컴포넌트 재사용 성을 가능하게 하여 소프트웨어 생산성 향상에 크게 기여하였다. 본 연구에서는 OMG에 의해 제안된 표준 분산모델로서 코바 프레임워크를 기반으로 정보구조 모델링 방법론을 이용하여 컴포넌트를 구성하고 컴포넌트의 추출을 돕기 위한 컴포넌트 저장소 명세서, 분산 어플리케이션 개발 프로세스 절차를 제안 하고자 한다.

6

Domain Architecture Design for Component-Based Software Development(CBD)

하현주, 염근혁

[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2000 pp.495-497

※ 협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.

원문보기

CBD(Component-Based Development)는 이미 존재하는 소프트웨어 컴포넌트를 조립함으로써 시스템을 개발하는 방법이다. 컴포넌트를 이용하여 시스템을 개발하는 것은 개발시간과 비용을 줄이고, 생산성을 향상시키는 등 여러 가지 장점을 가진다. 그러나 여러 벤더에 의해 개발된 컴포넌트를 조립하는 것은 쉬운 일이 아니다. 이를 위해 컴포넌트가 어떤 문맥에서 사용되는지 이해하는 것이 필요하며 이 문맥은 아키텍쳐에 의해 결정된다. 따라서 본 논문에서는 컴포넌트 기반 개발을 위한 도메인 아키텍쳐를 제안한다. 도메인 아키텍쳐는 도메인을 구성하는 컴포넌트와 그들간의 관계에 대한 정보를 제공함으로써, 어플리케이션 개발을 쉽게 한다. 또한 도메인 아키텍쳐는 관련된 여러 시스템을 위한 아키텍쳐이므로, 도메인 아키텍쳐 상의 컴포넌트는 재사용이 높다.

7

Development of software for computing forming information using a component based approach

Ko, Kwang-Hee, Park, Jung-Seo, Kim, Jung, Kim, Young-Bum, Shin, Jong-Gye

[Kisti 연계] 대한조선학회 International journal of naval architecture and ocean engineering Vol.1 No.2 2009 pp.78-88

※ 협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.

원문보기

In shipbuilding industry, the manufacturing technology has advanced at an unprecedented pace for the last decade. As a result, many automatic systems for cutting, welding, etc. have been developed and employed in the manufacturing process and accordingly the productivity has been increased drastically. Despite such improvement in the manufacturing technology, however, development of an automatic system for fabricating a curved hull plate remains at the beginning stage since hardware and software for the automation of the curved hull fabrication process should be developed differently depending on the dimensions of plates, forming methods and manufacturing processes of each shipyard. To deal with this problem, it is necessary to create a "plug-in" framework, which can adopt various kinds of hardware and software to construct a full automatic fabrication system. In this paper, a framework for automatic fabrication of curved hull plates is proposed, which consists of four components and related software. In particular the software module for computing fabrication information is developed by using the ooCBD development methodology, which can interface with other hardware and software with minimum effort. Examples of the proposed framework applied to medium and large shipyards are presented.

8

Component-based Development of Observational Software for KASI Solar Imaging Spectrograph

Choi, Seonghwan, Kim, Yeon-Han, Moon, Yong-Jae, Cho, Kyung-Seok, Park, Young-Deuk, Jang, Bi-Ho, Kim, Su-Jin, Kim, Kap-Sung

[Kisti 연계] 한국천문학회 한국천문학회보 Vol.30 No.1 2005 p.28

※ 협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.

9

COMPONENT-BASED DEVELOPMENT OF OBSERVATIONAL SOFTWARE FOR KASI SOLAR IMAGING SPECTROGRAPH

Choi, Seong-Hwan, Kim, Yeon-Han, Moon, Yong-Jae, Choi, Kyung-Seok, Park, Young-Deuk, Jang, Bi-Ho, Kim, Su-Jin, Kim, Kap-Sung

[Kisti 연계] 한국천문학회 Journal of The Korean Astronomical Society Vol.38 No.4 2005 pp.463-470

※ 협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.

원문보기

In this paper, we have made the component-based development of observational software for KASI solar imaging spectrograph (KSIS) that is able to obtain three-dimensional imaging spectrograms by using a scanning mirror in front of the spectrograph slit. Since 2002, the KASI solar spectrograph has been successfully operated to observe solar spectra for a given slit region as well as to inspect the response functions of narrow band filters. To improve its capability, we have developed the KSIS that can perform sequential observations of solar spectra by simultaneously controlling the scanning mirror and the CCD camera via Visual C++. Main task of this paper is to introduce the development of the component-based software for KSIS. Each component of the software is reusable on the level of executable file instead of source code because the software was developed by using CBD (component-based development) methodology. The main advantage of such a component-based software is that key components such as image processing component and display component can be applied to other similar observational software without any modifications. Using this software, we have successfully obtained solar imaging spectra of an active region (AR 10708) including a small sunspot. Finally, we present solar $H{\alpha}$ spectra ($6562.81{\AA}$) that were obtained at an active region and a quiet region in order to confirm the validity of the developed KSIS and its software.

10

Recent Trends Software Engineering for Mainstream Business Applications - Model-Based, Pattern-Based and Component-Based Development -

박준성

[Kisti 연계] 한국경영과학회 한국경영과학회 학술대회논문집 1999 p.459

※ 협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.

11

UML에 기반한 CBSD Process의 Work Flow Model

임성빈, 송치양, 문창주, 백두권

[Kisti 연계] 한국정보처리학회 한국정보처리학회 학술대회논문집 2000 pp.842-845

※ 협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.

원문보기

컴포넌트라는 소프트웨어 개발 기술에 대해서 중요성이 점점 높아만 가고 있는 가운데, 이 컴포넌트 기술를 이용하여 효율적이고, 실용적으로 소프트웨어를 개발 할 수 있도록 컴포넌트 기반의 소프트웨어 개발 방법에 대하여 연구 제시한다. 즉, 컴포넌트가 가지고 있는 구성요소로서 인터페이스라는 것이 있는데 이 인터페이스와 컴포넌트를 이용해서 만들고자 하는 시스템에 대한 요구사항에 맞게 분석 및 설계를 하고, 만들고자 하는 시스템과 컴포넌트의 투명성을 보여 줄 수 있는 방법에 대해서 Work Flow Model과 각각의 프로세스에 의해서 만들어지는 산출물을 통해서 컴포넌트 기반의 소프트웨어 개발 프로세스에 대해서 제시를 한다.

12

컴포넌트 기반 소프트웨어 개발에서 프로그램 이해 연구 (SE기술워크삽: 산학연 연구개발사례 및 기술 소개 발표 요약문)

최은만

[Kisti 연계] 한국정보과학회 정보과학회논문지 Vol.13 No.3 2000 pp.71-78

※ 협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.

원문보기

컴포넌트 기반으로 소프트웨어를 개발해 나가는 기술에서는 컴포넌트의 특성을 파악하고 이를 적당한 곳에 적절히 구성하는 작업이 중요하다. COTS, 즉 패키지로 구입할 수 있는 대부분의 소프트웨어 컴포넌트는 블랙박스 형태로 제공된다. 따라서 COTS 컴포넌트를 블랙박스로 이해할 수 있는 모델과 효과적으로 이해할 수 있도록 프로세스 지원이 필요하다. 이 논문에서는 유지보수 단계를 전제로 한 프로그램 이해 모델을 살펴보고 컴포넌트 이해에 맞는 멘탈 모델은 어떤 것인지 살펴보았다. 대규모 컴포넌트로서 어떻게 패키징 되었는지를 나타내는 측면뿐만 아니라 컴포넌트가 어떤 서비스를 제공하는지를 나타내는 인터페이스 측면, 컴포넌트의 통합적 구성 측면이 멘탈 모델에 잘 표현되어 있어야 한다. 이런 조건을 잘 만족하는 모델로서 하드웨어 컴포넌트를 모방한 개념을 소개하였고 소프트웨어 컴포넌트에도 잘 적용될 수 있음을 보였다.

13

컴포넌트 개발기법 비교 연구

김현주, 서동수

[Kisti 연계] 한국정보처리학회 한국정보처리학회 학술대회논문집 2000 pp.523-526

※ 협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.

원문보기

컴포넌트는 소프트웨어의 재사용의 극대화를 통해 소프트웨어 제품의 생산성과 안정성을 제공해 줄 수 있는 방안으로 인식되고 있다. 컴포넌트 개발기법은 컴포넌트 개발 시 컴포넌트를 추출하고, 개발되는 각 컴포넌트간의 연결하며, 구현된 컴포넌트 어플리케이션에서 사용할 수 있도록 한다. 본 논문에서는 현재 주요한 컴포넌트 개발 방법론으로 거론되는 UML, 카타르시스 방법론, CBD96 의 내용을 비교 분석한다.

14

TMN 컴포넌트 기반 소프트웨어 개발을 위한 망 장애해결 Use Case 모델링

김효수, 신정길, 이용권, 백청호

[Kisti 연계] 한국정보처리학회 한국정보처리학회 학술대회논문집 2003 pp.751-754

※ 협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.

원문보기

통신산업환경의 변화 즉 통신시장의 개방화, 글로벌화 및 경쟁체제의 돌입으로 통신사업자는 기존의 단위시설의 운용관리 개념에서 네트워크관리, 서비스관리, 사업관리개념으로 통합 발전되고 있는 국제 표준권고의 통신망의 운용 경영 방식인 TMN(Telecommunications Management Network)에 부합한 개방형 운용정보공유 및 일원화된 통신망 운용관리시스템 구축 및 관리로 전환하려는 추세이다. 본 연구에서는 TMN 컴포넌트 기반 소프트웨어 개발을 위한 망 장애 해결 Use Case 모델링을 설계하였다.

15

다중 사용자 환경에서의 아키텍쳐 기반 컴포넌트 소프트웨어 개발

김상길, 안치돈, 왕창종

[Kisti 연계] 한국정보처리학회 한국정보처리학회 학술대회논문집 2000 pp.761-765

※ 협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.

원문보기

CSCW 시스템은 정보 공유 구조에서 필수적인 기술로 자리잡고 있으며, 이를 위한 사용자간 공동작업 기능과 정보 공유 기능이 목표가 되고 있다. 이 연구에서는 기존의 아키텍쳐 기반 컴포넌트 검색 시스템의 다중 사용자 환경으로의 확장을 고려하였다. 다중 사용자 환경에서 새로운 소프트웨어 개발을 위한 소프트웨어 아키텍쳐 설계 과정에서 개발자들의 서로 다른 관점에서의 의견을 최대한 반영할 수 있는 방법으로 다중 계층 소프트웨어 아키텍쳐 구조를 제시하였다. 다중 사용자 환경에서 사용자간 공동작업과 그룹관리를 위해 세션관리자를 두었으며, 저장소에 저장되어 있는 아키텍쳐와 컴포넌트의 사용자 인터페이스 명세에 버전 정보를 추가함으로써 공동작업에서 사용자들에게 참조를 제공한다. 소프트웨어 아키텍쳐 설계 과정에서 생성된 새로운 아키텍쳐는 아키텍쳐 저장소와 컴포넌트 저장소에 버전 정보와 함께 추가됨으로써 이후의 소프트웨어 개발을 좀 더 효율적으로 이루어질 수 있도록 하였다.

16

컴포넌트 기반 국방 소프트웨어 개발 프로세스간 산출물 공유 기법

조혜경, 고인영, 이준기, 박승진

[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2007 pp.28-32

※ 협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.

원문보기

RUP과 ADDMe는 국내 국방 도메인에서 가장 많이 사용되는 컴포넌트 기반 소프트웨어 개 프로세스이다. ADDMe는 RUP을 기반으로 만들어졌고 국방 컴포넌트 기반 소프트웨어 개발에 표준화되었다. 국방 도메인에서 소프트웨어 재사용 증진과 소프트웨어 이해를 돕기 위해서는 RUP과 ADDMe로 개발된 프로젝트 산출물 정보들의 검색 서비스를 제공해야 한다. 또한, 기존 이미 RUP로 개발된 것과 유사한 기능을 일부 제공하는 프로젝트를 ADDMe로 개발할 경우 현재 작성중인 ADDMe 산출물과 밀접히 연관된 기존 RUP 산출물을 검색한 후 재사용할 가능성이 크다. 이를 위해서는 RUP과 ADDMe 프로세스에 존재하는 산출물들 간의 상판관계 매핑이 먼저 요구된다. 그러나 이 두 프로세스들에 존재하는 산출물 연관성 매핑 연구가 현재 존재하지 않는다. 본 논문은 위의 두 프로세스들을 분석 비교하여 온톨로지 기반 산출물 분류를 수행한다. 그리하여, 본 연구는 두 프로세스 내의 산출물들이 의미적으로 서로 어떠한 연관 관계에 있는지 어떠한 정보를 포함하는지 파악할 수 있게 하여 산출물 검색을 통한 컴포넌트 재사용을 돕는다.

17

임베디드 소프트웨어 개발을 위한 국방 CBD 프로세스 테일러링

정경철, 이길섭, 이승종

[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2005 pp.334-336

※ 협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.

원문보기

유비쿼터스 시대에 진입하면서 임베디드 소프트웨어의 개발에 대한 관심이 높아지고 있다. 국방 분야에서는 국방무기 및 비무기 내장형 소프트웨어 관리지침과 공군에서 운영되는 항공무기 소프트웨어 개발 프로세스 등이 운용되고 있으며, 국방 CBD 방법론은 주로 응용체계 개발을 위한 컴포넌트 기반의 구체적인 방법론이다. 이러한 국방 CBD 방법론을 임베디드 소프트웨어 개발에 적용가능 여부는 발표되지 않았다. 따라서 본 논문에서는 임베디드 소프트웨어개발을 위한 국방 CBD 프로세스 테일러링 방안을 고찰하고자 한다. 이를 위하여 국방 무기 및 비무기 내장형 소프트웨어 관리지침에 근거한 조정, 임베디드 소프트웨어 개발 방식에 따른 조정 컴포넌트 및 객체 지향기술, 그리고 UML 기술 적용으로 구분하여 테일러링 방안을 제시한다. 그 결과 국방 CBD 방법론의 적용 범위의 확대 및 개발 프로세스의 표준화에 기여할 것으로 기대된다.

18

레거시 컴포넌트의 유지보수를 위한 AOSD 기반의 Component Connector

김경민, 김태웅, 김태공

[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2006 pp.244-246

※ 협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.

원문보기

소프트웨어 컴포넌트란 하나 이상의 기능을 갖는 독립적인 소프트웨어이며, 조림을 통해 응용프로그램을 작성할 수 있는 부품 형태의 소프트웨어를 말한다. 이미 개발되어진 컴포넌트에 기능을 추가하거나 확장하기 위해서는 새로운 컴포넌트를 개발하여 기존의 컴포넌트와의 조립을 통하여 이를 실현하거나 이미 개발되어진 컴포넌트를 수정해야 한다. 더구나 추가하고자 하는 기능이 컴포넌트의 내부에 흩어져 있는 경우에는 컴포넌트를 수정해야하는 단점이 있다. 이에 본 논문에서는 Aspect를 이용하여 컴포넌트의 기능 추가 및 확장을 가능하게 하는 컴포넌트들 간의 조립을 위한 Component Connector를 제안한다. 컴포넌트들 간의 조림정보를 표현하는 Component Connector 모델을 제시하고 요청된 조립 서비스를 수행하는 Component Connector의 실현 클래스를 정의한다. 이것은 컴포넌트 플랫폼 독립적인 모델로 나타내어지며 적용사례를 통하여 다양한 형태로의 플랫폼 종속적인 모델로 변환 가능함을 검증하고자 한다.

19

소프트웨어 아키텍쳐 기반의 컴포넌트 개발

윤석진, 김현수

[Kisti 연계] 한국정보처리학회 한국정보처리학회 학술대회논문집 2007 pp.190-191

※ 협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.

원문보기

본 연구는 소프트웨어 컴포넌트 플랫폼에 독립적으로 컴포넌트를 개발하여 소프트웨어 간에 상호 운용성과 이식성을 확보할 수 있는 컴포넌트 모델변환 기술과 소프트웨어 아키텍쳐를 기반으로 컴포넌트를 조립하여 소프트웨어를 생산할 수 있는 기술을 개발하는 것이다. 본 연구에서는 이러한 기술을 개발하기 위해 세부적으로 영역 전용 아키텍쳐 기술언어를 개발하고 아키텍쳐 기술 언어를 이용하여 개발된 응용 모델을 모델 기반 개발 방법으로 변환할 수 있는 변환 기술과 코드 생성 기술, 그리고 아키텍쳐를 구성하는 컴포넌트를 조립해 낼 수 있는 컴포넌트 조립 기술을 개발하고자 한다. 본 연구를 통하여 개발될 최종 결과물은 영역 아키텍쳐 기반 소프트웨어 개발 시스템 시제품의 개발이다.

20

시각적 컴포넌트 기반의 Embedded Application Software 개발 도구

김진현, 김지영, 이상한, 표창우, 김지인, 최진영, 송호엽, 손혁수

[Kisti 연계] 한국정보처리학회 한국정보처리학회 학술대회논문집 2000 pp.961-964

※ 협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.

원문보기

단위 자동화 시스템에 내장되어 운용되는 내장형 시스템의 응용 소프트웨어의 제작은 대부분 다년간 실무 경험을 갖고 있는 전문가들이 타겟 시스템의 목적과 기능 및 성능 명세를 작성하고 이를 구현함으로써, 개발 생산성이나 타겟 시스템의 신뢰성 향상이 곤란하다. 또한 개발의 마지막 단계에서 테스트를 통해 오류를 발견하게 되고 이로 인해 대부분 앞 단계로 돌아가 전체 설계를 재검토해야만 하는 실정이다. 본 논문에서는 이러한 내장형 응용 소프트웨어 개발을 위해 편의성과 신뢰성을 향상시킬 수 있기 위해 소프트웨어 자동 검증을 위한 정형기법, 컴파일러 및 사용자 편의를 위한 GUI, 재사용 및 유지보수가 용이한 목적코드의 발생 등 전반적인 소프트웨어 공학적인 기술들을 이용하여 시각적 명세에 의한 실시간 내장형 응용 소프트웨어 개발 자동화 도구의 개발을 위한 기술의 개발을 목표로 삼고 기술되었다.

 
페이지 저장