Accession Number:

ADA242132

Title:

From English into Z, a Reverse Specification Process

Descriptive Note:

Corporate Author:

ROYAL SIGNALS AND RADAR ESTABLISHMENT MALVERN (UNITED KINGDOM)

Personal Author(s):

Report Date:

1991-06-01

Pagination or Media Count:

32.0

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.

Subject Categories:

  • Computer Programming and Software
  • Command, Control and Communications Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE