Text

Spesifikasi dan verifikasi use case diagram menjadi class diagram dengan metode formal z

---

Abstract
Requirement specification which applies object oriented concept is now begin used by software developer, although this concept can’t reaches the formality of formal specification language. The use of formal method for requirements specification gives more advantages in consistency and ambiguity elimination. One of formalization form has been used is on UML.
This experiments will make requirements specification processes using formal method for use case diagram which directed to formal semantic verification process to classify class diagram. Formal method which used is Z – method which developed by set theory, the system will be modeled, therefore in set theory and set relation. Case study based on employe application.
Result of this specification is represented into two models that is use case diagram and formal method. Formal semantic forming for use case diagram start with specify requirements on detail. The next step is verification process to test the consistency formal semantic. The last step of specification process is classify class diagram based on semantic for use case diagram. Formalization use case diagram will gives class diagram which have consistency.
Keywords : use case diagram, class diagram, requirements specification, verification. Z - Formal method

---

Ketersediaan

Informasi Detail

Judul Seri

-

No. Panggil

TH Bas 129 2003

Penerbit

Surabaya : Universitas Widya Kartika., 2003

Deskripsi Fisik

xv, 119 hal.; 29 cm

Bahasa

Indonesia

ISBN/ISSN

-

Klasifikasi

TH Bas 129 2003

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

2003

Subjek

use case diagram, class diagram, requirements spec
tesis

Info Detail Spesifik

-

Pernyataan Tanggungjawab

-

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus masuk sebelum memberikan komentar