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="Broy, Manfred."
cover
Engineering Theories of Software Intensive Systems
Komentar Bagikan
Broy, Manfred.Gruenbauer, Johannes.Harel, David.Hoare, Tony.

Architectures, Design and Interfaces -- Incremental Software Construction with Refinement Diagrams -- Service-Oriented Systems Engineering: Specification and Design of Services and Layered Architectures -- Interface-Based Design -- The Dependent Delegate Dilemma -- System and Program Verification, Model Checking and Theorem Proving -- Formalizing Counterexample-Driven Refinement with Weakest Pr…

Edisi
1st ed.
ISBN/ISSN
9781402035326
Deskripsi Fisik
X, 404 p.online resource.
Judul Seri
-
No. Panggil
-
cover
Model-Based Testing of Reactive Systems
Komentar Bagikan
Broy, Manfred.Jonsson, Bengt.Katoen, JoostPieter.Leucker, Martin.Pretschner, Alexander.

Testing of Finite State Machines -- I. Testing of Finite State Machines -- 1 Homing and Synchronizing Sequences -- 2 State Identification -- 3 State Verification -- 4 Conformance Testing -- II. Testing of Labeled Transition Systems -- Testing of Labeled Transition Systems -- 5 Preorder Relations -- 6 Test Generation Algorithms Based on Preorder Relations -- 7 I/O-automata Based Testing -- 8 Tes…

Edisi
1st ed.
ISBN/ISSN
9783540320371
Deskripsi Fisik
VIII, 664 p.online resource.
Judul Seri
-
No. Panggil
-