Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 177 dokumen yang sesuai dengan query
cover
"This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies."
Berlin: Springer-Verlag, 2012
e20409160
eBooks  Universitas Indonesia Library
cover
Edmund Clarke, editor
"This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full papers and 10 revised short papers presented were carefully reviewed and selected from 60 submissions. The volume also contains 5 invited papers covering a range of hot topics in computer science and informatics. The papers are organized in topical sections on foundations of program and system development and analysis, partial evaluation, mixed computation, abstract interpretation, compiler construction, computer models and algorithms for bioinformatics, programming methodology and software engineering, information technologies, knowledge-based systems, and knowledge engineering."
Berlin: [Springer-Verlag, ], 2012
e20409852
eBooks  Universitas Indonesia Library
cover
"This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics."
Berlin: Springer-Verlag, 2012
e20410026
eBooks  Universitas Indonesia Library
cover
Marco Brambilla, editor
"This book constitutes the refereed proceedings of the 12th International Conference on Web Engineering, ICWE 2012, held in Berlin, Germany, in July 2012. The 20 revised full papers and 15 short papers were carefully reviewed and selected from 98 submissions. The papers are organized in topical sections on social networks and collaboration, tagging, personalization and personal systems, search, Web modeling, AJAX and user interfaces, Web services, Web crawling, and Web and linked data management. The book also includes 6 poster papers, 12 demos and 5 tutorials."
Berlin: [Springer-Verlag, ], 2012
e20410176
eBooks  Universitas Indonesia Library
cover
"This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Software Language Engineering, SLE 2011, held in Braga, Portugal, in July 2011.
The 18 papers presented together with 4 tool/language demonstration papers were carefully reviewed and selected from numerous submissions. SLE’s foremost mission is to encourage and organize communication between communities that have traditionally looked at software languages from different, more specialized, and yet complementary perspectives. SLE emphasizes the fundamental notion of languages as opposed to any realization in specific technical spaces"
Berlin: Springer-Verlag, 2012
e20410291
eBooks  Universitas Indonesia Library
cover
"This book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, Performance, and Tools, MSEPT 2012, held in Prague in May/June 2012. The 9 revised papers, 4 of which are short papers were carefully reviewed and selected from 24 submissions. The papers address new work on optimization of multicore software, program analysis, and automatic parallelization. They also provide new perspectives on programming models as well as on applications of multicore systems."
Berlin: Springer-Verlag, 2012
e20410436
eBooks  Universitas Indonesia Library
cover
Wohlin, Claes, editor
"This book contains the refereed proceedings of the 13th International Conference on Agile Software Development, XP 2012, held in Malmö, Sweden, in May 2012.
The topics covered include general aspects of agility, agile teams, studies related to the release and maintenance of software, and research on specific practices in agile and lean software development. They are complemented by four short papers capturing additional aspects of agile and lean projects."
Berlin: [, Springer-Verlag], 2012
e20410479
eBooks  Universitas Indonesia Library
cover
"Telah dibuat sebuah sistem pengendali katup (valve) elektronis otomatis berbasis komputer. Sistem ini dapat mengendalikan hingga delapan buah katup aliran udara pada sistem gas mengalir (SGM). Udara tekan yang mengandung gas cuplikan dilewatkan pada SGM ini untuk diukur konsentrasinya oleh sistem spektroskopi fotoakustik (SFA). Komputer memerintahkan sistem pengendali katup elektronik unutk membuka atau menutup katup airan udara. Katup aliran udara terbuka apabila relay pemicu dalam kondisi aktif. Relay diaktifkan oleh transistor yang berada dalam kondisi jauh (saturation). Transistor menjadi jauh apabila sinyal yang diterima dari komputer berlogika satu (high). Hasil eksperimen dilakukan pada tiga buah kuvet dimana kuvet satu (C-1) berisi sampel kosong sebagai referensi, kuvet dua (C-2) berisi buah apel dan kuvet tiga (C-3) berisi sebuah tomat. Proses membuka dan menutup masing-masing katup bekerja sesuai dengan antrian yang dimasukan melalui sotware. Perpindahan aliran gas dari C-1 ke C-2 menujukkan perubahan nilai konsentrasi yang cepat akibat pergantian cuplikan. Begitu pula ketika katup elektronik dipindah dari C-2 ke C-3, tampak penyesuaian deteksi gas cuplikan yakni etilen apel (320 ppb) ke etilen tomat (15 ppb) relatif cepat"
JURFIN 10:30 (2006)
Artikel Jurnal  Universitas Indonesia Library
cover
"Imagine how much easier creating web and mobile applications would be if you had a practical and concise, hands-on guide to visual design. Visual Usability gets into the nitty-gritty of applying visual design principles to complex application design.
You’ll learn how to avoid common mistakes, make informed decisions about application design, and elevate the ordinary. We’ll review three key principles that affect application design – consistency, hierarchy, and personality – and illustrate how to apply tools like typography, color, and layout to digital application design. Whether you’re a UI professional looking to fine-tune your skills, a developer who cares about making applications beautiful and usable, or someone entirely new to the design arena, Visual Usability is your one-stop, practical guide to visual design.
"
Waltham, MA: Morgan Kaufmann, 2013
e20427713
eBooks  Universitas Indonesia Library
cover
Danuk Cahya Permana
"ABSTRAK
Badan Pusat Statistik (BPS) adalah Lembaga Pemerintah Non Kementerian yang bertugas melaksanakan kegiatan statistik seperti sensus dan survei. Pelaksanaan sensus dan survei tidak terlepas dari kegiatan pengolahan data untuk mengubah data mentah menjadi data nasional. Untuk menjamin tahapan pengolahan berjalan dengan baik, proyek pembangunan aplikasi pengolahan data diharapkan tidak mengalami keterlambatan. Akan tetapi, berdasarkan perbandingan jadwal pengolahan data dengan tanggal rilis aplikasi yang dibuat, ditemukan sebagian besar proyek mengalami keterlambatan. Untuk mengatasi permasalahan ini, diperlukan suatu langkah perbaikan pelaksanaan manajemen proyek dengan tahapan awal yaitu mengetahui tingkat kematangan manajemen proyek saat ini.
Penelitian ini bertujuan untuk mengetahui tingkat kematangan manajemen proyek di BPS khususnya Subdirektorat Integrasi Pengolahan Data (IPD). Tingkat kematangan ini selanjutnya digunakan sebagai acuan dalam melakukan perbaikan pelaksanaan manajemen proyek. Model kematangan Project Management Maturity Model (PMMM) PMSolutions dan Kerzner (berbasis PMBOK) digunakan sebagai acuan dalam mengukur tingkat kematangan manajemen proyek. Selain itu, digunakan juga SWEBOK (kerangka kerja rekayasa perangkat lunak) untuk mengukur tingkat kemampuan proses product-oriented dalam pelaksanaan proyek. Ruang lingkup penelitian ini dibatasi pada evaluasi tingkat kematangan dan rekomendasi perbaikan pelaksanaan manajemen proyek.
Hasil dari penelitian ini menunjukkan bahwa tingkat kematangan manajemen proyek di IPD saat ini berada pada level 1. Untuk melengkapi penilaian proses manajemen proyek, diperoleh hasil pengukuran kemampuan proses product-oriented adalah level 0 untuk software requirements, software testing, dan software maintenance dan level 1 untuk software design and construction. Penelitian ini juga memberikan rekomendasi yang dapat dilakukan untuk mencapai kematangan yang diharapkan yaitu level 2. Rekomendasi dikelompokkan menjadi empat aspek, yaitu kebijakan (menyusun kebijakan dan standar manajemen proyek dan pembangunan perangkat lunak), SDM (memberikan pelatihan manajemen proyek), teknologi (memanfaatkan sistem manajemen proyek), dan work product (membuat dokumen-dokumen terkait proses manajemen proyek dan product-oriented). Dengan hasil evaluasi ini, diharapkan pelaksanaan manajemen proyek di IPD menjadi lebih baik sehingga dapat mengatasi permasalahan keterlambatan proyek pembangunan aplikasi pengolahan data.

ABSTRACT
Statistics of Indonesia is a non-ministerial government institution in charge of implementing statistics activities such as census and survey. Census and survey always include the data processing activities to transform raw data into a national data. To ensure the processing stages go well, the development of the data processing application must be on time. However, based on the comparison between the original and actual schedule, we found most of the projects delayed. The level of current project management maturity needs to be known to overcome this problem. Furthermore, we can determine a corrective action of project management implementation.
This study aimed to determine the project management maturity level in Statistics of Indonesia particularly in the Sub-directorate of Data Processing Integration (DPI). Maturity level was then used as a reference in improving the implementation of project management. The maturity models of this study were PMMM PMSolutions and Kerzner (based on PMBOK) which were used as a references in measuring the maturity level of project management. In addition, SWEBOK (software engineering framework) was also used to measure the level of product-oriented process capabilities in project implementation. The scope of this study was limited to the evaluation of maturity level and the recommendations for improvement of project management implementation.
The result of this study indicated that the level of project management maturity in DPI is currently at level 1. In addition, this study also measured the capability of product-oriented processes which result to the software requirements, software testing, and software maintenance are at level 0 while the software design and construction are at level 1. This study also provided recommendations to achieve the expected level 2 maturity. The recommendations are grouped into four aspects, namely policies (establishing policies and standards of project management and software development), human resources (giving training of project management), technology (utilizing the project management system), and the work product (creating documents related to the project management and product-oriented processes). With this evaluation results, project management implementation in the DPI is expected to be better so that it could overcome the delays of data processing application development."
2016
TA-Pdf
UI - Tugas Akhir  Universitas Indonesia Library