1 / 7

TRANSFORMASI FORMAL

TRANSFORMASI FORMAL. KELOMPOK 2: Diyan Ari Susanti (11121003) Diana Ratna Sari (11121005) Markus Monemnasi (11121014 ). PEMBAHASAN. PENGERTIAN TRANSFORMASI FORMAL. Pengembangan Metode Formal. DAFTAR PUSTAKA. BAGAN PENDEKATAN “CLEANROOM”.

arissa
Download Presentation

TRANSFORMASI FORMAL

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. TRANSFORMASI FORMAL KELOMPOK 2: Diyan Ari Susanti (11121003) Diana Ratna Sari (11121005) Markus Monemnasi (11121014)

  2. PEMBAHASAN PENGERTIAN TRANSFORMASI FORMAL PengembanganMetode Formal DAFTAR PUSTAKA BAGAN PENDEKATAN “CLEANROOM” KELEMAHAN & KEUNTUNGAN PENDEKATAN “CLEANROOM”

  3. Adalahsuatumetode yang berbasiskanpadatransformasispesiikasisecaramatematikmelaluirepresentasi yang berbedauntuksuatu program yang dapatdieksekusi. • Trasformasimenyatakanspesifikasi program • Menggunakanpendekatan ‘Cleanroom’ untuk • pengembangan PL.

  4. Formal specification Requirements definition Formal transormation Integration and System testing

  5. Metode cleanroom mempunyaiketerbatasandalampemakaiannya. • Keunggulannyaadalahmengurangijumlahkesalahanpadasistemsehinggapenggunaanutamanyaadalahpadasistemyang kritis(dalamhalinimenjadiefektifdarisegibiaya). • Pemakaian model pengembangan formal memerlukantingkatkerahasiansebelumdigunakan. • Permasalahandalam model pengembanganmetode formal: • Memerlukankeahliankhususdanpelatihanuntukmengaplikasikannya. • Sulitmenentukanbeberapaaspekdarisuatusistemseperti user interface.

  6. Permasalahandalam model pengembangan metode formal: • Memerlukankeahliankhususdanpelatihanuntukmengaplikasikannya • Sulitmenentukanbeberapaaspekdarisuatusistemsepertiuser interface Pemakaian model pengembanganmetode Formal: • Memerlukantingkatkerahasiandankeamanan yang tinggisebelumdigunakan

  7. http://elista.akprind.ac.id • http://rifky288.blogspot.com

More Related