Contents

• Editorial
• General News
  • The Newsletter by File Transfer
  • The Newsletter on World Wide Web
• Work in Progress
  • Recent Activities at the University of Ottawa
• Conferences and Workshops
  • Formal Description Techniques 94
    • Program Committee
    • Expression of Interest
    • Further Information
  • Protocol Specification, Testing and Verification XIV
    • Scope and Objective
    • Venue
    • Tutorials
    • Program Committee
    • Further Information
  • International Conference on Open Distributed Processing
    • Purpose
    • Areas of Interest
    • Information for Authors
    • Programme Committee
    • Sponsors
    • Key Dates
    • Further Information
    • Related Events
  • AMAST 93 Proceedings
• Training
  • Introducing Its Applications and Tools
    • Features
    • Aims
    • Audience
    • Applications
    • Further Information
• Abstracts of Papers and Theses
  • A framework based on implementation relations for
  • VLib : infinite virtual libraries for
  • An Enhanced Version of Timed and its Application
  • Architecture-Driven Specification using Extended
  • Survey of Formal Methods in Software Engineering
    • Introduction
    • Literature Survey
    • Academic Survey
    • Industrial Survey
    • Way Forward
    • Full Report
• Standardisation
  • E Progress in Madrid
    • Current Status of Work
    • Proposed Enhancements
    • Data Typing
    • Structure of the Revised Draft on Enhancements to
    • Next Meeting
• Applications to Problems
  • Architectural Semantics for ODP
• Language Issues
• Tools
  • The TOPO Tool
    • Description
    • ADT Compiler
    • Transition System Compiler
    • The Toolset
    • Applications
    • Distribution
• References
• About this document ...