A Development Method of GUI in Military System Software

Author(s):  
Sun-Myung Hwang ◽  
Ja-Yun Jo
Author(s):  
Ajie Rizal Asari

PT Khomsah Khalifah addressing Jl. Walungan RT/04 RW/02 Kel.Cisataranten Kulon Kec.Arcamanik Kab.Bandung 40293. At PT Khomsah Khalifah in carrying out the process of recording the purchase transaction, the manual has not yet been used in the program. This problem results in ineffective and efficient performance of all the divisions contained in the company body to the provision of information and reports needed. For these problems the researchers took the title of the final project “Designing Accounting Information Systems Purchasing at PT Khomsah Khalifah Using PHP And MySql Software”. The population used by the researcher is the purchase procedure of PT Khomsah Khalifah pata in 2015/2016 and the sample is the purchase procedure in 2015, the objek of the research conducted describes the purchasing procedure at PT Khomsah Khalifah, system development method that i use is waterfall. The results of the research that the author did was the purchase accounting information system software so that data processing and reporting of purchases at PT Khomsah Khalifah were expected to be computerized properly.


Author(s):  
Ai Hayati Rahayu ◽  
Bunyamin Faisal Syarifudin

Mastering science process skill is very beneficial in problem solving process. This research aimed to develop teaching materials such as science process skill-based textbooks on energy and its changes. The method used in this research was research and development, by using the 4D design, which include define, design, develop, and disseminate. Research and development method were used to produce a product and to test its efficiency. The result showed that the learning material fulfill the assessment criteria. The mean validation result of textbook showed a number of 3.58 indicated as a good category. Based on T test, it was proven that the use of textbooks is indeed influential towards the development of students’ science process skill.


2019 ◽  
Vol 8 (2) ◽  
Author(s):  
Didin Khaerudin ◽  
Suherli Kusmana ◽  
Iyay Robia Khaerudin

Research conducted to develop drama text teaching materials based on the experience of the author of the drama script aims to make it easier for students to understand drama text material. In addition, based on the author's experience students are expected to emulate the author's creative process in writing a paper. The research method used in this research is the research and development method. Based on the results of the interview it can be concluded that the ability to write drama is determined based on mastery of the elements of drama and the ability to develop stories based on the author's experience. The process of writing drama is done in several steps: (1) searching for ideas based on personal experience, other people, or the surrounding environment; (2) processing ideas to find plots (characters), characters or characters that vary with their inner conflicts, settings and dialogues, interesting conflicts, and messages to be conveyed; (3) starts the process of writing drama with stages and elements of drama; (4) revision of drama products. Teaching material developed is presented from basic competencies of knowledge and basic competencies of learning skills. Based on experiments on developed teaching materials it is known that the average value of the ability to write plays gets a score exceeding the minimum criteria, so that the teaching materials used are effective. Based on observations it is known that teaching materials can help students in learning and student activities become more independent, and active.


2018 ◽  
Vol 138 (11) ◽  
pp. 1435-1443
Author(s):  
Yoshitaka Atarashi ◽  
Manabu Morita ◽  
Norihisa Komoda

Author(s):  
Pierre-Loïc Garoche

The verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. This book provides control engineers and computer scientists with an introduction to the formal techniques for analyzing and verifying this important class of software. Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. The book provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. It presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software. As the autonomy of critical systems continues to increase—as evidenced by autonomous cars, drones, and satellites and landers—the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.


Sign in / Sign up

Export Citation Format

Share Document