2 options
ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods : York, England, 4-6 September 2000 / sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing, University of York ; editors, Shaoying Liu, John A. McDermid, Michael G. Hinchey.
- Format:
- Book
- Conference/Event
- Conference Name:
- IEEE International Conference on Formal Engineering Methods (3rd : 2000 : York, England)
- Language:
- English
- Subjects (All):
- Engineering--Methodology--Congresses.
- Engineering.
- Computer software--Development--Congresses.
- Computer software.
- Computer software--Development.
- Engineering--Methodology.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- xi, 209 pages : illustrations
- Other Title:
- Third IEEE International Conference on Formal Engineering Methods
- 3rd IEEE International Conference on Formal Engineering Methods
- Proceedings Third International Conference on Formal Engineering Methods
- Formal Engineering Methods, 2000, ICFEM 2000, Third IEEE International Conference on.
- Place of Publication:
- Los Alamitos, Calif. : IEEE Computer Society, [2000]
- System Details:
- Mode of access: World Wide Web.
- text file
- Contents:
- The Use of Mathematics in Software Engineering / David Lorge Parnas 1
- Development
- Formal Derivation of Multilayered Hardware/Software Structures / T. P. Plaks 5
- Embedding Formally Proved Code in a Smart Card: Converting B to C / A. Requet, G. Bossu 15
- Structuring
- Structuring Reactive Systems in B AMN / K. Lano, K. Androutsopoulos, P. Kan 25
- Highly Reliable Component-Based Software Development by Using Algebraic Behavioral Specification / M. Matsumoto, K. Futatsugi 35
- Composing Specifications in VSPEC / A. Venkataraman, M. Rangarajan, P. Alexander 45
- Algebraic Approaches
- A Unified Algebraic Framework for Specifying Communication Protocols / M. Jmaiel 57
- Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ / T. Tamai 67
- Legacy Code / Tony Hoare 75
- Verification
- SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol / H. Peng, S. Tahar, F. Khendek 79
- Mechanical Verification of Transaction Processing Systems / D. Chkliaev, J. Hooman, P. van der Stok 89
- Formal and Informal Notations
- Formal Foundations of Object-Oriented Modeling Notations / C. Pons, G. Baum 101
- Using Use Cases in Executable Z / W. Grieskamp, M. Lepper 111
- Translating UAN into CSP / I. MacColl, D. Carrington 121
- Retrenchment
- Maximally Abstract Retrenchments / R. Banach 133
- Fragmented Retrenchment, Concurrency and Fairness / R. Banach, M. Poppleton 143
- Offering Formal Verification Capabilities for Industry Standard Case Tools: Challenges and Results / Werner Damm 153
- Z: Theory and Practice
- Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z Specifications / A. E. Abdallah 157
- ClawZ: Control Laws in Z / R. Arthan, P. Caseley, C. O'Halloran, A. Smith 169
- A Case Study in Partial Specification: Consistency and Refinement for Object-Z / C. Taylor, J. Derrick, E. Boiten 177
- Animation
- An Integrated CSP-Based Tool for the Visualization, Animation and Performance Evaluation of Message Passing Algorithms / A. E. Abdallah, M. Green 189
- An Animatable Operational Semantics of the Verilog Hardware Description Language / J. P. Bowen, H. Jifeng, X. Qiwen 199.
- Notes:
- "IEEE Computer Society Order Number PR00822"--T.p. verso.
- Includes bibliographical references and author index.
- ISBN:
- 0769508227
- 9780769508221
- 0769508243
- 9780769508245
- OCLC:
- 45102675
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.