HOME > 상세정보

상세정보

FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings

FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings (2회 대출)

자료유형
단행본
개인저자
Oliveira, Jose N. Zave, Pamela , 1948-
서명 / 저자사항
FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings / Jose Nuno Oliveira, Pamela Zave (eds.).
발행사항
Berlin ;   New York :   Springer ,   2001.  
형태사항
xiii, 628 p. : ill. ; 24 cm.
총서사항
Lecture notes in computer science ; 2021
ISBN
3540417915 (softcover : alk. paper)
서지주기
Includes bibliographical references and index.
일반주제명
Computer software -- Development -- Congresses.
000 01121camuu2200253 a 4500
001 000001078320
005 20091126135331
008 010221s2001 gw a b 101 0 eng
020 ▼a 3540417915 (softcover : alk. paper)
040 ▼a DLC ▼c DLC ▼d DLC ▼d 244002 ▼d 211009
042 ▼a pcc
050 0 0 ▼a QA76.76.D47 ▼b I593 2001
082 0 0 ▼a 005.1 ▼2 21
090 ▼a 005.1 ▼b I614f ▼c 10
111 2 ▼a International Symposium of Formal Methods Europe ▼n (10th : ▼d 2001 : ▼c Berlin, Germany)
245 1 0 ▼a FME 2001 : ▼b formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings / ▼c Jose Nuno Oliveira, Pamela Zave (eds.).
260 ▼a Berlin ; ▼a New York : ▼b Springer , ▼c 2001.
300 ▼a xiii, 628 p. : ▼b ill. ; ▼c 24 cm.
440 0 ▼a Lecture notes in computer science ; ▼v 2021
504 ▼a Includes bibliographical references and index.
650 0 ▼a Computer software ▼x Development ▼x Congresses.
700 1 ▼a Oliveira, Jose N.
700 1 ▼a Zave, Pamela , ▼d 1948-

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 세종학술정보원/과학기술실/ 청구기호 005.1 I614f 10 등록번호 151127524 도서상태 대출가능 반납예정일 예약 서비스 C M

컨텐츠정보

목차

Lightweight Formal Methods.- Reformulation: a Way to Combine Dynamic Properties and B Refinement.- Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries.- Proofs of Correctness of Cache-Coherence Protocols.- Model-Checking Over Multi-Valued Logics.- How to Make FDR Spin LTL Model Checking of CSP by Refinement.- Avoiding State Explosion for Distributed Systems with Timestamps.- Secrecy-Preserving Refinement.- Information Flow Control and Applications - Bridging a Gap -.- A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures.- A Formal Model for Reasoning About Adaptive QoS-Enabled Middleware.- A Programming Model for Wide-Area Computing.- A Formal Model of Object-Oriented Design and GoF Design Patterns.- Validation of UML Models Thanks to Z and Lustre.- Components, Contracts, and Connectors for the Unified Modelling Language UML.- An Integrated Approach to Specification and Validation of Real-Time Systems.- Real-Time Logic Revisited.- Improvements in BDD-Based Reachability Analysis of Timed Automata.- Serialising Parallel Processes in a Hardware/Software Partitioning Context.- Verifying Implementation Relations.- An Adequate Logic for Full LOTOS.- Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics (M C ? ).- Faithful Translations Among Models and Specifications.- Composing Contracts: An Adventure in Financial Engineering.- From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study.- Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System.- Using Formal Verification Techniques to Reduce Simulation and Test Effort.- Transacted Memory for Smart Cards.- Houdini, an Annotation Assistant for ESC/Java.- A Heuristic for Symmetry Reductions with Scalarsets.- View Updatability Based on the Models of a Formal Specification.- Grammar Adaptation.- Test-Case Calculation Through Abstraction.- A Modular Approach to the Specification and Validation of an Electrical Flight Control System.- A Combined Testing and Verification Approach for Software Reliability.


정보제공 : Aladin

관련분야 신착자료

クジラ飛行机 (2022)