International Refinement Workshop & Formal Methods Pacific '98
Subtitle: proceedings of IRW/FMP '98, 29 September- 2 October 1998, Canberra, Australia
By: Jim Grundy, Martin Schwenke, Trevor Vickers, editors.
Contributors: Grundy, J. 1968-; Schwenke, M. 1967-; Vickers, Trevor, 1959-; Centre for Discrete Mathematics & Theoretical Computer Science.
Series: Springer series in discrete mathematics and theoretical computer science
Publisher: Springer; Centre for Discrete Mathematics & Theoretical Computer Science
Published: 1998
Place of publication: Singapore; New York; Auckland
Language: eng
Number of pages: 380
Subjects: Real-time programming -- Congresses.
Description: 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.
Notes: Includes bibliographical references and index.
Includes index.