Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings > From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings |
Jose N. Oliveira; Pamela Zave
Springer Berlin Heidelberg
FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings
From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study
Authors

Manuel J. Fernández Iglesias; Francisco J. González-Castaño; José M. Pousada Carballo; Martín Llamas Nistal; Alberto Romero Feijoo

ARI Id

1664639709627_2530323

Access

Not Available Free

Pages

436-448

DOI

10.1007/3-540-45251-6_25

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-45251-6_25

Table of Contents of Book
Showing 1 to 20 of 37 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-XIII
Lightweight Formal Methods
Daniel Jackson
1-1
Reformulation: a Way to Combine Dynamic Properties and B Refinement
F. Bellegarde; C. Darlot; J. Julliand; O. Kouchnarenko
2-19
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries
Steffen Helke; Thomas Santen
20-42
Proofs of Correctness of Cache-Coherence Protocols
Joseph Stoy; Xiaowei Shen; Arvind
43-71
Model-Checking Over Multi-Valued Logics
Marsha Chechik; Steve Easterbrook; Victor Petrovykh
72-98
How to Make FDR Spin LTL Model Checking of CSP by Refinement
Michael Leuschel; Andrew Currie; Thierry Massart
99-118
Avoiding State Explosion for Distributed Systems with Timestamps
Fabrice Derepas; Paul Gastin; David Plainfossé
119-134
Secrecy-Preserving Refinement
Jan Jürjens
135-152
Information Flow Control and Applications — Bridging a Gap —
Heiko Mantel
153-172
A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures
Vasu S. Alagar; Zheng Xi
173-196
A Formal Model for Reasoning About Adaptive QoS-Enabled Middleware
Nalini Venkatasubramanian; Carolyn Talcott; Gul Agha
197-221
A Programming Model for Wide-Area Computing
Jayadev Misra
222-222
A Formal Model of Object-Oriented Design and GoF Design Patterns
Andres Flores; Luis Reynoso; Richard Moore
223-241
Validation of UML Models Thanks to Z and Lustre
Sophie Dupuy-Chessa; Lydie du Bousquet
242-258
Components, Contracts, and Connectors for the Unified Modelling Language UML
Claus Pahl
259-277
An Integrated Approach to Specification and Validation of Real-Time Systems
Adnan Sherif; Augusto Sampaio; Sérgio Cavalcante
278-299
Real-Time Logic Revisited
Stephen E. Paynter
300-317
Improvements in BDD-Based Reachability Analysis of Timed Automata
Dirk Beyer
318-343
Serialising Parallel Processes in a Hardware/Software Partitioning Context
Leila Silva; Augusto Sampaio; Geraint Jones
344-363
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 37 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings