• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권8호
• /
• pp.529-542
• /
• 2002

기존의 프로그램 슬라이스에 관한 정의들은 주로 프로그램 변수들간의 문법적인 관계만을 고려한다. 이에 반해, 이 논문에서는 프로그램 변수들간의 의미론적인 관계를 고려함으로써 기존의 슬라이스보다 더 정확한 프로그램 슬라이스를 구할 수 있는 명세 기반 슬라이싱 기법을 제시한다. 명세 기반 슬라이스는 선행 조건, 후행 조건의 쌍으로 주어진 프로그램의 명세에 대해 원래 프로그램의 행위와 올바름을 보존하는 프로그램 문장들의 부분집합으로 구성된다. 명세 기반 슬라이싱 기법은 주어진 명세에 나타나 있는 프로그램의 기능과 관련한 프로그램 문장만을 다루기 때문에, 소프트웨어 공학의 여러 가지 문제들을 더욱 효과적으로 해결할 수 있도록 지원한다. 여러 적용 가능한 문제들 중에서도, 이 논문에서는 소프트웨어 재사용과 소프트웨어 재구성 과정이 명세 기반 슬라이싱 기법을 이용함으로써 어떻게 향상될 수 있는지를 보인다.

• 한국융합학회논문지
• /
• 제9권4호
• /
• pp.31-45
• /
• 2018

최근 인터넷 기술이 급격히 발전하면서 컴퓨터 관련 기술이 함께 발달하면서 컴퓨터와 스마트 디바이스를 둘러싼 소프트웨어 분쟁이 심화 되고 있고 또한 각국의 정책적으로 소프트웨어 개발에 소리 없는 전쟁이 진행되고 있는 상태이다. 특히 최근 빅데이터와 사물인터넷 IoT (Internet of Things) 인터넷 기반의 관련 산업이 급격히 발전하고 있으며 여기에 사용된 java 와 C 언어,xcode의 오픈소스 기반의 소스프로그램을 만들고 개발하기 위하여 수많은 시간을 투자하여 개발이 이루어지고 있다. 기본적으로 소프트웨어의 침해를 방지하고자 보안 방법이 존재 하지만 생각보다 쉽게 복제되는 것이 현실이다. 이런 상황일수록 소스프로그램의 라이센스에 대한 원천 권리자의 권리보호 매우 중요한 사항이다. 물론 제작자의 원천기술을 당연히 보호되어야 함이 마땅하나 너무 지나친 보호는 프로그램으로 인한 산업발전과 문화발전에 저해 될 수 있는 소지가 존재한다. 따라서 본 연구는 IoT 응용프로그램에 대한 유사표절을 데이터 마이닝 기법으로 연구하였으며 이는 프로그램 복제로 인한 창작자의 프로그램을 보호하고 나아가 프로그램으로 인한 개인정보유출과 침해에 대한 방안을 제안하였다.

• 대한한의진단학회지
• /
• 제14권1호
• /
• pp.70-78
• /
• 2010

Objectives : To qualify or enhance the diagnostic ability of students in Oriental Medicine, so called standardized patients are ideal modality, but because it's a man-based method, more convenient tools are required. Computer-based diagnostic ability test program gives effective way for the very purpose. So we made a pilot software evaluating Pattern Identification ability in Oriental Medicine. Methods and Materials : The pilot software was coded with Microsoft's EXCEL VBA. 87 names of Zheng (Symptom Pattern) and 674 names of symptom (including some signs) are adopted from the former standardization works conducted by Korean Institute of Oriental Medicine (KIOM) in 1996. Results : Compared with some manned modalities to test Pattern Identification ability, the test by this software shows superiority in convenience and objectivity. Conclusion : This software is world's first program to perform computer-based evaluation of Pattern Identification in Oriental Medicine, and it gives effective way to complement both written test and manned clinical performance test (CPX).

• 한국컴퓨터산업학회논문지
• /
• 제10권4호
• /
• pp.127-134
• /
• 2009

기존의 객체지향 멀티미디어 베이스에 경험적 분류 모델에 기반을 둔 새로운 클래스를 도입한 영재 소프트웨어 프로그램의 모델을 설계한다. 이를 구현하기 위해 기존의 객체 멀티미디어 베이스에 경험적 분류 클래스를 도입하였으며, 이 클래스들을 연산하기 위한 설계된 객체 지향 멀티미디어 프로그램을 설계하였다. 그리고 설계된 객체 지향 영재 소프트웨어 프로그램을 이용하여 비교집단과 실험처치된 실험집단과 비교하여 창의성향상과의 상관관계에 대해 연구한다.

• 한국컴퓨터정보학회논문지
• /
• 제21권12호
• /
• pp.1-10
• /
• 2016

In this paper, we attempt to prevent certain cases by tracing a history and making genogram about open source software and its modification using similarity of source code. There are many areas which use open source software actively and widely, and open source software contributes their development. However, there are many unconscious cases like ignoring license or intellectual properties infringe which can lead litigation. To prevent such situation, we analyze source code similarity using program dependence graph which resembles subgraph isomorphism problem, a typical NP-complete problem. To solve subgraph isomorphism problem, we utilized harmony search of metaheuristic algorithm and compared its result with a genetic algorithm. For the future works, we represent open source software as program dependence graph and analyze their similarity.

• 인터넷정보학회논문지
• /
• 제17권2호
• /
• pp.39-47
• /
• 2016

일반적으로 소프트웨어 R&D 프로젝트에서는 프로그램 코드와 문서 산출물이 생성된다. 이러한 소프트웨어 R&D 산출물들은 두가지로 분류할 수 있다. 첫 번째 분류는 연차 실적 계획서, 연구개발과제계획서, 연구성과보고서, 연구 노트와 같은 소프트웨어 연구 산출물들이 포함된다. 그리고 다른 분류는 소프트웨어 요구사항 명세서, 소프트웨어 설계 명세서, 소프트웨어 테스트 계획서, 프로그램 코드와 같은 소프트웨어 개발 산출물들이다. 프로젝트의 진행 방향을 확인할 때 프로그램 코드를 테스트하고 문서 산출물을 검증하는 것이 중요하다. 또한 연구 문서와 개발 산출물 사이에 완전성, 일관성 등의 관계를 확인해야 한다. 그러한 검증과 테스트는 프로젝트 관리자와 연구자들이 프로젝트를 진행하는 동안 올바르게 진행하고 있다는 확신을 준다. 그러므로 본 연구에서는 소프트웨어 R&D에서 생성되는 문서와 프로그램을 검증하는 프로세스를 제안한다. 본 프로세스는 문서 산출물을 검토하고 프로그램 코드를 테스트하는 활동으로 구성되어 있으며, Essence를 사용하여 정의된다. 그리고 본 연구에서 제안하는 프로세스의 효율성을 사례 연구를 통해 보인다.

• 가정과삶의질연구
• /
• 제14권4호
• /
• pp.249-262
• /
• 1996

To give additional assistance in education for family time use and time management a computer program based on the time-related theories was developed. For this purpose the study consisted of three main stages. First various theories of family time use time management strategies and household work time were investigated and the assumptions were suggested. Second the module for predicting family time use was designed and the program using the module was developed. Third to evaluate the program's benefits the program was used at introductory class of undergraduate course. As the results the sophisticated software program could be used as an educational instrument to help not only students but also individual and family member to become knowledgeable about managers of family time resource. furthermore this program could be useful for the educators and counselors to help individuals and households with time use problems.

• 디자인학연구
• /
• 제13권1호
• /
• pp.219-225
• /
• 2000

많은 디자이너들이 과거의 붓, 물감 등에 의한 전통적 도구들을 대신하여 각종 디지털 도구들과 컴퓨터를 전통적인 인쇄물 및 프레젠테이션, 멀티미디어 등 다양한 디자인 환경 속에서 적극적으로 활용하고 있다. 이제는 컴퓨터그래픽의 질적 요소가 디자인 결과에 중요한 역할을 하고 있으며, 컴퓨터그래픽의 생활화에 의한 시각문화가 재창출되는 시점에 이르고 있다. 학교 교육의 현장에서도 이러한 추세에 발맞추어 컴퓨터 장비의 확충과 활용비율을 크게 늘려가고 있는 추세이지만 전문지식의 부족으로 인하여 투자에 비해 그 효율성이 매우 적에 나타나고 있는 실정이다. 본 논문은 컴퓨터의 효율적 활용방안을 연구하여 학교 내 컴퓨터와 관련한 기자재의 설치 및 운용에 있어서 중복투자를 방지하고, 적정한 규모의 장비로써 최대의 능률을 도모할 수 있도록 함으로써 수업능률과 교육의 질적 향상을 도모하고자 하였다. 이와같은 기본 원칙에 의거, 본 논문은 컴퓨터를 활용하고 있는 각 대학들의 사례를 수집, 분석하여 문제점을 추출하고 이를 해결해 나가는 방법을 제시함으로써 미래지향적인 디자인 교육에 일조 하고자 하였다.

• 대한기계학회논문집A
• /
• 제21권8호
• /
• pp.1348-1355
• /
• 1997

Machine element design is a very important course in the undergraduate program of mechanical engineering in that it presents traditional design concepts. While computer aided design(CAD) receives more attention, students tend to ignore the machine element design or traditional design concepts. However, design methodologies related to machine elements are utilized quite often in practical fields. Also, design methodologies provide good insight for the decision making process of modern design. Generally, CAD is used for simple drafting without the real design process in the undergraduate program. Design software has been developed for various machine elements. Through menu display, a user can select or furnish the design input such as design objects, dimensions, environmental forces and usages, and safety factors. Then the software carries out the design processes which are the same as those of textbooks. The result of the design is filtered to have the values in the standards. The designed machine element is drawn via commercial CAD software. The software has been developed with C language on a personal computer. The developed software is being utilized successfully in a design course, and the experiences are discussed in this paper. The software can be used in industries which require the repeated process of the machine element design.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 하계학술대회 논문집 A
• /
• pp.322-324
• /
• 2000

This paper introduces the concepts of UML(Unified Modeling Language) and the applying this technique for implementing voltage stability analysis program. Conventional function-oriented software development methodologies are inadequate to support further maintenance and enhancement. To overcome drawbacks of these methodologies, this paper proposes applying object-oriented technology for voltage stability evaluation software development. In this paper, a modal analysis approach, a steady-state voltage stability evaluation method, is used and UML is applied to the analysis and design for software development.