• Annual Conference on Human and Language Technology
• /
• 1994.11a
• /
• pp.479-482
• /
• 1994

자동 프로그램이란 인간이 프로그램 언어를 습득하는데 드는 노력과 시간을 감소시키고 프로그램하는 과정의 일부나 전부를 컴퓨터가 대신하도록 하여 프로그램 환경을 개선하고 유지, 보수의 비용을 줄이는데 그 목적이 있으며, 자동 프로그램 4대 구성 요소중 프로그램 명세서를 초고급언어나 예제에 의한 방법 또는 트레이스(Trace)로 기술하는 것이 일반적이다. 그러나 이 방법은 전문가가 아니면 이해하기 어렵고, 불량이 많은 작성하기 어려운 문제점이 있다. 본 논문에서는 이런 단점을 개선하기 위해서 일반 사용자가 접하기 쉽고, 이해하기 용이한 자연어 문장으로 명세서를 작성한다. 그러나 자연어에는 많은 애매성이 존재하는데 이것을 방지하기 위해 사용자에게 미리 자연어 프로그램 틀을 제시한다. 자연어 문장으로 작성된 명세서는 형태소 분석과 구문 분석에 의해 처리되며, 구문 분석시 복합문과 내포문은 단문으로 분리한 다음, 동사를 중심으로한 격 프레임(case frame)를 만들며, 이것을 바탕으로 중간언어를 생성하는 방법을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04b
• /
• pp.997-1000
• /
• 2001

컴퓨터와 인터넷 사용의 대중화 시대가 열리면서 소프트웨어의 구조도 점차 복잡해짐은 물론 크기도 방대해지고 있으나 S/W 개발 기술 발전 속도는 매우 더디어 소프트웨어 개발과 유지보수 비용의 증가로 인해 소프트웨어 위기 문제가 발생하게 되었다. 이에 대한 대안으로 소프트웨어 생산성, 품질, 효율성을 높이기 위해서 부품화와 조립의 특성을 지닌 컴포넌트 기반 개발 방법이 제시되었다. 컴포넌트 명세에 있어 기존에 이미 많은 명세 언어가 사용되고 있으며, 이들은 나름대로의 장점을 가지고 있으나, 이들은 대부분 구현에 있어 특정 언어에 의존성이 강하며, 표현 능력에 한계를 가지고 있다. 이러한 한계를 해결하기 위해 문제 요구사항에 대한 설명, 컴포넌트의 기능, 그리고 컴포넌트 구조에 대한 명확한 정의를 제공하는 정형화된 명세 언어에 대한 연구가 현재 이루어지고 있으나, 대부분이 컴포넌트 명세 기법에 대한 표준이 없고, 명세서에 대한 데이터 모델링 방법 및 표현언어에 대한 기준이 없이 컴포넌트의 구문적 측면만을 고려한 개발을 하고 있는 실정이다. 본 논문에서는 컴포넌트 명세서를 규격화하고 규격화된 명세서를 표준 메타 언어인 XML 기반으로 모델링 하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.334-336
• /
• 2003

이 논문에서는 소프트웨어 프로젝트 수행 중에 비용이나 일정 측면에서 비중이 큰 테스트 작업의 위험도를 줄이기 위하여 테스트 가능성 검토 방법과 이를 객관적으로 측정하는 방법을 제시하였다. 막대한 예산이 소요되는 대규모 소프트웨어 프로젝트에서 정확한 ROI(Return of Investment)를 예측하고 테스트 작업에 걸림돌이 될만한 요소들을 파악한다면 소프트웨어 개발 작업이 더욱 효율적인 엔지니어링 작업이 될 것이다. 이 연구에서는 블랙박스 테스트의 기준이 되는 산출물들 중에 먼저 요구명세서의 테스트 가능성에 대한 검토 방법을 제시하였다. 사례연구를 통하여 요구명세서의 어떤 요소들이 테스트가능성을 높이는지 파악하였고 이를 항목으로 만들어 객관적인 측정이 가능하도록 하였다. 연구 결과는 테스트 작업에서 케이스 설계만이 아니라 테스트 실행, 결과의 분석, 결함 위치 발견 및 수정 작업까지도 비용을 줄여주는 효과를 보이고 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11c
• /
• pp.1673-1676
• /
• 2003

통합 테스트 단계에서 검사팀에 의해 일반적으로 사용되는 테스트 시나리오는 요구분석 및 설계단계에서 도출된 각종 명세서를 기반으로 하여 작성된다. 본 논문에서는 이런 테스트 시나리오를 작성할 때 오류를 최소화하기 위한 테이블 분석방법을 제시한다. 이를 이용하면 통합 테스트 단계에서 특별한 검토과정 없이 요구분석 및 설계단계에서 얻어진 명세서에 의존해서 테스트 시나리오를 작성하는 방법에 비해 테이블 정보에 대한 오류를 최소화함으로써 테스트 능률향상 뿐 아니라 테스트 비용을 크게 줄일 수 있다. 이를 바탕으로 통합 테스트를 수행한다면 보다 정확한 테스트가 가능하므로 최종산출물인 소프트웨어에 대한 품질을 향상시킬 수 있다.

• Journal of Korea Society of Industrial Information Systems
• /
• v.7 no.5
• /
• pp.1-10
• /
• 2002

This study is based on user requirements before the implementation of B2B order and delivery systems. For accurate and easy understanding of the user's requirements I have expressed my specifications in graphical method and to make use of multiple diagrams, I have used UML. In these specifications, I have implemented B2B order and delivery systems with the use of XML, with company 'N' which is domestic aluminum manufacturer as the study object. The results of this study are as follows. First, both a developer and a user can understand the problems associated with specifying study objects through this system. Second, the communication between developers and users is more effective using this system. Third programming became easier because or the formalized specifications of this system. Fourth, this system facilitates the rapid handling of marketing department and stock management. Fifth, order and reservation management became more rapid and accurate through the use of this system. Sixth, this system can help nate B2B order and delivery systems that can be direct transactions. Seventh, this system helps to reduce purchasing costs by allowing for the rapid and simple order and delivery of raw materials. Finally, this study emphasized the advertising effect of an aluminum vessel.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.2
• /
• pp.254-263
• /
• 1995

In this paper we discuss Moore and Mealy-model Time-stationary control schemes of pipelined data paths of Application Specific, Integrated Circuits (ASICs). We developed a method to synthesize both a Moore and a Mealy-style Finite State Machine(FSM) controller specifications given a pipelined data path with conditional branches. The control synthesis task consists of the generation of control specification and the FSM synthesis. The control specification procedure generates a FSM specification in the form of a state table. The different partitioning schemes are applied to each FSM controller so as to minimize the total area. Experimental results show the characteristics of the two different control styles and the effects of these two models on cost and performance.

• Korean Business Review
• /
• v.11
• /
• pp.295-317
• /
• 1998

Environmental accounting identifies and measures environmental costs and provides them to interested parties of corporation. The purposes of this study are as follows: First, it investigates the method of measurement and the timing of recognition of environmental costs. Second, it suggests the method of disclosure of environmental costs. In order to accomplish these objectives, this study reviewed relevant literature and studies in advanced countries and Korea. The main results of this study can be summarized into four points: (1) environmental costs are classified into environmental pollution cost and environmental pollution prevention cost, by considering the sources of occurrence of, the functions of and the types of environmental costs. (2) the methods of measurement of environmental costs are various but they almost all subjective and arbitrary. So an accurate measurement of environmental cost is actually difficult. (3) According to the accrual basis, environmental costs are recognized respective to prior period adjustments, expenses or losses of the current period and the assets of the next period. (4) There are 3 methods of disclosure of environmental costs: an extension model of financial statements, a compromise model, and an original model. An extension model financial statements is easy to apply in business practice because it discloses environmental costs by adding accounts into the framework of a traditional accounting system or supplementary reports. This research can contribute to the establishment of accounting standards for environmental costs in Korea.

• Korean Journal of Construction Engineering and Management
• /
• v.20 no.5
• /
• pp.61-71
• /
• 2019

In this study, the constitutional basis of public concept of land and concept of development gains are confirmed, and justification of the development charges system through the precedent of the Constitutional Court is investigated, and suggestions for improvement of fairness and reliability of development charges calculation are proposed. First, it is necessary to develop a system for estimating the development charges for securing transparency of the development charges system, preventing speculative development projects, and streamlining administrative efficiency. Second, it is necessary to prevent bad calculation by institutionalizing the responsibilities of experts to construct specification of the development cost calculation sheet submitted by taxpayers. Third, in order to precisely calculate the development cost, basic data should be specified in conditions for approval from the time of granting permission, or it should be minutely described in development charge treatment regulations.

• Journal of Advanced Navigation Technology
• /
• v.15 no.3
• /
• pp.419-431
• /
• 2011

Design traceability has been widely recognized as being an integral aspect of software development. Also many projects for software application development have failed because that the projects did not analyze user requirements sufficiently and reflected them in the projects adequately. This thesis proposes a specification and tracing technique for object-oriented analysis and design. The subject of this study is the artifacts of UML development methodology. Therefore, to improve the quality of the software development cycle, in short, the system requirement of customers will be able to respond quickly.

• Journal of the Korea Institute of Building Construction
• /
• v.12 no.3
• /
• pp.340-346
• /
• 2012

Recently, the construction industry has been pursuing the rationalization of its various systems through informatization. Procurement is a highly important element of the construction process, as it is directly related to the cost and quality of a construction project. In addition, procurement management of resources is in an indivisible relation, so that it is significant to link each other effectively. This study proposed construction activity and basic data connected to cost summary work for the categorization and utilization of resources. This study connected that activity to detailed items of material and labor cost, and proposed a procurement planning model of resources by activity that can utilize all resources and information. In addition, this model can classify resources and information by various forms. We found that the utilization of this procurement planning model will be higher because it can grasp various problems that occur in the passive procurement and provide additional functions that can be modified.