• Journal of Information Science Theory and Practice
• /
• v.10 no.3
• /
• pp.24-39
• /
• 2022

Online learning is becoming ubiquitous worldwide because of its accessibility anytime and from anywhere. However, it cannot be successfully implemented without understanding constructs that may affect its adoption. Unlike previous literature, this research extends the Unified Theory of Acceptance and Use of Technology with three well-known theories, namely compatibility, online self-efficacy, and knowledge sharing and acquisition to examine online learning adoption. A total of 264 higher education students took part in this research. Partial Least Squares-Structural Equation Modeling was used to evaluate the proposed theoretical model. The findings suggested that performance expectancy and compatibility were significant predictors of behavioral intention, whereas behavioral intention, facilitating conditions, and compatibility had a significant and direct effect on online learning's actual use. The results also showed that knowledge acquisition, knowledge sharing, and online self-efficacy were determinates of performance expectancy. Finally, online self-efficacy was a predictor of effort expectancy. The proposed model achieved a high fit and explained 47.7%, 75.1%, 76.1%, and 71.8% of the variance of effort expectancy, performance expectancy, behavioral intention, and online learning actual use, respectively. This study has many theoretical and practical implications that have been discussed for further research.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.15 no.4
• /
• pp.19-24
• /
• 2015

Security has been a major concern in software development. Security tactics are reusable building blocks providing a general solution for recurring security concerns at the architectural level. They are often used together with architectural patterns which provide a general solution for architecting software systems. However, use of security tactics in architectural patterns has been understood only conceptually without concrete understanding of how their involved elements should be structurally and behaviorally co-designed. In this paper, we present model-driven analyses of security tactics in the context of Broker architectural patterns and provide evidences of the analyses in real world case studies.

• Proceedings of the KSRS Conference
• /
• 2007.10a
• /
• pp.175-178
• /
• 2007

COMS (Communication Ocean Meteorological Satellite) is the geostationary satellite being developed by Korea Aerospace Research Institute for multi-mission: experimental communication, ocean monitoring and meteorological observations. The COMS operation is controlled by the on-board software running on the spacecraft central computer. The software is written in ADA language and developed under the software life cycle: Requirement analysis, Design, Implementation, Component test and Integration test. Most functional requirements are tested at component level on a software component testing tool, ATTOL. ATTOL provides a simple way to define the test cases and automates the test program generation, test execution and test analysis. When two or more verified components are put together, the integration test starts to check the non-functional requirements: real-time aspect, performance, the HW/SW compatibility and etc. This paper introduces the COMS on-board software and explains what to test and how to test the on-board software at component level using ATTOL.

• Proceedings of the KSRS Conference
• /
• 2007.10a
• /
• pp.460-463
• /
• 2007

COMS (Communication Ocean Meteorological Satellite) is the geostationary satellite being developed by Korea Aerospace Research Institute for multi-mission: experimental communication, ocean monitoring and meteorological observations. The COMS operation is controlled by the on-board software running on the spacecraft central computer. The software is written in ADA language and developed under the software life cycle: Requirement analysis, Design, Implementation, Component test and Integration test. Most functional requirements are tested at component level on a software component testing tool, ATTOL. ATTOL provides a simple way to define the test cases and automates the test program generation, test execution and test analysis. When two or more verified components are put together, the integration test starts to check the non-functional requirements: real-time aspect, performance, the HW/SW compatibility and etc. This paper introduces the COMS on-board software and explains what to test and how to test the on-board software at component level using ATTOL.

• IEIE Transactions on Smart Processing and Computing
• /
• v.5 no.1
• /
• pp.63-69
• /
• 2016

This paper presents methods to improve the effectiveness of electromagnetic shielding. The slit appears in an enclosure's surface to ventilate. Slits may also appear due to power supply lines or to serve as a communication link between electronic circuits inside and outside the box. We simulated electromagnetic radiation in different conditions in order to propose a method to improve the effectiveness of electromagnetic shielding to ensure electromagnetic compatibility using CST software (Computer Simulation Technology).

• International Journal of Precision Engineering and Manufacturing
• /
• v.3 no.4
• /
• pp.15-23
• /
• 2002

With the development of a laser scanner of high precision and increased speed, reverse engineering becomes a key approach to reduce the time for the development of new products. But the modeling process is not so automated enough until now. Modeling in real workshops is usually performed by the experienced operators and it requires a skillful technique to get the resultant surface of high quality and precision. In this paper, a systematic solution is proposed to automate the free-form surface generation from the measured point data. Compatibility is imposed to the measured point data during input curve generation. And the compatibility of cross-sectional curve is also considered for the loft surface generation. The data in each step is produced in IGES file format to make an easy interface to other CAD/CAM software without any further data manipulation.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.12
• /
• pp.899-902
• /
• 2013

In this paper, we present a method to visualize the contact region between two molecules in a protein complex in a threedimensional space. The contact region of two molecules shows compatibility in geometric aspects. Usually, the computation of the area of contact region has been used to show the strength of compatibility. The numerical value and simple drawing of contact region would be useful for comparing the relative strength of different contacts, but it is not appropriate for analysing the geometric characteristics of the contact region. In this paper, we present a method to show the compatibility between two molecules by visualizing the distance information between them.

• Journal of Technology Innovation
• /
• v.15 no.1
• /
• pp.115-144
• /
• 2007

This paper is concerned with figuring out a scheme to facilitate UML utilization through examining the factors which affect the intention to use UML. For this, we conducted a survey of those factors among software engineers in IT service companies. In order to examine the factors affecting the intention to use UML, we developed a model by combining the Technology Acceptance Model and the Innovation Attributes Theory, which have been proved to explain well about the acceptance of new technologies and services. Statistical analysis shows that the subjective norm which is one of social factors has significant influence on the career consequences, and also on the compatibility when the result of UML utilization is demonstrable. The career consequences, the compatibility and the ease of use are found to have significant influence on the usefulness perception of UML utilization, implying that the recognition that one's future career can be affected in the long term by UML utilization is important in shaping how one perceives the usefulness along with the compatibility with one's current task type and the ease of use. The usefulness and the compatibility are evaluated to be the factors that have significant influences on the intention to use UML.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2000.10a
• /
• pp.243-246
• /
• 2000

Software Engineering covers techniques, tools, and methodologies needed to develop, acquire, and manage software in high quality, using appropriate resources. Therefore it can be said that the administration target of software engineering activities is the pursuit of high productivity for production of software in good quality. To do this, they should establish the engineering principle based on engineering theory and concept, and form the effective environment of engineering technology through improving development methods/methodology and tools of software engineering. In addition several guidances related to information system planning, acquisition, development, management, maintenance, and evaluation, etc. must be invented on the basis of software engineering to encourage efficiency of public information business yearly increasing fastand to make sure compatibility and interoperability.

• Journal of KIISE:Software and Applications
• /
• v.34 no.9
• /
• pp.785-796
• /
• 2007

In object-oriented systems, objects are organized in hierarchies such that subtypes Inherit and specialize the structure and the behavior of supertypes. Behavioral compatibility is a very crucial issue to permit the substitution between object types, which supports the extension and evolution of object oriented system. This paper proposes successive methods rule that extending methods rule for checking behavioral compatibility between objects on the basis of their dynamic behaviors expressed in finite state machine which is one of the most frequently used notations for expressing dynamic behaviors of object. Based on the classical methods rule, successive methods rule is used for guarantee behavioral compatibility by checking the traces of two objects. And we describe an algorithm for verifying behavioral compatibility between objects using the successive methods rule.