• Title/Summary/Keyword: 검증 소프트웨어

Search Result 2,336, Processing Time 0.031 seconds

The Effects of Perceived Usefulness and Self-Regulated Learning of Employees on Learning Performance in Online Software Education -Focused on Serial Multiple Mediation Model of Digital Literacy and Satisfaction- (온라인 소프트웨어교육에서 직장인의 지각된 유용성, 자기조절학습능력이 학습성과에 미치는 영향 -디지털 리터러시, 만족도의 직렬다중매개모형 분석중심-)

  • Lee, Eun-Young
    • Journal of Digital Convergence
    • /
    • v.20 no.4
    • /
    • pp.83-92
    • /
    • 2022
  • With the digital transformation of the entire industry, software competency has become the core competency for the future talent. However, it is difficult to find researches related to the corporate education for improving employee's software capability. Therefore, this study tried to verify the relationship between factors affecting the learning performance of employees in online software education. For this purpose, a survey of 223 employees with online software education experience was analyzed using the SPSS PROCESS macro. As a result of analysis, perceived usefulness and self-regulated learning have been found to have a significant multiple mediating effect on learning performance by digital literacy and satisfaction. This suggests that not only learner factors but also the characteristics of education should be considered. The results of this study are expected to be helpful in designing effective online education programs.

The Influence of Robot Education Using Magnetic Force on the Computational Thinking (자력을 활용한 로봇 교육이 컴퓨팅 사고력에 미치는 영향)

  • Lee, Jaeho;Kim, Hakmin
    • Journal of Creative Information Culture
    • /
    • v.5 no.3
    • /
    • pp.275-283
    • /
    • 2019
  • The fourth industrial revolution is emerging as the talk of the times. The industrial structure is changing greatly from the past, as well as the social scene, changing our daily lives. Especially, the importance of the software sector is growing. For students who have to live in this future society, computational thinking is a key capability. In order to achieve this goal, this study was carried out in the following steps. First, we organized a SW education convergence program based on life-oriented aspects. Second, the configured program was applied to the site to verify the effectiveness of computational thinking. The results of this study show that the experimental group has 32 points better than the pre-test, and the comparative group has about 2 points better. The statistical significance probability was a significant difference of .028. The results of this study may be used as a reference for the training of SW convergence education and future talent in the future.

Management of Reliability and Delivery for Software Object Material (소프트웨어 목적물의 전달체계 분석과 신뢰성 검증)

  • Kim, Do-Hyeun;Lee, Kyu-Tae
    • Journal of Software Assessment and Valuation
    • /
    • v.15 no.2
    • /
    • pp.51-57
    • /
    • 2019
  • On increasing illegal software copyright, the need for similarity analysis is now rising. The reliability of object material are becoming important when it's moving from developer to evaluation experts. Object material as a comparison data, is the important data to the evaluation expert which is delivered from agencies such as courts and police stations. The object material is submitted at first to the Copyright Commission and then delivered to the evaluation expert with safe. However, if the similarity result is not satisfied to the both side, they will claim to the reliability of the object material such as source code modification or revision etc. Software objects is produced in a file format and are recognized as being able to be modified. Therefore, the reliability to the object material is studied in various ways, and a forensic is proposed as one method. This study showed the suggestion to keep reliability of the object material through the actual evaluation cases.

Development of MATLAB GUI-based Software for Performance Analysis of RNSS Navigation Message and WAD-RNSS Correction (지역 위성항법시스템 항법메시지 및 광역 보정정보 성능 분석을 위한 MATLAB GUI 기반 소프트웨어 개발)

  • Jaeuk Park;Bu-Gyeom Kim;Changdon Kee;Donguk Kim
    • Journal of Advanced Navigation Technology
    • /
    • v.27 no.5
    • /
    • pp.510-518
    • /
    • 2023
  • This paper introduces a MATLAB graphical user interface (GUI) based software for performance analysis of navigation message and wide area differential correction of regional navigation satellite system (RNSS). This software was developed to analyze satellite orbit/clock-related performance of navigation message and wide area differential correction simulating RNSS for regions near Korea based on different distributions of monitor and reference stations. As a result of software operation, navigation message and wide area differential correction are given as output in MATLAB file format. From the analysis of output, it was confirmed that valid navigation message and wide area differential correction could be generated from the results about statistical feature of orbit and clock prediction errors, cm-level fitting errors for navigation message parameters, and 81.9% enhancement in range error for wide area differential correction.

An User-Friendly Kiosk System Based on Deep Learning (딥러닝 기반 사용자 친화형 키오스크 시스템)

  • Su Yeon Kang;Yu Jin Lee;Hyun Ah Jung;Seung A Cho;Hyung Gyu Lee
    • Journal of Korea Society of Industrial Information Systems
    • /
    • v.29 no.1
    • /
    • pp.1-13
    • /
    • 2024
  • This study aims to provide a customized dynamic kiosk screen that considers user characteristics to cope with changes caused by increased use of kiosks. In order to optimize the screen composition according to the characteristics of the digital vulnerable group such as the visually impaired, the elderly, children, and wheelchair users, etc., users are classified into nine categories based on real-time analysis of user characteristics (wheelchair use, visual impairment, age, etc.). The kiosk screen is dynamically adjusted according to the characteristics of the user to provide efficient services. This study shows that the system communication and operation were performed in the embedded environment, and the used object detection, gait recognition, and speech recognition technologies showed accuracy of 74%, 98.9%, and 96%, respectively. The proposed technology was verified for its effectiveness by implementing a prototype, and through this, this study showed the possibility of reducing the digital gap and providing user-friendly "barrier-free kiosk" services.

Design and Implementation of Social Media Platform for Sound Communication: POCHAK (건강한 소통을 위한 소셜 미디어 플랫폼의 설계 및 구현: 포착)

  • Ji-Soo Oh;Suyeon Hwang;Na-Ri Jang;Young-Seo Cho;Jungyeon Seo;Jongwoo Lee
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.24 no.5
    • /
    • pp.9-17
    • /
    • 2024
  • The original purpose of SNS was to facilitate online networking among people. However, in recent years, this purpose has been faded, and the platform has become more of a means of self-promotion than genuine self-expression. This paper proposes and implements POCHAK, a social media platform designed to address the aforementioned issues and facilitate "sound communication." The POCHAK platform does not permit the users to take their own photos, thereby eliminating the potential for photos being manipulated and retouched. The POCHAK platform only allows other people to take photos of users only through the in-app camera. Furthermore, the photos cannot be edited during the upload process and cannot be saved before uploading, thus requiring users to upload the photos in their original form. In this paper, we implemented the POCHAK platform as an iOS app, application server, data management server, and photo storage server, and verified its feasibility by utilizing it in the field. We are sure that the POCHAK platform will be a new type of SNS platform that regains the original purpose of SNS and enables sound communication.

A Method to Verify the Reachability of Real-Time Systems using Abstract Timed Machines (추상 시간 기계를 이용한 실시간 시스템의 도달성에 대한 검증 방법)

  • Park, Ji-Yeon;Lee, Mun-Geun
    • Journal of KIISE:Software and Applications
    • /
    • v.28 no.3
    • /
    • pp.224-238
    • /
    • 2001
  • 본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성되어 있으며 모드는 머신의 압축된 상태를 표현한다. 전이는 하나의 모드에서 다른 모드로의 전환을 나타내며 조건과 이벤트로 구성되어 있다. 포트는 ATM간의 상호작용을 위한 진입을 표현한다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 측면에서 볼 때 ATM은 계산 논리뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM의 모드는 계산모드, 추상화 모드, 주제모드로 구분된다. 계산 모드는 코드 상에서의 논리와 계산을 나타내며 추상화 모드는 모드와 전이의 블록을 하나의 ATM으로써 표현한다. 대개의 경우, 이것은 코드 상에서의 블록을 ATM내 하나의 모드로 나타낼 때 사용한다. 주제 모드는 예외나 주기적 동작 등과 같은 다수의 ATM의 주제를 표현한다. 실시간 시스템을 검증하기 위해 시스템의 소스 코드는 역명세 과정을 통하여 ATM으로 표현된다. 검증은 ATM에 대한 도달성 그래프를 생성하는 것에 의해 수행된다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 방법들과 예제를 통하여 비교한다.수 있다. 모피우스는 헤더나 광고와 같은 불필요한 정보들을 제거하는 별도의 단계를 거치지 않으므로 wrapper를 빠르게 생성한다. 궁극적으로 모피우스는 새로운 웹 상점을 사용자가 자유롭게 추가, 삭제할 수 있는 환경을 제공한다.X>와 반응시킬 경우에는 반응식 c에 의거 진행됨을 예측할 수 있었다.의거 진행됨을 예측할 수 있었다.이 거의 산화되지 않았고, $700^{\circ}C$에서도 ZnS와 ZnO 상이 공존한 것으로 보아 SnO$_2$코팅이 ZnS의 산화를 억제하는 것으로 나타났다.pplied not only to the strike system in the RSC circle, but also to the logistics system in the SLC circle. Thus, the RSLC model can maximize combat synergy effects by integrating the RSC and the SLC. With a similar logic, this paper develops "A Revised System of Systems with Logistics (RSSL)" which combines "A New system of Systems" and logistics. These tow models proposed here help explain several issues such as logistics environment in future warfare, MOE(Measure of Effectiveness( on logistics performance, and COA(Course of Actions)

  • PDF

A Study on the Effects of Software Developer's Job Satisfaction on Organizational Commitment and Turnover Intension (소프트웨어 개발인력의 직무만족이 조직몰입도와 이직의도에 미치는 영향에 관한 연구)

  • Jeon, Ho-Jin;Lee, Young-Joo;Lee, Jung-Hoon
    • The Journal of Society for e-Business Studies
    • /
    • v.17 no.4
    • /
    • pp.221-242
    • /
    • 2012
  • The rising value of software developers has made corporations, including IT companies, to focus on recruitment of software developers. However, the domestic software industry, where SMEs represents quite a large proportion of the industry, is facing problems of low rate of human resources and high rate of job turnover. These problems have not been solved until today. This study hypothesizes that software developer's job satisfaction has an effect on organizational engagement and intention to job transfer. The purpose of this study is to provide implications on desirable human resources management and work environment, that lowers intentions to job transfer by elevating job satisfaction of the software developers. The results of the study reveal that among job satisfaction factors, recognition, autonomy, work-life balance, work environment have significant effects on fob satisfaction. Also, the software developer's job satisfaction elevates organizational engagement and lowers intention to job transfer. In addition, job satisfaction is has partly has mediating effect between job satisfaction and intention to job transfer. Several practical implications are discussed.

Constructing Software Structure Graph through Progressive Execution (점진적 실행을 통한 소프트웨어의 구조 그래프 생성)

  • Lee, Hye-Ryun;Shin, Seung-Hun;Choi, Kyung-Hee;Jung, Gi-Hyun;Park, Seung-Kyu
    • Journal of the Korea Society of Computer and Information
    • /
    • v.18 no.7
    • /
    • pp.111-123
    • /
    • 2013
  • To verify software vulnerability, the method of conjecturing software structure and then testing the software based on the conjectured structure has been highlighted. To utilize the method, an efficient way to conjecture software structure is required. The popular graph and tree methods such as DFG(Data Flow Graph), CFG(Control Flow Graph) and CFA(Control Flow Automata) have a serious drawback. That is, they cannot express software in a hierarchical fashion. In this paper, we propose a method to overcome the drawback. The proposed method applies various input data to a binary code, generate CFG's based on the code output and construct a HCFG (Hierarchical Control Flow Graph) to express the generated CFG's in a hierarchical structure. The components required for HCFG and progressive algorithm to construct HCFG are also proposed. The proposed method is verified through constructing the software architecture of an open SMTP(Simple Mail Transfer Protocol) server program. The structure generated by the proposed method and the real program structure are compared and analyzed.

The Role of Clients in Software Projects with Agile Methods (애자일 방법론을 사용한 소프트웨어 프로젝트에서의 사용자 역할 분석)

  • Kim, Vladimir;Cho, Wooje;Jung, Yoonhyuk
    • Journal of Intelligence and Information Systems
    • /
    • v.25 no.3
    • /
    • pp.141-160
    • /
    • 2019
  • Agile methodologies in software development, including the development of artificial intelligence software, have been widespread over the past several years. In spite of the popularity of agile methodologies in practice, there is a lack of empirical evidence to identify determinants of success of software projects in which agile methods are used. To understand the role of clients in software project where agile methods are used, we examine the effect of client-side factors, including lack of user involvement, unrealistic client expectations, and constant changes of requirements on project success from practitioners' perspective. Survey methods are used in this study. Data were collected by means of online survey to IT professionals who have experience with software development methodologies, and ordered logit regression is used to analyze the survey data. Results of our study imply the following managerial findings. First, user involvement is critical to project success to take advantage of agile methods. Second, it is interesting that, with an agile method, constant changes of client's requirements is not a negative factor but a positive factor of project success. Third, unrealistic client expectations do negatively affect project success even with agile methods.