• The Journal of Korean Association of Computer Education
• /
• v.7 no.6
• /
• pp.129-139
• /
• 2004

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.

• Journal of The Korean Association of Information Education
• /
• v.5 no.3
• /
• pp.401-414
• /
• 2001

The purpose of this paper was to diagnose the current status of educational use of Information and Communication Technology (ICT) in school. Based on the survey results, the direction for the educational use of information and communication technology was suggested. The findings were the use of ICT for teaching and learning activities were quite low in schools. The equipments for ICT were becoming out-dated quickly requiring replacement with new ones. The maintenance and operation of the equipments require additional funds that are not sufficient in most schools. There were quite limited number of educational software and a quality of CD-ROM titles. The infrastructures for developing and supplying educational software were poorly structured. The following policies were suggested: Establishing an efficient system for supplying equipments for ICT to schools; Constructing an effective infrastructure for developing and supplying educational software to teachers and students; Developing practical and effective teacher training programs; And funding schools for the maintenance of educational use of ICT.

• Journal of the Semiconductor & Display Technology
• /
• v.14 no.4
• /
• pp.8-12
• /
• 2015

As NMP (N-Methyl-2pyrrolidone) is becoming important in many fields, the demand for it is also rising rapidly. With its chemical property of high boiling point, low vapor pressure and high water solubility, it is easy to recover it after processing. Therefore, it is increasingly needed to develop a system that effectively recovers NMP solvent. The study produced a system modeling using AMESim software before developing high purity solvent recovery (HPSR) system to recover NMP solvent. Then, it verified reliability by comparing the simulation model with the test result.

• Journal of the Korea Society of Computer and Information
• /
• v.16 no.2
• /
• pp.235-242
• /
• 2011

The industry of computer has been changed quickly by developing and growing info-communications industry and by supplying new technologies. The importance of software field which is based on this change is gradually emphasized. Nowadays more people tend to have realization of mathematics and statistics that are basic theory of software study, moreover, discrete mathematics is especially getting more important in whole mathematics field. It's essential to understand discrete mathematics in order to understand existing knowledge about software field in computer engineering and develop new technologies in different areas in the future. The way people get education about discrete mathematics, however, is improper as a result of massive materials and uncertain standard. This study subdivides discrete mathematics according to different tracks in the computer software study. In addition, the research which is suitable to individuality in different fields is able to be efficiently carried out by selecting related parts and the method of mathematics education is provided to deal with rapidly changed applications in related fields.

• Journal of The Korean Association of Information Education
• /
• v.24 no.6
• /
• pp.615-622
• /
• 2020

This paper analyzed 'Software Education' of the Practical Arts unit among the six textbooks developed under the 2015 revised curriculum, and provided implications for selection of textbooks, researching curriculum, and developing the next textbook. As a result of analyzing the prior study, it was found that the inquiry analysis was insufficient in the case of the elementary school 'Software Education' unit. the inquiry analysis was insufficient. On the contrary, in the middle and high school textbook research was sufficient. Therefore, we analyzed the contents of the textbook using the Romey analysis method, judging that our children who will live in the era of the Fourth Industrial Revolution need an exploratory textbook. As a result of analyzing textbooks, there was no ideal textbook with inquiring tendencies in all analysis factors, and different analysis factors with high inquiring tendencies were found in each textbook. In the entire textbook, the analysis element with the lowest inquiring tendency was the text, and the highest analysis element was the activity. The analysis factors with the greatest deviation in the evaluation index between textbooks are data and evaluation.

• Journal of The Korean Association of Information Education
• /
• v.24 no.6
• /
• pp.643-652
• /
• 2020

Since the 21st century knowledge and information society 20 years ago, online education has been emphasized. Online courses at online universities or universities have been activated in developed countries. But to this day, online lectures have not been activated at education colleges and have been used as supplementary educational materials. Since February 2020, the company has been forced to provide online education due to external factors of the coronavirus. In this study, the results of the results of the first semester of 2020 by organizing the online lectures in the same way as the offline lectures for the 2019 prospective teachers are as follows. Online education can be seen as effective in terms of understanding the achievement criteria, in terms of developing teaching materials, in terms of evaluation data development and evaluation methods, and in terms of students' ability to provide software education.

• Journal of The Korean Association of Information Education
• /
• v.20 no.4
• /
• pp.357-366
• /
• 2016

The ability of computational thinking is a key competence that person of talent in the future should keep. Computational thinking is a serial process in which a problem is defined in context of computing, stages of abstraction are processed in order to find the efficient solution, the most appropriate process and resources for a solution are selected and combined through algorithms which use various concepts, principles and methods for automatic implementation of abstract concepts. It needs appropriate learning content in stage of elementary school. This study has verified the effect it made on improvement of learner's creative personality by developing and applying the educational content for software education based on the integrative production. The result of study confirmed that learning through the educational content for software education based on the integrative production affects improvement on learner's creativity positively and suggested a method of applying it to computing education in elementary school.

• Journal of Multimedia Information System
• /
• v.6 no.3
• /
• pp.147-154
• /
• 2019

In a variety of fields, highly developed technology is being combined to create a lot of value. In order to keep up with this global trend, the Ministry of Education, which is in charge of national education, continuously develops and applies content for creative education to textbooks. The continuous development of content for creative education is not only related to national interests, but also to the continued development of mankind. Today, the succession and development of human knowledge is in charge of the education system. Research into an effective educational system is necessary for effective succession of rapidly developing science and technology and building up technical personnel with such skills. In particular, the computer science field is faster in development than other scientific fields and has accumulated many technologies, indicating that it takes a lot of time and good teaching to foster talent that can effectively utilize the technology. In this paper, elementary school subjects were analyzed to achieve the purpose of cultivating talent in the field of computer science. In addition, we have investigated techniques related to computer programming learning not covered in elementary school subjects. So we developed content that students need to practice. Next, we taught the content to randomly selected elementary school students and assessed their educational effectiveness. As a result of training using the content we developed, 55.37% increased academic performance.

• The Journal of Korean Association of Computer Education
• /
• v.8 no.6
• /
• pp.1-12
• /
• 2005

IT education in the colleges or universities and IT industry in producing IT manpower are urgently called for to balance its supply and demand. To correct this problem, Ministry of Information and Communication launched a program where demand-oriented curriculums are developed and applied to colleges. This paper proposes a design technique based on meta-model and software development process in developing curriculums and courses. This meta-modeling technique is proven to result in the extendibility, flexibility and quality improvement in software design. Therefore, we expect that proposed technique makes it possible to be improved in quality.

• Hwankyungkyoyuk
• /
• v.17 no.1
• /
• pp.43-56
• /
• 2004

The purpose of environmental education is to cultivate democracy citizens suitable for sustainable society. Suitable citizens for sustainable society are fostered person of environmental literacy, environmental sensibility, ecological and synthetic sights of environmental problems, decision making of environmental problems, and environmental responsibility etc. by environmental education. To achieve this purpose of environmental education effectively, it is desirable that produces and utilizes ICT(Information and Communication Technologies) works and methods that can show efficiently special sides(inter-relation, long-term effects etc.) of environmental problems. ICT environmental education materials and methods are raising the interest and participate of teenagers to environmental education because they are accustomed to the Internet in South Korea. Students can easily conversation with the person of similar interests and environment experts through cyber ICT environmental education. The directions of developing ICT teaching materials for environmental education to enforce self-directed learning, cooperation studying etc.