| Lightweight Formal Methods / Daniel Jackson |
| Reformulation: A Way to Combine Dynamic Properties and B Refinement / F. Bellegarde ; C. Darlot ; J. Julliand ; O. Kouchnarenko |
| Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries / Steffen Helke ; Thomas Santen |
| Proofs of Correctness of Cache-Coherence Protocols / Joseph Stoy ; Xiaowei Shen ; Arvind |
| Model-Checking Over Multi-valued Logics / Marsha Chechik ; Steve Easterbrook ; Victor Petrovykh |
| How to Make FDR Spin: LTL Model Checking of CSP by Refinement / Michael Leuschel ; Thierry Massart ; Andrew Currie |
| Avoiding State Explosion for Distributed Systems with Timestamps / Fabrice Derepas ; Paul Gastin ; David Plainfossé |
| Secrecy-Preserving Refinement / Jan JÜrjens |
| Information Flow Control and Applications - Bridging a Gap - / Heiko Mantel |
| A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures / Vasu S. Alagar ; Zheng Xi |
| A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware / Nalini Venkatasubramanian ; Carolyn Talcott ; Gul Agha |
| A Programming Model for Wide-Area Computing / Jayadev Misra |
| A Formal Model of Object-Oriented Design and GoF Design Patterns / Andres Flores ; Richard Moore ; Luis Reynoso |
| Validation of UML Models Thanks to Z and Lustre / Sophie Dupuy-Chessa ; Lydie du Bousquet |
| Components, Contracts, and Connectors for the Unified Modelling Language UML / Claus Pahl |
| An Integrated Approach to Specification and Validation of Real-Time Systems / Adnan Sherif ; Augusto Sampaio ; Sergio Cavalcante |
| Real-Time Logic Revisited / Stephen E. Paynter |
| Improvements in BDD-Based Reachability Analysis of Timed Automata / Dirk Beyer |
| Serialising Parallel Processes in a Hardware/Software Partitioning Context / Leila Silva ; Geraint Jones |
| Verifying Implementation Relations / Jonathan Burton ; Maciej Koutny ; Giuseppe Pappalardo |
| An Adequate Logic for Full LOTOS / Muffy Calder ; Savi Maharaj ; Carron Shankland |
| Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics (Mc) / M'icheal Mac an Airchinnigh |
| Faithful Translations among Models and Specifications / Shmuel Katz |
| Composing Contracts: An Adventure in Financial Engineering / Simon Peyton Jones |
| From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study / Manuel J. Fernández Iglesias ; Francisco J. González-Castaño ; José M. Pousada Carballo ; Mart'in Llamas Nistal ; Alberto Romero Feijoo |
| Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System / Laurent Arditi ; Hédi Boufa¿ied ; Arnaud Cavanié ; Vincent Stehlé |
| Using Formal Verification Techniques to Reduce Simulation and Test Effort / O. Laurent ; P. Michel ; V. Wiels |
| Transacted Memory for Smart Cards / Pieter H. Hartel ; Michael J. Butler ; Eduard de Jong ; Mark Longley |
| Houdini, an Annotation Assistant for ESC/Java / Cormac Flanagan ; K. Rustan M. Leino |
| A Heuristic for Symmetry Reductions with Scalarsets / Dragan BoÜnački ; Dennis Dams ; Leszek Holenderski |
| View Updatability Based on the Models of a Formal Specification / Michael Johnson ; Robert Rosebrugh |
| Grammar Adaptation / Ralf Lammel |
| Test-Case Calculation through Abstraction / Bernhard K. Aichernig |
| A Modular Approach to the Specification and Validation of an Electrical Flight Control System / M. Doche ; I. Vernier-Mounier ; F. Kordon |
| A Combined Testing and Verification Approach for Software Reliability / Natasha Sharygina ; Doron Peled |
| Author Index |
| Lightweight Formal Methods / Daniel Jackson |
| Reformulation: A Way to Combine Dynamic Properties and B Refinement / F. Bellegarde ; C. Darlot ; J. Julliand ; O. Kouchnarenko |
| Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries / Steffen Helke ; Thomas Santen |
図書
ＥＢ
