Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 57311 dokumen yang sesuai dengan query
cover
B. Suryobroto
Jakarta: Bina Aksara, 1983
371.102 SUR s
Buku Teks  Universitas Indonesia Library
cover
Abin Syamsuddin Makmun
Bandung : Remaja Rosdakarya, 1996
370.15 ABI p
Buku Teks  Universitas Indonesia Library
cover
Ahmad Furqans K.
"Metode B adalah metode formal yang digunakan dalam pengembangan piranti lunak mulai dari membuat spesifikasi, merancang, dan membuat kode program. Pengembangan piranti lunak dengan metode B dilakukan dengan cara mengubah spesifikasi formal yang masih abstrak menjadi lebih kongkrit. Proses ini dilakukan dengan menambahkan detil sedikit demi sedikit kedalam spesifikasi sehingga pada akhirnya menjadi spesifikasi yang dapat diterjemahkan langsung menjadi program komputer. Proses yang mengubah spesifikasi menjadi lebih kongkrit ini disebut dengan refinement. Pelaksanaan Tugas Akhir ini bertujuan untuk menelaah pengembangan spesifikasi, refinement, dan verifikasi dengan menggunakan metode B. Spesifikasi formal yang dikembangkan adalah spesifikasi suatu sistem informasi bongkar-muat barang. Spesifikasi tersebut dikembangkan sesuai dengan deskripsi Container Station yang diajukan oleh Elena Troubytsna. Alat bantu pengembangan yang digunakan adalah Atelier B.
Pengembangan Container Station diawali dengan menerjemahkan deskripsi ke dalam mesin abstrak ContainerStation. Mesin tersebut mengalami refinement hingga mesin implementasi dengan urutan: (1) ContainerStation, (2) ContainerStationR, (3) ContainerStationRIm. Beberapa variabel abstrak dalam ContainerStationR akan membuat detil implementasi dan bentuk proof obligation dalam Container Station RIm menjadi lebih rumit, jika variabel tersebut langsung diimplementasi kan dengan struktur data yang disediakan Atelier B. Hal ini diatasi dengan membangun mesin lain, CART FUNCTION dan CART SET, untuk merepresentasikan struktur data yang sesuai dengan variabel - variabel tersebut. Verifikasi terhadap mesin-mesin yang dikembang kan dilakukan dengan membuktikan proof obligations dari mesin-mesin tersebut. Pembuktian proof obligations dilakukan secara otomatis dan interaktif dengan menggunakan Atelier B. Dalam pembuktian interaktif, dikembangkan beberapa user theory untuk menyederhanakan proses pembuktian. Mesin CART FUNCTION dan CART SET berhasil dibuktikan dan dibangkitkan kode programnya dalam bahasa C. Pengembangan ContainerStationRIm terhambat pada pembuktian beberapa proof obligations yang cukup kompleks."
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2006
S-Pdf
UI - Skripsi Membership  Universitas Indonesia Library
cover
Theresia Budiyanti
"Perkembangan teknologi informasi yang semakin pesat membuat komputer semakin banyak digunakan sebagai alat bantu dalam menjalankan kegiatan industri dan bisnis. Piranti lunak yang digunakan oleh komputer memegang peranan yang sangat penting. Jika penggunaan piranti lunak tersebut menghasilkan galat (error), maka dunia industri atau bisnis tersebut dapat mengalami kerugian. Untuk menjamin bahwa piranti lunak tersebut bebas dari galat, maka pengembangan piranti lunak tersebut dapat dilakukan dengan menggunakan metode B. Metode B adalah suatu metodologi formal yang digunakan dalam pengembangan piranti lunak, mulai dari spesifikasi sampai dengan implementasi piranti lunak. Dari suatu spesifikasi awal yang bersifat abstrak dan modular, akan dilakukan beberapa tahap refinement sampai mencapai suatu model yang lebih konkrit, yang merupakan kode programnya. Spesifikasi awal tersebut dikembangkan secara matematik sesuai dengan spesifikasi awalnya, sehingga kebenaran piranti lunak tersebut dapat dijamin. Fokus pada tugas akhir ini adalah menelaah refinement dengan metode B dan menerapkannya terhadap suatu studi kasus aplikasi perbankan yang diajukan oleh Martin B¨uchi. Penerapan metode B ini menggunakan alat bantu Atelier B. Hasil penerapan refinement dengan metode B pada studi kasus aplikasi perbankan itu menguatkan bahwa penerapan metodologi formal pada suatu aplikasi dapat menjamin kebenaran aplikasi tersebut. Walaupun penerapan refinement dengan metode B membutuhkan lebih banyak biaya, aplikasi yang dihasilkan dapat dijamin bebas dari galat yang dapat mengakibatkan kerugian besar."
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 2006
S-Pdf
UI - Skripsi Membership  Universitas Indonesia Library
cover
Fakultas Teknik Universitas Indonesia, 2000
S39649
UI - Skripsi Membership  Universitas Indonesia Library
cover
"KATA PENGANTAR
Dalam rangka pemikiran Pendidikan demi Keberlanjutan, (Education for Sustainability) tiga tema pokok yang diintroduksi dalam berbagai modul pendidikan lingkungan adalah Pertama, bahwa sasaran mendasar dari pendidikan lingkungan adalah bagaimana menciptakan lingkungan hidup yang berkelanjutan dimana di dalamnya manusia dapat hidup dan berkarya. Kedua, bahwa pendidikan lingkungan merupakan pendekatan lintas-kurikulum dalam proses pengajaran yang menuntun individu serta kelompok dalam memahami konsepsi tentang lingkungan yang berkelanjutan (sustainable environment). Dalam hal ini, tujuan utama pemahaman tersebut adalah dalam rangka membantu generasi muda untuk menumbuh-kembangkan kepedulian dan serangkaian sikap keterlibatan, serta keinginan untuk bertindak dengan penuh tanggungjawab terhadap lingkungan dan terhadap satu dengan lainnya. Ketiga, bahwa sebagai implikasinya, pendidikan lingkungan tidak hanya terkait dengan pengajaran pengetahuan konseptual dan ketrampilan untuk melakukan pemantauan dan evaluasi lingkungan saja, tetapi juga terkait dengan pengembangan nilai-nilai, sikap, dan ketrampilan untuk memotivasi dan memberdayakan masyarakat agar mau bekerja mandiri dan bekerjasama dengan yang lain dalam rangka mengembangkan keberlanjutan dari lingkungan hidupnya, baik lingkungan hidup alami maupun lingkungan hidup sosial.
Dalam serangkaian Lokakarya mengenai pendidikan lingkungan yang telah diadakan di Australia, Tokyo dan Bangkok yang dihadiri oleh wakil-wakil dari negara-negara Asia-Pasifik, berbagai modul dan kurikulum pendidikan lingkungan bagi para instruktur maupun guru yang akan bertugas sebagai pendidik telah dirancang dalam rangka menggalakkan minat, pengetahuan serta ketrampilan para pendidik atau guru tersebut di bidang pendidikan lingkungan. Sebagai tindak lanjut, di beberapa negara pengikut lokakarya telah diadakan serangkaian uji-coba modul-modul pendidikan tersebut setelah dilakukan beberapa penyesuaian dengan kondisi spesifik lokal masing-masing. Lokakarya ini diselenggarakan dalam rangka proses evaluasi terhadap modul-modul yang telah diterapkan tersebut.
Selama 2 (dua) hari penuh para peserta, fasilitator, instruktur, serta pengamat telah secara bersama-sama bertukar pikiran dan pengalaman satu sama lain dalam rangka evaluasi dan penyempurnaan modul-modul pengajaran yang telah dipresentasikan selama lokakarya tersebut. Danternyata forum pertemuan ini telah berhasil menggalang berbagai kesatuan pendapat, menjembatani berbagai kesenjangan, serta mempererat silaturahmi antar para pendidik, yang karena kesibukan masing-masing jarang bertemu satu sama lain.
Buku prosiding ini menghimpun beberapa bagian dari modul-modul pengajaran Lingkungan untuk para guru yang sempat dipresentasikan dan didiskusikan oleh para peserta lokakarya, serta berbagai ilustrasi yang sempat direkam selama kegiatan lokakarya tersebut. Beberapa diantaranya masih dalam bentuk dan bahasa aslinya, yaitu bahasa Indonesia. Demikian pula rekaman hasil diskusi serta sambutan Bapak Sekretaris Kantor Menteri Negara Lingkungan Hidup serta pidato pembukaan Rektor Universitas Indonesia."
Depok: Universitas Indonesia, 1998
UI 304.2 Lok p
Prosiding - Seminar  Universitas Indonesia Library
cover
Depok: AKK FKM UI, 1999
658.403 8 SIS (2)
Buku Teks SO  Universitas Indonesia Library
cover
cover
Ahmad Fachri Himawan
"ABSTRAK
Metode pengukuran secara digital menggunakan komputer memiliki beberapa
keunggulan dibandingkan dengan pengukuran dengan cara konvensional yaitu dalam hal fleksibilitas, ketelitian dan kemampuannya dalam menangani besaran-besaran yang kompleks serta berubah-ubah dengan cepat. Sistem instrumen alat pengukur kekuatan tanah triaxial menggunakan sistem akuisisi data guna mengambil dan menyimpan data hasil pengukuran secara periodik serta mengendalikan proses pengukuran. Sistem akuisisi data ini terdiri atas sistem elektronis yang berisi perangkat keras dan sistem komputer yang berisi perangkat lunak. Karena sistem akuisisi data tersebut tidak tersedia di pasar dalam negeri, maka perlu adanya usaha untuk merancang dan membuat
sendiri perangkat keras dan perangkat lunaknya untuk memenuhi kebutuhan yang ada.
Perangkat keras sistem akuisisi data triaxial dibuat menggunakan modul~modul
akuisisi data dari advantech (ADAM) serta beberapa rangkaian elektronika yang dirakit dengan komponen-komponen yang tersedia di pasar lokal. Perangkat lunak sistem ini dikembangkan menggunakan paket pemprograman visual Borland Delphi versi 5.Setelah dilakukan proses perancangan, pembuatan, uji coba dan analisis, ternyataperangkat keras dan perangkat lunak sistem akuisisi data triaxial dapat berfungsi dengan baik dan dapat digunakan dalam percobaan pengukuran kekuatan tanah.

"
2001
S39807
UI - Skripsi Membership  Universitas Indonesia Library
cover
Eriyatno
Bogor: PAU Pangan dan Gizi IPB, 1989
338.19 ERI a
Buku Teks  Universitas Indonesia Library
<<   1 2 3 4 5 6 7 8 9 10   >>