Ditapis dengan

  • Tahun Penerbitan
    To
  • Ketersediaan
  • Lampiran
  • Tipe Koleksi
    Lihat Lebih Banyak
  • Format Fisik Dokumen
    Lihat Lebih Banyak
  • Lokasi
    Lihat Lebih Banyak
  • Bahasa
    Lihat Lebih Banyak
Ditemukan 2 dari pencarian Anda melalui kata kunci: author=Fitzgerald, John.
cover
FM 2005: Formal Methods
Komentar Bagikan
Fitzgerald, John.Hayes, Ian J.

Keynote Talks -- Formal Aids for the Growth of Software Systems -- Formal Methods and Testing: Hypotheses, and Correctness Approximations -- The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions -- Object Orientation -- Modular Verification of Static Class Invariants -- Decoupling in Object Orientation -- Controlling Object Allocation Using Cre…

Edisi
1st ed.
ISBN/ISSN
9783540317142
Deskripsi Fisik
XIV, 558 p.online resource.
Judul Seri
-
No. Panggil
-
cover
Validated Designs for Object-oriented Systems
Komentar Bagikan
Fitzgerald, John.Larsen, Peter Gorm.Mukherjee, Paul.Plat, Nico.SpringerLink (Online service)Verhoef, Marcel.

Models and Software Development -- Building a Model in VDM++: An Overview -- VDM++ Tool Support -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered Collections -- Modelling Ordered Collections -- Modelling Relationships -- Modelling in Practice: Three Case Studies -- Model Structuring: The Enigma Cipher -- Combining Views: The CSLaM Sy…

Edisi
1st ed. 2005.
ISBN/ISSN
9781846281075
Deskripsi Fisik
XII, 404 p. 65 illus.online resource.
Judul Seri
-
No. Panggil
-