HOME > 상세정보

상세정보

Engineering theories of software intensive systems

Engineering theories of software intensive systems

자료유형
단행본
개인저자
Broy, M. , 1949-
서명 / 저자사항
Engineering theories of software intensive systems / edited by Manfred Broy ... [et al.].
발행사항
Dordrecht, The Netherlands :   Springer ,   2005.  
형태사항
ix, 404 p. : ill., ports. ; 24 cm.
총서사항
NATO science series. II, Mathematics, physics, and chemistry ; vol. 195
ISBN
9781402035302 1402035306 (cased) 9781402035326 (e-book) 1402035322 (e-book)
일반주기
"Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems" --t.p. verso.  
서지주기
Includes bibliographical references.
일반주제명
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

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 005.1 N279e 등록번호 121148080 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

목차

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.


정보제공 : Aladin

관련분야 신착자료