default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd ICFEM 2000: York, England, UK
- 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings. IEEE Computer Society 2000, ISBN 0-7695-0822-7
Invited Speaker
- David Lorge Parnas:
The Use of Mathematics in Software Engineering. 1
Development
- Toomas P. Plaks:
Formal Derivation of Multilayered Hardware/Software Structures. 5-14 - Antoine Requet, Gaëlle Bossu:
Embedding Formally Proved Code in a Smart Card: Converting B to C. 15-24
Structuring
- Kevin Lano, Kelly Androutsopoulos
, Pauline Kan:
Structuring Reactive Systems in B AMN. 25-34 - Michihiro Matsumoto, Kokichi Futatsugi:
Highly Reliable Component-Based Software Development by Using Algebraic Behavioral Specification. 35-44 - Arun Venkataraman, Murali Rangarajan, Perry Alexander:
Composing Specifications in VSPEC. 45-56
Algebraic Approaches
- Mohamed Jmaiel:
A Unified Algebraic Framework for Specifying Communication Protocols. 57-66 - Tetsuo Tamai:
Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ. 67-74
Invited Speaker
- C. A. R. Hoare:
Legacy Code. 75
Verification
- Hong Peng, Sofiène Tahar, Ferhat Khendek:
SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol. 79-88 - Dmitri Chkliaev, Jozef Hooman, Peter van der Stok:
Mechanical Verification of Transaction Processing Systems. 89-100
Formal and Informal Notations
- Claudia Pons, Gabriel Baum:
Formal Foundations of Object-Oriented Modeling Notations. 101-110 - Wolfgang Grieskamp, Markus Lepper:
Using Use Cases in Executable Z. 111-120 - Ian MacColl, David A. Carrington:
Translating UAN into CSP. 121-132
Retrenchment
- Richard Banach:
Maximally Abstract Retrenchments. 133-142 - Richard Banach, Michael Poppleton:
Fragmented Retrenchment, Concurrency and Fairness. 143-152
Invited Speaker
- Werner Damm:
Offering Formal Verification Capabilities for Industry Standard Case Tools: Challenges and Results. 153
Z: Theory and Practice
- Ali E. Abdallah:
Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z Specifications. 157-168 - R. D. Arthan, P. Caseley, Colin O'Halloran, Alf Smith:
ClawZ: Control Laws in Z. 169-176 - Chris Taylor, John Derrick, Eerke A. Boiten:
A Case Study in Partial Specification: Consistency and Refinement for Object-Z. 177-188
Animation
- Ali E. Abdallah, Mark Green:
An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms. 189-198 - Jonathan P. Bowen, Jifeng He, Qiwen Xu:
An Animatable Operational Semantics of the Verilog Hardware Description Language. 199-208
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-04-25 00:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
