![FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings](https://image.aladin.co.kr/product/6820/2/cover/3540417915_2.jpg)
FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings
| 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 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
컨텐츠정보
목차
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.
정보제공 :
