Research Catalog
International Refinement Workshop & Formal Methods Pacific '98 : proceedings of IRW/FMP '98 Canberra, Australia
- Title
- International Refinement Workshop & Formal Methods Pacific '98 : proceedings of IRW/FMP '98 Canberra, Australia / edited by J. Grundy, M. Schwenke, T. Vickers.
- Author
- International Refinement Workshop and Formal Methods Pacific 1998 (1998 : Canberra, A.C.T.)
- Publication
- New York : Springer-Verlag, [1998], ©1998.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA76.54 .I57 1998 | Off-site |
Holdings
Details
- Additional Authors
- Description
- viii, 380 pages; 24 cm.
- Summary
- IRW/FMP'98 provides a forum for the discussion of current research on mathematically based techniques for design and development of computer systems, especialloy formal or rigorous methods for developing executable programs from abstract specifications, tool support for formal software, and practical experience with formal methods. Topics also include the specification and verification of hardware and software, and the specification and development of real-time, probabilistic and concurrent systems.
- Series Statement
- Springer series in discrete mathematics and theoretical computer science
- Uniform Title
- Springer series in discrete mathematics and theoretical computer science.
- Alternative Title
- International refinement workshop and formal methods Pacific '98
- Subject
- Note
- Includes index.
- Contents
- Separating Timing and Calculation in Real-Time Refinement / Ian Hayes -- Extending Window Inference / Joakim von Wright -- Industrial-strength Refinement / Jim Woodcock -- Grey Box Data Refinement / Eerke Boiten and John Derrick -- Event Ordering in Action Systems / Michael Butler -- Inheritance in Larch Interface Specification Languages, Its Semantic Foundation and Formal Semantics / Yoonsik Cheon -- Data Refining Logic Programs / Robert Colvin, Ian Hayes and Paul Strooper -- Correctness in Refinement Developments / Martin de Groot and Ken Robinson -- Composition Diagrams / Roger Duke and Gordon Rose -- Adapting Program Derivations using Program Conjunction / Lindsay Groves -- New Foundations for Z / Martin C. Henson and Steve Reeves -- What's in a Specification? / Linas Laibinis and Joakim von Wright -- Refinement of Z Machines / Karl Lermer -- Tail-recursive Non-canonical Constants and Continuations in Martin-Lof's Type Theory / Neil Leslie --
- Expression Refinement in Higher Order Logic / Brendan Mahony -- The Probabilistic Steam Boiler: A Case Study in Probabilistic Data Refinement / Annabelle McIver, Carroll Morgan and Elena Troubitsyna -- Refinement of Generic Classes as Semantics of Correct Polymorphic Reuse / Anna Mikhajlova -- Action Systems Synthesis of Delay-Insensitive Circuits / Juha Plosila, Rimvydas Ruksenas and Kaisa Sere -- A Mode System for Flexible Alias Protection / John Potter, David Clarke and James Noble -- The Essence of Expression Refinement / Martin Schwenke and Brendan Mahony -- Security Management Via Z and CSP / Andrew Simpson, Jim Davies and Jim Woodcock -- Supporting Contexts in the Sequential Real-Time Refinement Calculus / Luke Wildman and Ian Hayes -- Towards Verification of Non-repudiation Protocols / Jianying Zhou and Dieter Gollmann.
- ISBN
- 9814021164 (softcover)
- LCCN
- 98036678
- OCLC
- 504329751
- ocn504329751
- Owning Institutions
- Columbia University Libraries