Book Volume 1709 1999

FM’99 — Formal Methods

World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II


ISBN: 978-3-540-66588-5 (Print) 978-3-540-48118-8 (Online)

Table of contents (62 chapters)

previous Page of 4
  1. Front Matter

    Pages I-XVIII

  2. Foundations of System Specification (IFIP WG 1.3)

    1. Chapter

      Pages 939-962

      From informal requirements to COOP: a concurrent automata approach

    2. Chapter

      Pages 963-982

      A framework for defining Object-Calculi extended abstract

  3. European Theory and Practice of Software (ETAPS)

    1. Chapter

      Pages 983-1007

      A translation of statecharts to esterel

    2. Chapter

      Pages 1008-1027

      An operational semantics for timed RAISE

    3. Chapter

      Pages 1028-1047

      Data abstraction for CSP-OZ

    4. Chapter

      Pages 1048-1067

      Systems development using Z generics

    5. Chapter

      Pages 1068-1086

      A brief summary of VSPEC

    6. Chapter

      Pages 1087-1106

      Enhancing the pre- and postcondition technique for more expressive specifications

  4. Program Verification

    1. Chapter

      Pages 1107-1127

      On excusable and inexcusable failures towards an adequate notion of translation correctness

    2. Chapter

      Pages 1128-1146

      Interfacing program construction and verification

    3. Chapter

      Pages 1147-1165

      Software verification based on linear programming

  5. Integration of Notation and Techniques

    1. Chapter

      Pages 1166-1185

      Sensors and actuators in TCOZ

    2. Chapter

      Pages 1186-1205

      The UniForM workbench a universal development environment for formal methods

    3. Chapter

      Pages 1206-1225

      Integrating formal description techniques

  6. Formal Description of Programming Concepts (IFIP WG 2.2)

    1. Chapter

      Pages 1226-1244

      A more complete TLA

    2. Chapter

      Pages 1245-1265

      Formal justification of the rely-guarantee paradigm for shared-variable concurrency: a semantic approach

    3. Chapter

      Pages 1266-1280

      Relating Z and first-order logic

  7. Open Information Systems

    1. Chapter

      Pages 1281-1300

      Formal modeling of the enterprise javabeans™ component integration framework

    2. Chapter

      Pages 1301-1320

      Developing components in the presence of re-entrance

    3. Chapter

      Pages 1321-1342

      Communication and synchronisation using interaction objects

previous Page of 4