• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.8
• /
• pp.317-322
• /
• 2019

Programming judge systems for programming training support are typically built on the Web, where the examiners uploads a programming problem, which the student reads and submits an answer to the problem. The judge system executes the submitted answer of source code to provide feedback such as pass, failure, and error messages. Students who receive the feedback except for the pass continues debugging the source code until they are judged to pass. We developed an online judge system to support programming training and analyzed answers submitted by the students and found that many of the students who were not judged to pass that test did not know exactly where they were wrong but continued to solve the problem. The current judge system generally feeds runtime error messages back to students. However, with only runtime error message, it is difficult for student who train to find the wrong part of the answer. Therefore, in this paper, we propose a system that provides the feedback of programming failure by analyzing the control flow of the test cases used in the source code submitted by the student. The proposed system helps students find the wrong parts more quickly by feeding back the paths where faults in the control flow may exist. In addition, we show that this system is applicable to the answer source code that the actual student submitted.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.17 no.30
• /
• pp.153-160
• /
• 1994

In this paper, we present the application of knowledge-based system technique for generating of PLC ladder diagram The developed prototype system receives a time chart as an input and generates a ladder logic as its output This results in the computerization and intellegent processing of PLC programming. The system can be effectively applied to sequence control where the PLC programs need to be frequently changed and generated.

• The Journal of Korean Association of Computer Education
• /
• v.5 no.3
• /
• pp.69-77
• /
• 2002

It has been important of a web programming education with the rapid development of the internet. The learning system for the web programming education needs that develops web programming and can check the results on the web. In this paper. I suggested the learning system that can confirm the editable script result on the web client-side languages as well as server-side languages. The reference scripts that refer the web elements to study the web language make a database with an hierarchical structure. The reference script database enhances the utility of the script as managing the database system. The reference scripts can verify the results with the editable state that the structure of the web documents is altered and the elements, attributes, attributes's values of web languages is changed. The reference script tests can ascertain the adaption of it with the frame test and the window test.

• The KIPS Transactions:PartD
• /
• v.8D no.4
• /
• pp.421-426
• /
• 2001

A formal development method is used to develop software rigorously and systematically. In a formal development method, we specify system by a formal specification language and gradually develop the system more concretely until we can implement the system. VDM is one of formal specification languages. VDM uses mathematical data structures such as sets, sequences, and maps to specify the system, but most programming languages do not have such data structures. Therefore, these data structures should be converted. We can convert mathematical data structures in VDM to a linked list, a data structure in a programming language. In this article, we propose a method to convert a set, a sequence, and a map in VDM to a linked list in a programming language and prove the correctness of this conversion mathematically.

• The Journal of Engineering Research
• /
• v.6 no.1
• /
• pp.75-81
• /
• 2004

To solve the urban flood problems, it must get the enough channel conveyances and pumping capacities. It needs set up the detention system to control the flow over the channel capacity. Inspite of this detention system, the peak flow may increased by rainfall distribution and the delay of flow. This shows a design model of detention system which can consider the time problems from mutual connections of the detention storages and pumping flow using IDP(Incremental Dynamic Programming) method.

• Journal of information and communication convergence engineering
• /
• v.9 no.1
• /
• pp.21-26
• /
• 2011

In this paper, we suggest the object-oriented methodology for the design and implementation scheme for the program development in the application of control and instrumentation such as the detection system of RFID defective tags which needs the embedded programming. We apply the design methodology of UML in the system design phase, and suggest the implementation scheme of LabVIEW programs using LVOOP(LabVIEW Object Oriented Programming)in which make it possible to write the object-oriented programming. We design the class diagram and the sequence diagram using UML, and write the classes of LVOOP from the designed class diagram and the main VI from the sequence diagram, respectively. We show that it is possible to develop the embedded programs such as the RFID application through the implementation example of the detection system of RFID defective tags in this paper. And, we obtain the advantages based on the object-oriented design and implementation using the LVOOP approach such as the development of LabVIEW programs by adding the classes and the concept of object of the object-oriented language to LabVIEW.

• Journal of Korea Game Society
• /
• v.16 no.6
• /
• pp.143-150
• /
• 2016

Programming is a difficult meat for novices. Educatees nowadays start to play games before they first attend formal education. Serious games offer tools that may have potential to support programming trainers to become more engaged on their learning through a learn while having fun approach. This paper aims to design and implement serious game for programming education. Our serious game substitutes game rules and objects for elements of programming language. We will begin by describing the game mechanics, followed by the general system architecture, finalizing with a small conclusion. We also discuss the implications of our work for the development of the serious game that support the identified features and teach programming concepts.

• The Journal of Korean Association of Computer Education
• /
• v.10 no.5
• /
• pp.43-51
• /
• 2007

We have developed a peer agent to support programming learning and analyzed its educational effects in a programming course. The agent acts as a tutor or a tutee. The role of a tutor/tutee is like the role of a navigator/driver in pair programming. While students are learning with the peer agent, the students' programming abilities are modeled. Based on the student's model, the peer agent provides appropriate feedbacks and contents to the learner. The peer agent gives positive effects on learners' achievement and self-efficacy in a programming course. It means that the peer agent system helps the learner in an affective domain as well as a cognitive domain.

• Journal of applied mathematics & informatics
• /
• v.20 no.1_2
• /
• pp.345-354
• /
• 2006

In this paper first, we find a canonical symmetrical trapezoidal(triangular) for the solution of the fuzzy linear system $A\tilde{x}=\tilde{b}$, where the elements in A and $\tilde{b}$ are crisp and arbitrary fuzzy numbers, respectively. Then, a model for fuzzy linear programming problem with fuzzy variables (FLPFV), in which, the right hand side of constraints are arbitrary numbers, and coefficients of the objective function and constraint matrix are regarded as crisp numbers, is discussed. A numerical procedure for calculating a canonical symmetrical trapezoidal representation for the solution of fuzzy linear system and the optimal solution of FLPFV, (if there exist) is proposed. Several examples illustrate these ideas.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.11 no.3
• /
• pp.21-27
• /
• 2002

In this paper, we have developed a Widows 98 version Off-Line Programming System which can simulate a Robot model in 3D Graphics space. The SCARA robot with four joints (FARA SM5)was adopted as an objective model. Forward kinematics, inverse kinematics and robot dynamics modeling were included in the developed program. The interface between users and the OLP system in the Widows 98's GUI environment was also studied. The developing language is Microsoft Visual C++. Graphic 1ibraries, OpenGL, by silicon Graphics, Inc. were utilized for 3D Graphics.