Upload presentasi
Presentasi sedang didownload. Silahkan tunggu
Diterbitkan olehRafif Luthfi Telah diubah "9 tahun yang lalu
1
bayutenoyo@gmail.com Studi Mandiri Software Engineering 2011 Fakultas Ilmu Komputer UI 17/03/20111Bayu Tenoyo - Studi Mandiri Software Engineering
2
Agenda Target dari Studi Mandiri Sekilas B Method Demo Sederhana Atelier B Perkembangan Riset B Method dengan UML 17/03/20112Bayu Tenoyo - Studi Mandiri Software Engineering
3
Target dari Studi Mandiri 1. Mempelajari Formal Method dan pemanfaatannya dalam UML. 2. Mendapatkan Ide untuk Disertasi. 3. Dalam 2 minggu ke-depan akan menyampaikan progress report, tentang pemakaian Atelier B yang lebih “canggih sedikit” (misal sorting....) 17/03/20113Bayu Tenoyo - Studi Mandiri Software Engineering
4
Hal-hal yang Sudah Dikerjakan Mengumpulkan literatur yang berhubungan dengan formal method dan UML. Memilih B Method untuk dipelajari dalam semester ini. Menggunakan tools B Method (Atelier B) untuk program yang sangat sederhana. 17/03/2011Bayu Tenoyo - Studi Mandiri Software Engineering4
5
17/03/2011Bayu Tenoyo - Studi Mandiri Software Engineering5
6
Sekilas Tentang B Method Sebuah metode pengembangan aplikasi/software yang menggunakan bahasa B, dengan menggunakan suatu alat bantu. Bahasa B dan Klasik Metode B dikembangkan oleh Jean-Raymond Abrial. Beberapa alat bantu baik yang komersial dan gratis sudah tersedia. Industri yang menggunakan: KVB Alstom (6000 kereta), Siemens Metroline System (metro line 14 Paris), Section Automatic Pilot,Puegeot Automobile,...) 17/03/2011Bayu Tenoyo - Studi Mandiri Software Engineering6
7
Sekilas Tentang B Language Berdasarkan teori himpunan Zermelo-Fraenkel dengan pilihan axioma (ZFC). Himpunan digunakan untuk memodelkan data. Generelazied Subtitutions untuk menunjukkan perubahan state. Calculus Refinement digunakan untuk menunjukkan relasi antar model yang memiliki level abstraksi yang berbeda-beda. 17/03/2011Bayu Tenoyo - Studi Mandiri Software Engineering7
8
Pengembangan Aplikasi “traditional”: 17/03/2011Bayu Tenoyo - Studi Mandiri Software Engineering8
9
Pengembangan Aplikasi dengan B 17/03/2011Bayu Tenoyo - Studi Mandiri Software Engineering9
10
Pengembangan Aplikasi dengan B 17/03/2011Bayu Tenoyo - Studi Mandiri Software Engineering10
11
Atelier B Ada versi gratisnya selama tidak digunakan untuk komersial. 17/03/2011Bayu Tenoyo - Studi Mandiri Software Engineering11
12
Demo Atelier B 17/03/2011Bayu Tenoyo - Studi Mandiri Software Engineering12
13
Perkembangan Riset Event B merupakan pengembangan dari B Language dan B Method, memperkenalkan event. Sudah ada paper –paper yang membahas representasi diagram UML (class diagram, state diagram, dan sequence diagram) dalam B Language. 17/03/2011Bayu Tenoyo - Studi Mandiri Software Engineering13
14
17/03/2011Bayu Tenoyo - Studi Mandiri Software Engineering14 Model - Spesikasi Refinement
Presentasi serupa
© 2024 SlidePlayer.info Inc.
All rights reserved.