HOME > Detail View

Detail View

Engineering theories of software intensive systems

Engineering theories of software intensive systems

Material type
단행본
Personal Author
Broy, M. , 1949-
Title Statement
Engineering theories of software intensive systems / edited by Manfred Broy ... [et al.].
Publication, Distribution, etc
Dordrecht, The Netherlands :   Springer ,   2005.  
Physical Medium
ix, 404 p. : ill., ports. ; 24 cm.
Series Statement
NATO science series. II, Mathematics, physics, and chemistry ; vol. 195
ISBN
9781402035302 1402035306 (cased) 9781402035326 (e-book) 1402035322 (e-book)
General Note
"Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems" --t.p. verso.  
Bibliography, Etc. Note
Includes bibliographical references.
Subject Added Entry-Topical Term
Software engineering -- Congresses.
000 01424camuu22003377a 4500
001 000045362716
005 20070619163012
008 050726s2005 ne ac b 101 0 eng d
010 ▼a 2005534333
020 ▼a 9781402035302
020 ▼a 1402035306 (cased)
020 ▼a 9781402035326 (e-book)
020 ▼a 1402035322 (e-book)
035 ▼a (KERIS)REF000012403635
040 ▼a UKM ▼b eng ▼c UKM ▼d BAKER ▼d DLC ▼d 211009
042 ▼a lccopycat
050 0 0 ▼a QA76.758 ▼b .N385 2004
082 0 0 ▼a 005.1 ▼2 22
090 ▼a 005.1 ▼b N279e
111 2 ▼a NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems ▼d (2004 : ▼c Marktoberdorf, Germany)
245 1 0 ▼a Engineering theories of software intensive systems / ▼c edited by Manfred Broy ... [et al.].
260 ▼a Dordrecht, The Netherlands : ▼b Springer , ▼c 2005.
300 ▼a ix, 404 p. : ▼b ill., ports. ; ▼c 24 cm.
490 1 ▼a NATO science series. II, Mathematics, physics, and chemistry ; ▼v vol. 195
500 ▼a "Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems" --t.p. verso.
504 ▼a Includes bibliographical references.
650 0 ▼a Software engineering ▼v Congresses.
700 1 ▼a Broy, M. , ▼d 1949-
830 0 ▼a NATO science series. ▼n II, ▼p Mathematics, physics, and chemistry ; ▼v v. 195.
945 ▼a KINS

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 005.1 N279e Accession No. 121148080 Availability Available Due Date Make a Reservation Service B M

Contents information

Table of Contents

Preface. Part I Architectures, Design and Interfaces Incremental Software Construction with Refinement Diagrams; R.-J. Back. Service-oriented Systems Engineering: Specification and Design of Services and Layered Architectures; M. Broy. Interface-based Design; T.A. Henzinger, L. de Alfaro. The Dependent Delegate Dilemma; B. Meyer.- Part II System and Program Verification, Model Checking and Theorem Proving Formalizing Counterexample-driven Refinement with Weakest Preconditions; T. Ball. A Mechanically Checked Proof of a Comparator Sort Algorithm; J Strother Moore, B. Brock. Keys in Formal Verification: Abstractions for Progress; A. Pnueli. On the utility of canonical abstraction; S. Sagi et al.- Part III Process Algebras and Experimental Calculi Process Algebra: a Unifying Approach; T. Hoare. Computation Orchestration; J. Misra. A Tree Semantics of an Orchestration Language; T. Hoare et al.- Part IV Security, System Development and Special Aspects Model Driven Security; D. Basin et al. Some Challenges for System Development: Reactive Animation, Smart Play-Out and Olfaction; David Harel.


Information Provided By: : Aladin

New Arrivals Books in Related Fields

이창현 (2021)