From English into Z, a Reverse Specification Process

Abstract

On an exercise to translate the communication protocol specification RFC 826, 'The address resolution protocol', already written in English, into the mathematical specification language Z.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1991
Accession Number
ADA242132

Entities

People

  • S. C. Giess

Organizations

  • Royal Signals and Radar Establishment

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Communications Protocols
  • Computer Networks
  • Debugging
  • Engineering
  • Ethernet
  • Formal Languages
  • Intellectual Property
  • Language
  • Local Area Networks
  • Network Architecture
  • Network Protocols
  • Networks
  • Notation
  • Sequences
  • Software Development
  • Transport Protocols