• 대한안전경영과학회지
• /
• 제7권3호
• /
• pp.97-108
• /
• 2005

The issue of using information system to ensure competitive power in the market is rising. The outsourcing methods that entrust activities of information system of companies to other expert agencies are increasing as the enterprises make a lot of efforts to put their resources to their heart of business in the process of adopting information system. Recently, ASP (Application Service Provider) as new information technology outsourcing method appears due to development of network technology and spreading of peculating software. ASP defines as a software leasing service which is supplied through networks instead of purchasing application software with high price. For successful implementation of ASP, it is necessary to develop a certification program to ensure safety and reliability of ASP. This paper provides the safe and reliable certification program for ASP. In order to develop it, the critical issues related to service quality and certification of ASP are identified and then evaluation methodology for ASP certification program is proposed. This paper presents application certification as the part of ASP certification program.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2003년도 추계학술대회 및 정기총회
• /
• pp.59-65
• /
• 2003

In order to reduce the cost of software maintenance including software modification, we suggest the object oriented program with checking the version of application program using the Java language and the technique of executing the downloaded application program via network using the application manager. In order to change the traditional scheduler to the application manager we have adopted the Xlet concept in the nuclear fields using the network. In usual Xlet means a Java application that runs on the digital television receiver. The Java TV Application Program Interface(API) defines an application model called the Xlet application lifecycle. Java applications that use this lifecycle model are called Xlets. The Xlet application lifecycle is compatible with the existing application environment and virtual machine technology. The Xlet application lifecycle model defines the dialog(protocol) between an Xlet and its environment

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

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

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2017년도 춘계학술대회
• /
• pp.379-382
• /
• 2017

전 세계적으로 해운물류 안전 보안체계가 강화됨에 따라 국가물류보안 체계 구축을 위한 해운물류안전 보안 핵심기술 개발이 이루어지고 있다. 또한 미국에서 2018년 시행예정인 컨테이너 사전 100% 전수검사에 대응하기 위한 컨테이너 검색기의 핵심구성 요소인 Array 검출 System의 국산화 개발이 필요하다. 본 논문에서는 현재 자체 개발한 Test Digital 신호처리 Board를 가지고 TI-RTOS(Texas Instruments - Real Time Operating System)를 이용하여 개발한 Test Software Program을 제안한다.

• 한국정보처리학회논문지
• /
• 제7권3호
• /
• pp.831-841
• /
• 2000

For the operation of the practical software systems, the development, extension and modification phases are successively needed through the new requirements added and their errors debugging detected. Therefore, if it is possible to integrated the reusable software components and to reorganize them into the new software systems, we can improve the productivity, quality, and cost-effectiveness for he development of software systems. For these reasons, it will be required to research and develop methodology and tools for programs integration which make some programs merged effectively. In the process of merging two versions of a program into one, we can consider that some parts of the two versions are equivalent under the non-interference between them. According to the previous studies the program selected to determine the criterion of non-interference between them. According to the previous studies the program selected to determine the criterion of non-interference was very large, so we have difficulty in integrating many programs practically. In this paper, we propose a new improved algorithm which can reduce the related program size of non-interference criterion yb use of dynamic slicing techniques for integration of two versions of a program, and prove the efficiency of the proposed algorithm by showing some examples.

• 대한지구과학교육학회지
• /
• 제16권3호
• /
• pp.374-384
• /
• 2023

이 연구는 사회적 요구에 의해 강조되고 있는 집단지성, 가치관, 소프트웨어를 적용하여 예비교사들이 통합과학교육 프로그램을 개발하는 과정에서 예비교사에게 미치는 영향을 알아보았다. 이러한 결과로 첫째, 집단지성을 활용한 통합과학교육 프로그램 개발은 예비교사의 학습동기를 향상시켰다. 특히 수행과정에서 학습동기가 향상되는 것이 나타났다. 둘째, 집단지성 기반 통합과학교육 프로그램 개발은 예비교사들의 집단지성 역량을 함양하였다. 프로그램을 개발, 시연, 피드백하는 전 과정에서 집단의 긍정적 영향이 발현되었다. 셋째, 과학 교과에 소프트웨어와 개인의 가치관은 접목할 필요가 있으나 이를 위해 전문적 지원이 필요한 것으로 나타났다.

• 정보처리학회논문지C
• /
• 제13C권4호
• /
• pp.397-404
• /
• 2006

소프트웨어 공격이 성공하기 위해서는 공격 코드가 프로그램의 주소 공간에 주입된 후 프로그램의 제어 흐름이 공격 코드 위치로 변경되어야 한다. 프로그램의 주소 공간 중 코드 영역은 실행 중에 변경이 불가능하므로 공격 코드가 주입될 수 있는 곳은 데이터 영역 밖에 없다. 따라서 데이터 영역으로 프로그램의 제어가 변경될 경우 주입된 공격 코드로 제어가 옮겨 가는 공격이 발생한 것으로 판단할 수 있다. 따라서 본 논문에서는 프로그램의 제어 흐름과 관련된 CALL, JMP, RET 명령어의 목적 주소를 검사하여 제어가 옮겨갈 목적 주소가 프로그램의 실행 코드가 저장된 텍스트 영역이 아닌 데이터 영역일 경우 소프트웨어 공격이 발생한 것으로 간주하는 소프트웨어 공격 탐지 기법을 제안하였다. 제안된 방법을 이용하면 함수의 복귀주소뿐만 아니라 함수포인터, longjmp() 버퍼 등 프로그램 제어 흐름과 관련된 모든 데이터가 변경되었는지 점검할 수 있었기 때문에 기존 기법들보다 더 많은 종류의 공격을 탐지할 수 있었다.

• 산업공학
• /
• 제12권4호
• /
• pp.540-550
• /
• 1999

In evolutionary algorithm, there exist various models for the evolution of the population with respect to schemes and strategies for reproduction. In the application of the algorithm to a specific problem, one model suitable to the problem is to be properly chosen and a program expert or a software is needed to help implement and test a designed algorithm. In this study, the software for simple evolutionary algorithms(SEA) with one population is developed. The software is designed as an application framework type, so that it may be friendly, allow users to add some program, and operate under the environment of Windows. For this, hierarchical classes for components of SEA are first designed by means of an object-oriented approach and then a library for SEA is built by them. With the library, developed is an application framework that can generate a frame code for an application program. The software proposed here can be used as a generalized tool for solving problems in a wide range of domains.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1987년도 전기.전자공학 학술대회 논문집(II)
• /
• pp.1140-1143
• /
• 1987

The purpose of this study is to develop a systematic tool which can reduce the abstractness of the structured programming disciplines by a system. The system is an interactive software which forces the user to think and write software in a hierarchical stepwise refinement fashion for an implementation of the software design. The program produced by the system has a program control structure and a logic flow which are very easy to recognize. The modification of a program is, therefore, easier to attain by altering the specifications of the modules involved. It is possible to reduce the programming errors because of those characteristics.

• International Journal of Aeronautical and Space Sciences
• /
• 제9권2호
• /
• pp.107-113
• /
• 2008

program package for store separation analysis, SAFESEP, has been developed. The package includes CTS system software, 3-Dimensional visualization software, off-line store trajectory software and aerodynamic database software. In this paper, we describe the functions and the capabilities of the store separation analysis program package.