Presentasi sedang didownload. Silahkan tunggu

Presentasi sedang didownload. Silahkan tunggu

Studi Mandiri Software Engineering 2011 Fakultas Ilmu Komputer UI 17/03/20111Bayu Tenoyo - Studi Mandiri Software Engineering.

Presentasi serupa


Presentasi berjudul: "Studi Mandiri Software Engineering 2011 Fakultas Ilmu Komputer UI 17/03/20111Bayu Tenoyo - Studi Mandiri Software Engineering."— Transcript presentasi:

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


Download ppt "Studi Mandiri Software Engineering 2011 Fakultas Ilmu Komputer UI 17/03/20111Bayu Tenoyo - Studi Mandiri Software Engineering."

Presentasi serupa


Iklan oleh Google