• International journal of advanced smart convergence
• /
• 제10권2호
• /
• pp.130-137
• /
• 2021

In the current software project, it is still very difficult to extract and define clear requirements in the requirement engineering. Informal requirements documents based on natural language can be interpreted in different meanings depending on the degree of understanding or maturity level of the requirements analyst. Also, Furthermore, as the project progresses, requirements continue to change from the customer. This change in requirements is a catastrophic failure from a management perspective in software projects. In the situation of frequent requirements changes, a current issue of requirements engineering area is how to make clear requirements with unclear and ambigousrequirements. To solve this problem, we propose to extract and redefine clear requirements by incorporating Design Thinking methodologies into requirements engineering. We expect to have higher possibilities to improve software quality by redefining requirements that are ambiously and unclearly defined.

• 정보처리학회 논문지
• /
• 제13권10호
• /
• pp.529-536
• /
• 2024

최근 AI 기술의 발전으로 다양한 분야에서 활용되고 있다. 그러나 AI의 동작 원리를 확인할 수 없어 생성물의 품질을 보장하기 어렵다. 따라서 본 연구에서는 대화형 AI 기술에 소프트웨어 공학의 요구공학을 접목하여 절차적 공정을 진행한다. 기존의 요구공학 연구는 문법 중심 분석 방식을 사용하여 비정형 요구사항의 의미적 측면을 충분히 해석하지 못하는 한계를 가진다. 이를 해결하기 위해, 우리는 촘스키의 구문 구조 분석 이론과 필모어의 의미역 이론의 통합을 제안한다. 또한, 우리는 이전 연구를 확장하여 다양한 문장 구조에서 사용되는 형용사 분석을 추가한다. 이는 만화 속 주인공에 대한 정확한 감정 분석이 가능하다. 분석 결과를 기반으로, 우리는 상태 다이어그램의 상태를 객체의 감정 상태로 적용한다. 우리는 객체의 상태 다이어그램의 감정 상태 기반으로 Three.js를 통해, 3D 객체 모델 생성과 와 상태를 표현시킨다. 이를 통해, 객체의 감정을 표현하기를 기대한다.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2014년도 춘계 학술논문 발표대회
• /
• pp.68-69
• /
• 2014

Production of freeform concrete segments use various molds because of the unique shape of it unlike common concrete segments. As a result, the mold for freeform concrete segments cannot be reused. Therefor, cost overrun is occurred by needs of more time and manpower to produce the freeform concrete segments compared with common concrete segments. To prevent the cost overrun, a new production method for the freeform concrete segments is needed to develop and the requirements for it should be analyzed before. Therefor, the aim of this study is requirements analysis for production of freeform concrete segment. The requirements of production of freeform concrete segments and form for it is analyzed in this study. The result of this study would be used to suggest the new production method of freeform concrete segments.

• The Journal of Asian Finance, Economics and Business
• /
• 제7권1호
• /
• pp.279-290
• /
• 2020

Informal networks between individuals are widely seen as important in East Asian business systems. However, while the performance implications of guanxi in China have been extensively studied, much less is known on how informal networks may influence business outcomes in other East Asian countries. We examine informal networks in inter-organizational research collaborations in South Korea by studying the role of pre-existing social ties and relational orientation in new product development (NPD) collaborations and university-industry research (UIR) collaborations. We conduct an interview-based, in-depth case analysis of five NPD collaborations and five UIR collaborations. Pre-existing social ties and relational orientation are prevalent in both types of research collaborations. However, they have different consequences for collaboration outcomes. Pre-existing social ties strongly vary in their types and strength, and negatively affect collaboration outcomes unless they result in the selection of competent and motivated partners. Relational orientation manifests itself in a task-related and social exchange between collaboration partners, which contributes to outcomes such as knowledge acquisition and business performance. Korean collaboration managers should rely only on pre-existing social ties that are well-aligned with task-related requirements when initiating and conducting research collaborations. However, the creation of strong relationships between collaboration team members of partnering organizations should be encouraged.

• 정보보호학회논문지
• /
• 제13권5호
• /
• pp.57-67
• /
• 2003

보안정책모델은 평가대상제품(Target of Evaluation, TOE)의 보안정책을 비정형적, 준정형적, 또는 정형적 방법을 사용하여 구조적으로 표현하는 한 것이다. 보안정책모델은 보안기능요구사항과 기능명세간의 일관성 및 완전성을 제공함으로써 평가대상제품이 요구사항과 기능명세간 불명확성으로 인한 보안결점을 최소화할 수 있도록 보증성을 보장한다. 이러한 이유로 ISO/IEC 15408(공통평가기준. CC) 등 IT 제품 및 시스템의 보안성 평가기준의 고등급 평가에서 보안정책모델을 요구하고 있다. 본 논문에서는 보안정책모델의 개념과 관련 연구 및 공통평가기준의 보안정책모델 보증요구사항을 분석하여 보안정책모델 평가방법을 제시한다.

• 한국신재생에너지학회:학술대회논문집
• /
• 한국신재생에너지학회 2006년도 추계학술대회
• /
• pp.149-152
• /
• 2006

New and renewable energy information becomes one of the greatest issues because of serious environment problems and limited fossil resources However, There are few system to manage and utilize new and renewable energy information efficient. Therefore this study establish the GIS based Resource Map System to save and analyze new and renewable energy Informal ion about solar energy, wind power, small hydro, biomass, and geothermal. This Resource Map System is composed of the management system, practical system, field system and Web-service system. This System can Provide var ious spatial analysis tools such as data searching, treating thematic maps, evaluating location requirements for energy facilities.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2004년도 추계학술대회 논문집
• /
• pp.1241-1246
• /
• 2004

The verification confirms a correspondence between requirements and a specification before implementing. The problem in the formal method verifying a protocol specification using model checking is that the protocol behaviors must be always specified in L TS(Label Transition System). But if Region Automata is applied to the model checking, it is enable to verify whether properties are true on specification specified in I/O FSM(Input/Output Finite State Machine) as well as LTS. In this paper, we verify the correctness of rail signal control protocol type 1 specified in I/O FSM by using model checking method and region automata. This removes many errors and ambiguities of an informal method used in the past and saves down expenditures and times required in the protocol development. Therefore it is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling system by using the proposed verification methods.

• 복식
• /
• 제50권7호
• /
• pp.33-46
• /
• 2000

Uniform is the dress of distinctive design or fashion worn by members of a particular group or serving as a means of identification. The postman's uniform of Ministry of Communication should be distinctive or characteristic clothing to provide high functionality and symbolization of job characteristics, cost effectiveness and esthetic. In order to design the postman's new uniform available in 2000, there has been a satisfaction survey to 1,116 postmen. A thorough analysis of survey and informal and face-to-face discussion with postmen give the direction of design concept. One of the most important things in the design concept is to make the uniform high quality & refinement. The style is a refined jumper suit in consideration of form stability, wearing satisfaction, convenience in activity. The basic colors selected are navy and medium gray. The colors of jumper are MOC red ; C.I color Green : a representative color of youth, white : a symbolic color of bright future. All three colors are plaid on a basic nary color. In the selection of the textile, synthetic fiber (Polyester 65%, rayon 35%) equipped with UV cutting as well as water resistance etc. was recommended. In the uniform design process, the effective communication with user (postman) is critical to find the requirements and needs of uniform user (postman). Also. the uniform designer should reflect the above four key factors in design development. Therefore, the uniform should provide the user with high job performance and job pride in wearing the uniform.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제9권12호
• /
• pp.4987-5014
• /
• 2015

The bilinear pairing, also known as Weil pairing or Tate pairing, is widely used in cryptography and its properties help to construct cryptographic schemes for different applications in which the security of the transmitted data is a major concern. In remote login authentication schemes, there are two major requirements: i) proving the identity of a user and the server for legitimacy without exposing their private keys and ii) freedom for a user to choose and change his password (private key) efficiently. Most of the existing methods based on the bilinear property have some security breaches due to the lack of features and the design issues. In this paper, we develop a new scheme using the bilinear property of an elliptic point and the biometric characteristics. Our method provides many features along with three major goals. a) Checking the correctness of the password before sending the authentication message, which prevents the wastage of communication cost; b) Efficient password change phase in which the user is asked to give a new password after checking the correctness of the current password without involving the server; c) User anonymity - enforcing the suitability of our scheme for applications in which a user does not want to disclose his identity. We use BAN logic to ensure the mutual authentication and session key agreement properties. The paper provides informal security analysis to illustrate that our scheme resists all the security attacks. Furthermore, we use the AVISPA tool for formal security verification of our scheme.

• 한국산업정보학회논문지
• /
• 제11권5호
• /
• pp.181-189
• /
• 2006

유비쿼터스 기술은 학습 분야에서 많은 변화를 요구 하고 있으며, 이러닝 컨텐츠 분야 역시 이 기술에 기초한 컨버전스 학습컨텐츠 개발로 변화되어야 한다. 그러나 현재까지 대다수의 이러닝 컨텐츠는 기술융합적 관점에서 매우 미약하고 학습자 눈높이에 맞춘 컨텐츠로 보기는 많은 무리가 따른다. 따라서 본 연구의 목적은 학습자 중심의 이런닝 컨텐츠 개발 방안을 제시하는데 있다. 이를 위해 형식, 비형식 학습의 장점을 적극 활용하게 되는 컨버전스 학습모형을 살펴 본 후, 컨버전스 시대 이러닝 컨텐츠 개발을 위한 학습관리시스템에 대한 과제분석, 스토리텔링, 그리고 피드백 디자인 전략의 중요성을 살펴 보고 학습자 중심의 효과적인 컨텐츠 개발 방안을 제시 한다.