• Annual Conference of KIPS
• /
• 2024.05a
• /
• pp.494-496
• /
• 2024

현재 소프트웨어 산업에서 자연어 요구사항의 정확한 분석 연구는 활발히 진행되고 있다. 그러나, 문법적인 분석만을 통해 해석하는 것이 일반적이다. 본 연구는 요구공학과 언어학 그리고 카툰 공학을 접목을 제안한다. 이를 위해서, 1) 언어학적 관점에는 촘스키의 구문 구조 분석 이론과 필모어의 의미역 이론을 결합하여 문법적, 의미적 분석을 수행한다. 2) 요구공학 관점에서는 요구사항 분석으로 상태 모델 속성 추출 및 접목한다. 3) 카툰 공학에서는 3D 이미지 생성한다. 또한, 해결 못했던 동사와 형용사에 대해 분석하여 범위를 확장한다. 즉 언어학적 분석을 바탕으로 UML 상태 다이어그램을 추출하고, 이를 3D 상태 이미지 생성한다. 본 연구는 AI 기술(Text to Image)에 소프트웨어 공학적 방법에서의 절차적인 공정과 재사용 적용함으로써, AI 내부 작동 원리에 대해 체계적으로 연구하고자 한다.

• Annual Conference of KIPS
• /
• 2003.05c
• /
• pp.1753-1756
• /
• 2003

소프트웨어 생산성과 품질을 개선하기 위한 방안으로 컴포넌트 기반의 소프트웨어 개발이 전개되고 있다. 소프트웨어 컴포넌트 라이브러리를 재사용하기 위해서는 재사용 가능한 컴포넌트를 효율적으로 수집하여 분류, 저장, 검색하여야한다. 기존의 요구사항 정형화 기법들은 요구사항들 간의 의미적 관계를 표현하는 데 초점을 맞추고 있어 컴포넌트 검색에는 적합하지 않으므로 본 연구에서는 개발하려는 유즈케이스 다이어그램을 구문분석을 거쳐 명세하여 질의 정보를 추출하였다. 기존의 자연어를 기반으로 하는 컴포넌트의 비정형적인 명세를 컴포넌트 검색과 조립에 필요한 정보를 효율적으로 얻을 수 있도록 구문분석과 추상화 단계를 거쳐 정형화된 중간형태의 명세로 전환하고 제안한 유사도를 사용하여 컴포넌트를 검색하고자 한다. 또한 개괄명세와 상세명세를 통해 컴포넌트 검색에 필요한 정보를 추출할 뿐만 아니라 컴포넌트의 aspect을 이용하여 컴포넌트 조림에 필요한 정보도 얻을 수 있다. 2차 질의를 통해 컴포넌트 검색의 정확도를 향상시키고 명세를 추상화시켜 검색의 재현율을 향상시킨다.

• Journal of KIISE
• /
• v.45 no.1
• /
• pp.36-44
• /
• 2018

Due to the advent of the 4th Industrial Revolution, it is imperative that we aggressively continue to develop state-of-the-art, cutting edge ICT technology relative to autonomous vehicles, intelligent robots, and so forth. Especially, systems based on convergence IT are being developed in the form of CPSs (Cyber Physical Systems) that interwork with sensors and actuators. Since conventional CPS specification only expresses behavior of one system, specification for collaboration and diversity of CPS systems with characteristics of hyper-connectivity and hyper-convergence in the 4th Industrial Revolution has been insufficiently presented. Additionally, behavioral modeling of CPSs that considers more collaborative characteristics has been unachieved in real-time application domains. This study defines the non-functional requirements that should be identified in developing embedded software for real-time constrained collaborating CPSs. These requirements are derived from ISO 25010 standard and formally specified based on state-based timed process. Defined non-functional requirements may be reused to develop the requirements for new embedded software for CPS, that may lead to quality improvement of CPS.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.355-357
• /
• 2005

웹 응용 관련 기술이 널리 이용되면서 적은 비용, 짧은 개발 기간, 고품질 등 새로운 요구사항이 등장하고 있다. 웹 응용 개발 현장에서는 이러한 요구사항을 만족시키기 위하여 개발 초기부터 UI 프로토타입(UI Prototype)물 적극적으로 이용하는 방법을 택하고 있다. UI 프로토타입에에는 클라이언트 측의 항해가 구현되어 있기 때문에, 항해 설계 활동(Navigation Design Activity)이 불필요하다고 생각할 수 있다. 그렇지만 UI 프로토타입의 복잡성과 비정형성 때문에 큰 규모의 웹 응용 개발 과정에서 요구사항을 만족시키지 못할 가능성도 있다. 이 논문에서는 항해 모델을 이용하여 웹 응용 전체를 쉽게 파악할 수 있고, 사용자 관점 및 서버 판정에서 항해의 문제점을 파악할 수 있다는 점을 근거로 UI 프로토타입에 기반한 항해 설계의 필요성을 제시한다. 그리고 웹 응용 개발 프로세스에서 항해와 관련한 활동들의 세부 단계를 밝히고, UML SPEM 프로파일(Profile)을 이용하여 세부 단계를 표현한다.

• The Journal of the Korea Contents Association
• /
• v.22 no.3
• /
• pp.105-111
• /
• 2022

Multiple-choice survey types have been mainly performed to analyze students' needs for online classes. However, in order to analyze the exact needs of students, unstructured data analysis by answer for essay question is required. Big data is applied in various fields because it is possible to analyze unstructured data. This study aims to investigate and analyze what students want subjects or topics for software lecture in general education that process on non-face-to-face online teaching methods. As for the experimental method, keyword analysis and association analysis of big data were performed with unstructured data by giving a subjective questionnaire to students. By the result, we are able to know the keyword what the students want for software lecture, so it will be an important data for planning and designing software lecture of liberal arts in the future as students can grasp the topics they want to learn.

• Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
• /
• 2010.09a
• /
• pp.379-383
• /
• 2010

본 논문은 현재 공동주택에서는 주소를 표기할 때 지번 뒤에 상세주소를 표기하여 단지 내에서 개별적으로 일관성 없는 세부주소로 사용하고 있는 문제점을 보완하기 위해 상세주소 표기 표준화 모형을 제시하였다. 공동주택별로 그 표기방식이 다양해 같은 동을 가동, 101동, 1동, A동, 에이동 등으로 사용하고 있었으며, 같은 층, 호를 지하1층, 지1호, 비01호, B01호,B1호, 1호, F02호 등과 같이 다양하게 표기하는 등, 비정형화로 인한 문제점이 제기 되고 있다. 비정형화로 인한 위치검색 및 위치파악 등의 애로사항으로 행정업무의 자료호환 등의 문제점이 발생하고 있어 표준화된 모형개발이 현실적으로 요구됨에 따라 본 연구에서는 공동주택인 아파트, 연립주택, 다세대주택을 중심으로 상세주소 표기 건축물에 대한 전문가 설문조사를 실시하여 상세주소의 표기방식에 대한 표준화 모형을 개발하였다.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2020.11a
• /
• pp.12-13
• /
• 2020

Free-form buildings usually have large curved shapes on the outside. In order to construct this curved shape, the exterior of the building must be divided into easy-to-manufacture shapes, and the segmented panel is called the FCP(Free-form Concrete Panel). These FCPs have different shapes and cannot reuse molds. To solve these problems, the researchers developed FCP manufacturing equipment to manufacture a mould of FCP. However, the developed equipment alone cannot completely manufacture FCP's mould. This is because there is no mould to implement side of FCP. Therefore, it is necessary to develop a side form of FCP that can be applied to FCP manufacturing equipment. To this end, this study analyzes the basic requirements that side mould should have before developing side mould.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.558-560
• /
• 2000

본 논문은 ATM(Abstract Timed Machine)에 대해서 기술한다. ATM 은 임무 위급 시스템과 같은 실시간 시스템을 명세, 분석 및 검증할 수 있는 정형 기법이다. ATM 은 모드(mode), 전이(transition), 포트(port)로 구성된다. 모드는 머신의 압축된 상태를 의미하고 전이는 모드와 모드 사이의 변화를 말한다. 포트는 ATM 들 사이의 상호작용을 위한 진입을 나타내기 위한 것이다. ATM 은 소프트웨어 순환 공학을 위해 디자인 되었다. ATM은 재/역공학적 측면에서 계산 이론과 더불어 기존의 실시간 시스템의 소스코드에 대한 디지안 및 환경 정보를 나타낸다. 본 논문은 병렬성, 병렬적으로 동작하는 엔터티들 사이의 제어 정보이 흐름, ATM 타입과 클래스로부터의 인스턴스, 비/동기적 이벤트, 포트와 이벤트 타입, 포트의 타입, 통신, 입/출력, 예외처리, 시간에 관한 요구사항, 다수를 대상으로 하는 통신 주기적 작업등과 같은 ATM의 여러 개념을 기술하고 이러한 속성들을 Producer-Buffer-Consumer 예제로 살펴본다.

• Journal of KIISE:Software and Applications
• /
• v.33 no.2
• /
• pp.186-200
• /
• 2006

Analysis model focuses only on functional requirements and postpones nonfunctional requirements and implementation specific issues until subsequent design activities are undertaken. Based on the analysis models, the design activities are performed by refining and clarifying the analysis models. Thus, the quality of analysis models has a vast impact on the design models. Therefore, much effort should be taken to build correct analysis model. In this paper, we propose a set of structural constraints that analysis models of typical object-oriented development methods should satisfy. Three kinds of constraints are proposed: class related constraints, relation related constraints, and usage related constraints. For each constraint, formal definition and description with OCL are provided. In addition, through a case study with two medium-sired industrial systems, we demonstrated that the proposed approach can help to identify and correct serious deficiencies in object-oriented analysis models.

• Annual Conference of KIPS
• /
• 2012.11a
• /
• pp.1543-1546
• /
• 2012

반응형 시스템은 외부 환경과 지속적으로 상호작용하는 시스템이다. 반응형 시스템이 요구 사항을 만족하는지를 검사하기 위해서 상호 작용을 수행할 환경 모델을 구축 해야 한다. 환경 모델은 반응형 시스템에게 항상 올바른 입력들을 제공 해야만 검사 결과의 신뢰성을 보장할 수 있기 때문에 올바른 입력들을 포함하는 것은 매우 중요하다. GR(1) Synthesis 는 수학적 정형 기법으로써 논리식으로 표현된 요구 사항을 보장할 수 있는 모델을 자동으로 생성할 수 있다. 이 기법을 이용하여 올바른 환경 모델을 생성하고 반응형 시스템에게 올바른 환경의 입력들을 자동으로 제공 함으로써 반응형 시스템의 행위가 올바른지를 환경 모델 상에서 검사하였다. 또한 사례 연구를 통해 환경 모델을 이용한 검사가 기존 방법에 비해 우수함을 알 수 있었다.