Continuity Program Testing, Maintenance, Training, and Awareness

Keyword(s):  
1975 ◽  
Vol 10 (6) ◽  
pp. 228-233 ◽  
Author(s):  
James C. King
Keyword(s):  

Computer ◽  
1978 ◽  
Vol 11 (4) ◽  
pp. 51-60 ◽  
Author(s):  
J.A. Darringer ◽  
J.C. King

1959 ◽  
Author(s):  
Herbert Teager ◽  
John McCarthy
Keyword(s):  

1976 ◽  
Vol 19 (7) ◽  
pp. 385-394 ◽  
Author(s):  
James C. King

2007 ◽  
Vol 17 (2) ◽  
pp. 275-285
Author(s):  
Branko Markoski ◽  
Petar Hotomski ◽  
Dusan Malbaski ◽  
Danilo Obradovic

Program testing determines whether its behavior matches the specification, and also how it behaves in different exploitation conditions. Proving of program correctness is reduced to finding a proof for assertion that given sequence of formulas represents derivation within a formal theory of special predicted calculus. A well-known variant of this conception is described: correctness based on programming logic rules. It is shown that programming logic rules may be used in automatic resolution procedure. Illustrative examples are given, realized in prolog-like LP-language (with no restrictions to Horn's clauses and without the final failure). Basic information on LP-language are also given. It has been shown how a Pascal-program is being executed in LP-system proffer.


2018 ◽  
Vol 5 (1) ◽  
pp. 91-102
Author(s):  
Febria Demayanti ◽  
Sunaryo Soenarto

Penelitian ini bertujuan: (1) menghasilkan materi video yang layak digunakan sebagai media pembelajaran bagi siswa SMK Jurusan Tata Boga secara umum, dan secara khusus untuk SMK Ma’Arif 2 Sleman. Materi video lebih menekankan pada pengenalan bumbu dan rempah kontinental (continental spice) pada mata pelajaran Pengolahan Makanan Kontinental; (2) mendokumentasikan beberapa bumbu dan rempah kontinental (continental spice) secara detail, meliputi: bentuk, sifat, karakter dan kegunaan bahan tersebut; (3) mengetahui manfaat penggunaan media video pembelajaran dalam meningkatkan hasil belajar siswa. Penelitian pengembangan ini merujuk 3 langkah yang dikembangkan antara lain: (a) praproduksi; (b) produksi; dan (c) pascaproduksi. Uji coba program video dilakukan 2 tahap yaitu skala kecil dan besar. Produk video yang telah direvisi digunakanuntuk pembelajaran PMK. Subjek tes sebelum dan sesudah pembelajaran menggunakan media video untuk mengetahui peningkatan hasil belajar. Pengumpulan data menggunakan teknik wawancara, observasi, dan angket. Teknik analisis menggunakan deskriptif. Validasi ahli materi dan ahli media hasilnya layak digunakan. Penilaian siswa tentang media video pembelajaran bumbu dan rempah kontinental rata-rata siswa memberi tanggapan “sangat layak” serta terdapat peningkatan hasil belajar siswa sesudah menggunakan program video pembelajaran.Kata kunci: video pembelajaran, bumbu dan rempah kontinental, hasil belajar DEVELOPING A VIDEO FOR THE LEARNING OF INGREDIENTS AND SPICES IN THE SUBJECT OF CONTINENTAL CUISINE PROCESSINGAbstractThis study aims to: (1) produce video materials appropriate to be used as learning media for students of Gastronomy in the vocational high school in general and in SMK Ma’arif 2 Sleman in particular; the video materials emphasize the introduction to continental ingredients and spices in the subject of Continental Cuisine Processing; (2) document several continental ingredients and spices in detail including their forms, nature, characters, and uses; and (3) investigate the benefits of the use of the learning video to improve students’ learning achievement. This was a research and development pouting 3 to the steps developed i.e.: (a) preproduction, (b) production, and (c) post-production. Video program testing is done in 2 to the steps; large & small scale. Revised video products are used for PMK learning. Tes subjects before and after learning using video media to the know the improvement of learning outcomes. The data were collected by interview technique, observation, and questioner. The analysis techniques were use descriptive. The results of the validation by the materials and media experts of the results is feasible to be used. The students’ assessment of the video for the learning of continental ingredients and spices show very appropriate responses on the average and there is an increase on the learning outcome after using the learning video program.Keywords: learning video, continental ingredients and spices, learning achievement


2019 ◽  
Vol 15 (2) ◽  
pp. 128
Author(s):  
Edison Ayakeding ◽  
Keppi Sukesi ◽  
Yayuk Yuliati

<p><em>Papua is one of the provinces in Indonesia which has the characteristics of a different man in the business of fulfilling the needs of the family. The program of the Ministry of agriculture through community empowerment efforts to optimize the benefits of the grounds as a source of food family. Jayapura Regency is one of the areas that are also experiencing food security problems. Adequacy of food and nutrition is one of the most influential factors in producing quality human resources. The purpose of this research is to analyze the perceptions and the factors that influence the perception of farmers against the program Area Homes Preserved Food.  Research conducted in the Western County of Sentani Dosai district of Jayapura of Papua by engaging 25 respondents who implement programs KRPL in 2013. The technique of collecting data through observation method, Now as well as granting interviews specifically. Type a descriptive quantitative data. The measurement of perception of farmers using likert scale gauge. The results of the measurements indicate that the level of perception of farmers against very low KRPL program. Testing free variables using multiple linear regression analysis. The results of the analysis showed that the fulfillment of the needs and knowledge of the real effect, While the individual characteristics, experience factor farmer KRPL and support agencies have no effect on real. The value of R-sq (adj) indicates the magnitude of the influence of variables against the perception that is free of 46.83%, While the 53.17% influenced by other factors outside of this research.</em></p><p><strong>Abstrak: </strong>Papua merupakan salah satu provinsi di Indonesia yang memiliki karakteristik manusia yang berbeda-beda dalam usaha pemenuhan kebutuhan keluarga. Program Kementerian Pertanian melalui upaya pemberdayaan masyarakat untuk mengoptimalkan manfaat pekarangan sebagai sumber pangan keluarga. Kabupaten Jayapura merupakan salah satu daerah yang juga mengalami masalah ketahanan pangan. Kecukupan pangan dan gizi merupakan salah satu faktor yang berpengaruh dalam menghasilkan sumber daya manusia yang berkualitas. Tujuan penelitian ini adalah menganalisis persepsi dan faktor-faktor yang mempengaruhi persepsi petani terhadap program Kawasan Rumah Pangan Lestari. Penelitian dilakukan di Kampung Dosai Distrik Sentani Barat Kabupaten Jayapura Papua dengan melibatkan 25 responden yang melaksanakan program KRPL pada tahun 2013. Teknik Pengumpulan data melalui metode observasi, pemberian angket serta wawancara  secara spesifik. Jenis data deskriptif kuantitatif. Pengukuran persepsi petani menggunakan alat ukur skala likert. Hasil pengukuran menunjukkan bahwa tingkat persepsi petani terhadap program KRPL sangat rendah. Pengujian variabel bebas menggunakan alat analisis regresi linier berganda. Hasil analisis menunjukkan bahwa faktor pemenuhan kebutuhan dan pengetahuan berpengaruh nyata sedangkan faktor karakteristik individu, pengalaman usaha tani KRPL dan dukungan instansi tidak berpengaruh nyata. Nilai R-sq(adj) menunjukan besarnya pengaruh variabel bebas terhadap persepsi yaitu sebesar 46,83%, sedangakan 53,17% dipengaruhi faktor-faktor lain diluar dari pada penelitian ini.</p><p><em><br /></em></p>


Sign in / Sign up

Export Citation Format

Share Document