Subject: [fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-06.txt

From: Marc Petit-Huguenin <[email-masked]>
Date: Sun, 21 Feb 2021 09:55:10 -0800

This new version adds 19 pages, split in two categories:

- Explanations on how to automatically generate a Message Sequence Chart (and its associated message details) from a computerate specification.
- A new appendix written for programmers, that explains how a computerate specification uses the Idris programming language to prove stuff.

Both parts are work in progress and will at least double in size when done.

-------- Forwarded Message --------
Subject: I-D Action: draft-petithuguenin-computerate-specifying-06.txt
Date: Sun, 21 Feb 2021 09:46:45 -0800
From: [email-masked]
Reply-To: [email-masked]
To: [email-masked]

A New Internet-Draft is available from the on-line Internet-Drafts directories.

         Title           : The Computerate Specifying Paradigm
         Author          : Marc Petit-Huguenin
	Filename        : draft-petithuguenin-computerate-specifying-06.txt
	Pages           : 109
	Date            : 2021-02-21

Abstract:
    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.

The IETF datatracker status page for this draft is:
https://datatracker.ietf.org/doc/draft-petithuguenin-computerate-specifying/

There is also an HTML version available at:
https://www.ietf.org/archive/id/draft-petithuguenin-computerate-specifying-06.html

A diff from the previous version is available at:
https://www.ietf.org/rfcdiff?url2=draft-petithuguenin-computerate-specifying-06

Please note that it may take a couple of minutes from the time of submission
until the htmlized version and diff are available at tools.ietf.org.

Internet-Drafts are also available by anonymous FTP at:
ftp://ftp.ietf.org/internet-drafts/

_______________________________________________
I-D-Announce mailing list
[email-masked]
https://www.ietf.org/mailman/listinfo/i-d-announce
Internet-Draft directories: http://www.ietf.org/shadow.html
or ftp://ftp.ietf.org/ietf/1shadow-sites.txt

-- 
Marc Petit-Huguenin
Email: [email-masked]
Blog: https://marc.petit-huguenin.org
Profile: https://www.linkedin.com/in/petithug