Earticle

In a patent infringement action involving the international distribution of Microsoft's Windows software, the United States Court of Appeals for the Federal Circuit has interpreted 35 U.S.C. § 271(f) as extending infringement liability to foreign computers assembled with copies of software replicated abroad from a US-made master version. In Eolas Techs., Inc. v. Microsoft Corp. AT&T Corp. v. Microsoft Corp., the CAFC determined that the exportation of software code may constitute patent infringement under 271(f) if the software is deemed to be a "component of a patented invention." But it is clear that U.S, patent laws have not of what extraterritorial conduct invokes, and what conduct does not invoke, the U.S. patent infringement status. However, it is noted that the owners of U.S. patents are increasingly attempting to enforce their U.S. patents against activities carried out at least in part, if not entirely, outside the U.S.

생성형 AI 도구의 확산으로 AI·SW 교육에서 학습자의 활동은 단순한 코드 작성에서 AI 산출물의 이해, 실행, 검증, 수정, 설명으로 확장되고 있다. 본 연구는 생성형 AI 기반 코드 생성 활동에서 요구되는 AI 도구 활용 역량과 AI 산출물 검증 역량의 교육 요소를 탐색하는 데 목적이 있다. 이를 위해 UNESCO AI 역량 프레임워크, 생성형 AI 교육 지침, AI 리터러시 및 프로그래밍 교육 관련 연구를 검토하고, 초급·중급 프로그래밍 수업에서 활용 가능한 교육용 코드 생성 사례를 분석하였다. 연구 결과, 코드 생성 활동은 문제 이해, 프롬프트 구성, 코드 생성, 코드 해석, 실행 확인, 테스트 검증, 오류 수정, 윤리·보안 검토, 자기 설명의 단계로 구조화될 수 있었다. 또한 AI 도구 활용 역량, 코드 이해 역량, 실행·테스트 검증 역량, 오류 수정 역량, 근거 제시 역량, 책임 있는 활용 역량으로 구성된 AI·SW 코드 생성 검증 역량 프레임워크를 제안하였다. 본 연구는 코드 생성 사례와 검증 행동을 수업 활동 및 평가 루브릭으로 연결함으로써, 생성형 AI 활용 교육이 도구 사용 중심을 넘어 AI 산출물을 비판적으로 검토하고 책임 있게 활용하는 교육으로 확장될 수 있는 구체적 경로를 제시한다. 제안된 9단계 학습 과정, 6개 역량 범주, 5수준 루브릭은 프로그래밍 수업, AI 기초 수업, SW 융합 수업에서 생성형 AI 활용 과제를 설계할 때 참고할 수 있는 실행 가능한 틀을 제공한다. 본 연구는 생성형 AI 활용 교육을 프롬프트 작성과 코드 생성 중심에서 실행 검증, 테스트 설계, 오류 수정, 근거 제시, 책임 있는 활용을 포함하는 검증 중심 학습으로 확장하기 위한 교육 설계 기준을 제공한다.

The spread of generative AI tools is expanding learners’ activities in AI and software education from simply writing code to understanding, executing, verifying, revising, and explaining AI-generated outputs. This study explores the educational components of generative AI tool-use competency and AI-output verification competency in code generation activities for AI and software education. To this end, the study reviews UNESCO AI competency frameworks, guidelines for generative AI in education, AI literacy research, and prior studies on programming education with generative AI. It also analyzes illustrative educational code generation cases that can be used in introductory and intermediate programming courses. The findings structure generative AI-based code generation into nine learning stages: problem understanding, prompt construction, code generation, code interpretation, execution checking, test-based verification, error correction, ethical and security review, and self-explanation. Based on these stages, this study proposes a competency framework for verifying AI-assisted software code generation. The framework identifies six key competency areas: AI tool use, code comprehension, execution and testing, error correction, evidence-based explanation, and responsible use. By linking code generation cases with verification behaviors, instructional activities, and assessment criteria, the study provides a practical pathway for extending generative AI education beyond prompt writing and code production. The proposed nine-stage learning process, six competency categories, and five-level rubric offer instructional design guidance for AI-integrated tasks in programming, AI literacy, and software convergence courses. In doing so, the study shifts the focus of generative AI education toward verification-centered learning, including execution checking, test design, error correction, evidence-based explanation, and responsible use.

Software reuse significantly reduce the costs of software production in the field of open-source software (OSS) development and lead to produce more reliable software systems. Software metrics have been proposed as indicators of software quality factors such as reusability. However, few empirical research papers have validated the relationship between components reusability and software metrics. This research aims to validate Chidamber and Kemerer (CK) metrics as predictors of software reusability. In order to achieve this goal, an empirical study is conducted to validate metrics in classifying two groups of components: library (reuse-prone) and non-library (less reuse-prone). A nearest neighbor’s technique is used to classify library and application components using object-oriented software metrics. The approach is applied to a number of library and application systems available online. The conducted nearest neighbors models have produced acceptable classification. The results provide evidence of using metrics as surrogates of software reusability when models are evaluated using F-measure. CK metrics can be used to measure component reuse-proneness and can be used to differentiate between library and application components. A nearest neighbor’s technique can be used to identify the reuse-prone components in open-source application.

Component-based software reuse has been generally regarded as a promising approach to improving software productivity and quality within software development. However, progress in component-based software reuse has been slower than expected. Much of the software reuse literature points to the lack of software components that can maximize users' benefits as the most important source of the slow progress. Considering that the underlying processes behind component-based software reuse are strikingly similar to commercial software marketing, this paper attempts to identify the aspects of software components that consumers value and to establish relationships between the identified aspects and consumer behavior in the software component market. More specifically, this paper focuses on the perceived subjective features of software components. This study was conducted in a web-based artificial market environment called "SofTrade."

Engineering design applications require the support of long transactions in cooperative environments. The problem of the existing copy/update/merge approaches is that the partial effects of a committed transaction may be not part of the merged version. This paper introduces a new cooperative transaction model, which allows updates to be progressively notified or propagated into other transactions accessing the same object. To support incremental update propagation and notification, we use the term dynamic dependency to define the intertransaction dependency relationships among all the objects checked out from the public database. Consistency in multiple copies of the same object is achieved by a two-phase delta-merge protocol. Our model provides a synchronization of cooperative updates performed in several workspaces without using locking mechanisms.

In order to make cognitive radio systems a practical technology to be deployed in real-world scenarios, the core Software Defined Radio (SDR) systems must meet the stringent requirements of the target application, especially in terms of performance and energy consumption for mobile platforms. In this paper we present a feasibility study of hardware acceleration as an energy-efficient implementation for SDR. We identified the amplifier function from the Software Communication Architecture (SCA) for hardware acceleration since it is one of the functions called for most frequently and it requires intensive floating-point computation. Then, we used the Virtex5 Field-Programmable Gate Array (FPGA) to perform a comparison between compiler floating-point support and the on-chip floating-point support. By enabling the on-chip floating-point unit (FPU), we obtained as high as a 2X speedup and 50% of the overall energy reduction. We achieved this with an increase of the power consumption by no more than 0.68%. This demonstrates the feasibility of the proposed approach.

본 논문에서는 소프트웨어 구성 요소(component)를 저장, 검색할 수 있는 라이브러리를 제안하고, 이를 관리하고 제어하기 위한 사용자 인터페이스를 설계 및 구현하였다. 이 라이브러리에 버전 제어를 위한 구성 요소를 적용하고, 구성 요소를 정량적으로 테스팅하여 구성 요소를 사용자가 선택할 때에 정량적 비율이 높은 구성 요소를 선택할 수 있다. 이 시스템은 버전 제어를 위한 기반 시스템으로 사용되며, 이러한 사용자 인터페이스와 라이브러리를 Smalltalk를 사용하여 구현하였다.

In this paper library is proposed to store and retrieve the software components, in addition to that designed and implemented the user interface for management and control of this library. Applying components to this library for version control, component's quantitative testing are processed. In the case of user selection of component's a high quantative rate components can be selected.

SDR (Software Defined Radio) 기술은 세계적인 공통 표준이 없는 이동통신 시스템을 하나의 단말을 이용하여 소프트웨어적으로 접근 가능하도록 만들어주는 것이다. SDR에서는 소프트웨어 프레임워크의 표준으로 JTRS JPO에서 정의한 SCA (Software Communications Architecture)를 채택하였다. 본 논문에서는 SCA의 구조에 대해서 간단히 살펴보고 소프트웨어 컴포넌트의 실시간 교체 방법이 필요한 부분임을 프로그램 시뮬레이션을 통해 제시한다.

지금까지의 국방 응용업무는 적용분야 및 개발환경에 깊이 의존된 연통형 개발방법으로 구축되어 타 응용 체계와의 상호운용성이 매우 부족한 상태이다. 또한 유사한 체계를 개발할 때 이미 개발된 동일 기능의 프로그램이 있는 경우라 하더라도 재사용성이 미흡하여 새롭게 중복 개발되곤 했다. 재사용의 가능성을 높이고 상호운용성을 충분히 확보하기 위하여 컴포넌트 기반의 소프트웨어 구축이 필요하다. 이 논문에서는 국방 컴포넌트 구조를 확립하기 위한 기초 연구로 도메인 분석을 수행하였다. 특히 군수 분야의 업무 흐름을 파악하여 컴포넌트화 가능한 기능틀을 찾아내었다. 기능 중심의 도메인 분석 방법을 적용하여 컴포넌트가 될 부분을 찾아내었고 이들은 향후 국방 소프트웨어 구조의 일부로 정의될 것이다.

본 논문은 컴포넌트 명세서 구문구조를 XML 기반으로 모델링 하였다. 즉, 컴포넌트 명세서 구문구조를 XML 문서형 정의(DTD) 문법에 맞도록 컴포넌트 명세서 DTD를 제안하였으며, DTD 구조에 유효한 컴포넌트 명세서 XML 문서 예를 제시하였다. 그리고 XML기반 컴포넌트 명세서 문서를 편리하게 생성, 관리할 수 있는 지원도구의 기본 아키텍쳐를 설계하였다.

This paper proposed a kind of software component specification method based on XML. We define a document type definition(DTD) of software component specification for the XML representation of a component. The semantic relationship of the component elements in diagrams of component specification must be Presented by the XML tag. This paper also designs the supporting tool for the representation of the software component specification.

본 논문은 컴포넌트 S/W의 저장, 관리, 유통 활성화를 위하여 컴포넌트 명세서를 규격화하고 규격화된 컴포넌트 명세서를 표준 메타언어인 XML 기반으로 모델링하는 것이다. 클래스 라이브러리의 한계점들을 극복하고 소프트웨어 재사용성을 향상시키기 위한 단위로 만들어진 컴포넌트 단위의 재사용 기법의 XML 기반의 컴포넌트 명세서로 인해 더욱 활성화 될 수 있을 것이다. 또한, 컴포넌트 메타데이터 및 리소스 정보, 외부 인터페이스들의 논리적 구조 및 시맨틱 표현기법을 연구하고 컴포넌트 명세서 표현을 위한 메타데이타 모델을 근거로 컴포넌트 명세서를 효과적으로 생성할 수 있는 GUI 기반 명세서 기반 도구를 설계한다.

본 논문은 지능형 로봇의 소프트웨어 컴포넌트의 개발을 위한 시뮬레이션 시스템을 위한 개발 환경을 구현하고자 한다. 개발 환경 설계는 지능형 로봇 시스템에 적합한 컨포넌트를 전문지식 없이도 쉽고 편리하게 작성하고 작성된 컴포넌트의 서비스를 빠르고 쉽게 검증 할 수 있도록 설계하였다.

AUML(Agent Unified Modeling Language)은 에이전트 소프트웨어 시스템의 명세화, 시각화, 생성을 목적으로 하는 언어이다. 본 연구에서는 소프트웨어의 복잡화, 대형화 추세에 자동화 응용 프로그램 생성 시스템들 중의 하나인 Together를 Agent의 BDI에 응용시키고 이를 컴포넌트 시스템의 상호 운영성에 대하여 고찰한다. 상호 운용성은 컴포넌트간의 데이터 교환에 의해 이루어지며 컴포넌트의 타입이 다르더라도 서로 협력할 수 있는 표준 명세서(FIPA:Foundation for Inteligent Physical Agent)를 기반으로 ACL 메시지, 그리고 프로토콜을 사용하며 이를 객체지향 모델링을 통한 메타모델기반 등을 이용하여 구현 시 오류를 최소화하는 방법과 정확성과 일관성에 관하여 연구한다.

AUML (Agent Unified Modeling Language) is specification anger of agent software system, sight anger, language that do creation by purpose. Do so that may apply Together that is one of automation application program creation system to Agent's BDI in trend sophistication of software, large size Tuesday in this research and investigate this about operation between component system. Standard detailed statement (FIPA:Foundation for Inteligent Physical Agent) that use can consist by data exchange between component and cooperate each other even if type of component is different mutually to base ACL message, and protocole use and study about method and accuracy and consistency that minimize error when embody this using meta model base etc.. through object intention modelling.

C4I 시스템과 같이 신뢰성이 강조되는 시스템의 개발에 있어 정형기법의 도입은 개발 과정에서 나타나는 결과물에 대한 검증을 가능케 함으로서 올바른 시스템을 개발하고 있다는 확신을 개발자와 의뢰자 모두에게 기공해준다. 본 논문은 엄밀한 검증이 필요한 컴포넌트를 설계할 때 사용될 수 있는 컴포넌트의 정형명세 기법과 이에 기반한 테스트 방법을 논한다. 특히 상태기반의 기능명세에 대해 미약선조건을 이용하여 분해하는 방법과 이 과정을 통해 생성된 하위명세에 대한 블랙박스 테스트케이스를 생성시키는 방법을 제시한다.

In developing highly reliable systems such as C4I systems formal methods provide both developers and clients with assurance that they are in the right development processes. This paper investigates into techniques for formal specifications and tests for software components where rigorous verification is required. In particular, the paper suggests decomposition techniques for state-model based specifications using the weakest precondition, and suggests test methods for the specification by generating black box test-cases.

이 논문에서는 물류체인관리(Logistic Chain Management) 소프트웨어 컴포넌트들을 웹을 통해 효율적으로 저장하고 검색할 수 있는 기능을 구현한다. 이 시스템은 기존에 개발된 윈도우즈용 컴포넌트 라이브러리 시스템의 저장 및 검색 기능을 웹을 통하여 이용할 수 있도록 구현하였다. 이에 따라 이 시스템을 이용하면 분산 환경에서 접근성이 높아질 뿐만 아니라 클라이언트에서 사용하는 운영체제 종류에 관계없이 컴포넌트를 저장, 검색할 수 있다.

현재 새롭게 개발되는 소프트웨어의 추세는 50% 이상이 분산 플랫폼에서 개발되고 있다. 또한 분산 플랫폼을 가능하게 하는 COM, CORBA, EJB와 같은 기술이 급격히 발전하고 있다. 그러나 대부분의 일반적인 컴포넌트 기반 소프트웨어 개발 방법론은 분산 플랫폼에 대한 고려를 체계적으로 다루지 않음으로써 컴포넌트의 분산에 의한 오버헤드를 충분히 극복할 수 있을 만큼의 이점을 얻기 어렵다. 따라서 본 논문에서는 분산 컴포넌트로 구성된 소프트웨어를 설계하는 과정에서 분산 이슈를 실질적으로 다루기 위하여 CORBA 환경을 고려하여 성능, 결함 방지, 안전성, 분산 트랜잭션의 분산 이슈를 명시적으로 다루기 위한 기본적인 지침을 제시한다.

Nondestructive inspection and accompanying life analysis based on fracture mechanics were the major conventional methods for evaluating remaining life of critical high temperature components in power plants. By using these conventional methods, it has been difficult to perform in-service inspection for life prediction. Also, quantitative damage evaluation due to unexpected abrupt changes in operating temperature was almost impossible. Thus, many efforts have been made for evaluating remaining life during operation of the plants and predicting real-time life usage values based on the shape of structures, operating history, and material properties. In this study, a core software for on-line life monitoring system which carries out real-time life evaluation of a critical component in power boiler(high temperature steam headers) is developed. The software is capable of evaluating creep and fatigue life usage from the real-time stress data calculated by using temperature/stress transfer Green functions derived for the specific headers and by counting transient cycles. The major benefits of the developed software lie in determining future operating schedule, inspection interval, and replacement plan by monitoring real-time life usage based on prior operating history.

콤포넌트 가변성 장치를 이용하면 사용자가 용도에 알맞게 기능을 특화할 수 있다. 프로덕트 라인은 다양하고 빠르게 변화하는 시장의 요구사항과 특정 도메인 영역에 속하는 애플리케이션간의 재사용 가능한 아키텍처 및 컴포넌트의 구성으로부터 연관된 시스템 구축 시 생산성과 품질의 향상을 제공함으로써 현재 많은 관심의 초점이 되고 있다. 프로덕트 라인에서 컴포넌트 내부에 공통으로 사용할 워크프롤로를 가지고 있어 컴포넌트 사용자는 Sequence Diagram등을 통해 메시지 흐름을 직접 구현할 필요가 없다. 재사용 가능한 아키텍처는 많은 변화 계획들과 메커니즘을 포함하고 있다. 하지만, 아키텍처를 설계하기 위한 아키텍처에서의 변화성 관리에 대한 명확한 방법이 미흡하다. 따라서 본 논문에서는 재사용 가능한 아키텍처를 설계하기 위해 변화성의 명확한 표현과 아키텍처에서의 적절한 위치를 식별하기 위해, 다양한 변화성 타입을 정의하고, 프로덕트 라인 아키텍처상의 컴포넌트 설계의 변화성을 표현하고, 다중 뷰의 모델링을 통하여 프로덕트 라인의 다양한 측면을 제시하고, 사례연구로 성적관리 컴포넌트 모델링에 적용해 보고자 한다.

The companies are trying to apply to software development approach by utilizing open-source components. The open-source components are new alternatives to solve limits of the previous software developments such as quality of software, time and cost of development. Accordingly, various analysis of open-source components were performed. However, the researches about the detailed procedures and methods to utilize open-source components in practical industry are immature. In this paper, we propose the procedures and cases for identifying, validating, selecting of suitable open-source components and for applying to change and modification. Proposed procedures and cases will be a great contribution to spread of utilizing the open-source.