Skip to main content

The Computerate Specifying Paradigm

Document Type Replaced Internet-Draft (individual)
Expired & archived
Author Marc Petit-Huguenin
Last updated 2022-08-07
Replaced by draft-petithuguenin-computerate-specification
RFC stream (None)
Intended RFC status (None)
Stream Stream state (No stream defined)
Consensus boilerplate Unknown
RFC Editor Note (None)
IESG IESG state Replaced by draft-petithuguenin-computerate-specification
Telechat date (None)
Responsible AD (None)
Send notices to (None)

This Internet-Draft is no longer active. A copy of the expired Internet-Draft is available in these formats:


This document specifies a paradigm named Computerate Specifying, designed to simultaneously document and formally specify communication protocols. This paradigm can be applied to any document produced by any Standard Developing Organization (SDO), but this document targets specifically documents produced by the IETF.


Marc Petit-Huguenin

(Note: The e-mail addresses provided for the authors of this Internet-Draft may no longer be valid.)