Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event."

"The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications."

"Software engineering, is widely recognized as one of today's most exciting, stimulating, and profitable research areas, with a significant practical impact on the software industry and academia. The LASER school, held annually since 2004 on Elba Island, Italy, is intended for professionals from industry (engineers and managers) as well as university researchers, including PhD students. This book contains selected lecture notes from the LASER summer schools 2008-2010, which focused on concurrency and correctness in 2008,software testing in 2009, and empirical software engineering, in 2010. "

"This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 ? organised by COST Action IC0701. The 10 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 19 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C#. FoVeOOS 2011 aimed to foster collaboration and interactions among researchers in this area."

"Perkembangan teknologi khususnya software pada bidang farmasi industri dapat meningkatkan efisiensi perhitungan dan olah data hasil pengujian. PT. CKD OTTO Pharmaceuticals melakukan pergantian software perhitungan pada hasil pengujian di bagian Quality Control (QC), khususnya laboratorium, dari Microsoft Excel ke Custom Field (Empower dan Control Panel OpenLAB). Pergantian software dilakukan dengan harapan dapat meminimalisir adanya human error karena transfer data secara manual. Adanya pergantian software perlu dilakukan verifikasi software untuk melihat konsistensi dan kebenaran hasil akhir yang diperoleh. Penelitian ini dilakukan untuk melakukan verifikasi Custom Field (Empower dan Control Panel OpenLAB) sebagai software perhitungan yang baru untuk memastikan akurasi hasil perhitungan. Data yang akan diverifikasi diperoleh dari batch record produk B, D dan P secara retrospektif kemudian dilakukan verifikasi secara prospektif. Hasil verifikasi perhitungan menggunakan Custom Field (Empower dan Control Panel OpenLAB) untuk produk B, D dan P yang diperoleh menunjukkan kesesuaian hasil terhadap hasil perhitungan dari Excel. Verifikasi yang telah berhasil dilakukan yaitu untuk perhitunan pengujian kadar, impurity, kandungan etanol dan sisa pelarut produk B, D, dan P di PT. CKD OTTO Pharmaceuticals.

---

The development of technology, especially software in the pharmaceutical industry, can improve the efficiency of calculation and data processing from test results. PT. CKD OTTO Pharmaceuticals has replaced the calculation software for test results in the Quality Control (QC) department, particularly in the laboratory, from Microsoft Excel to Custom Field (Empower and Control Panel OpenLAB). This software change aims to minimize human errors that may occur during manual data transfer. Verification of the software change is necessary to ensure consistency and accuracy of the final results obtained. This study verifies Custom Field (Empower and Control Panel OpenLAB) as the new calculation software to ensure the accuracy of calculation results. Data for verification were obtained retrospectively from batch records of products B, D, and P, followed by prospective verification. The verification results using Custom Field (Empower and Control Panel OpenLAB) for products B, D, and P showed conformity with the calculation results obtained from Excel. Successful verification was conducted for the calculation of assay, impurity, ethanol content, and residual solvents of products B, D, and P at PT. CKD OTTO Pharmaceuticals."