[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-15.txt
Marc Petit-Huguenin <marc@petit-huguenin.org> Sun, 07 November 2021 17:36 UTC
Return-Path: <marc@petit-huguenin.org>
X-Original-To: fdt@ietfa.amsl.com
Delivered-To: fdt@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 637663A0D56 for <fdt@ietfa.amsl.com>; Sun, 7 Nov 2021 09:36:05 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.899
X-Spam-Level:
X-Spam-Status: No, score=-1.899 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, SPF_HELO_FAIL=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=ham autolearn_force=no
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id VbfFw0ltOjDg for <fdt@ietfa.amsl.com>; Sun, 7 Nov 2021 09:36:00 -0800 (PST)
Received: from implementers.org (implementers.org [92.243.22.217]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 55E823A0D58 for <fdt@ietf.org>; Sun, 7 Nov 2021 09:36:00 -0800 (PST)
Received: from [IPV6:2601:204:e600:411:d250:99ff:fedf:93cd] (unknown [IPv6:2601:204:e600:411:d250:99ff:fedf:93cd]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-384) server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "Marc Petit-Huguenin", Issuer "implementers.org" (verified OK)) by implementers.org (Postfix) with ESMTPS id 3A3B8AE269 for <fdt@ietf.org>; Sun, 7 Nov 2021 18:35:57 +0100 (CET)
Message-ID: <59b6ecdc-1723-374a-0f5a-6d2e0e6e24b3@petit-huguenin.org>
Date: Sun, 07 Nov 2021 09:35:54 -0800
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.2.1
References: <163630640999.9774.3953588423519693435@ietfa.amsl.com>
Content-Language: en-US
From: Marc Petit-Huguenin <marc@petit-huguenin.org>
To: "fdt@ietf.org" <fdt@ietf.org>
In-Reply-To: <163630640999.9774.3953588423519693435@ietfa.amsl.com>
X-Forwarded-Message-Id: <163630640999.9774.3953588423519693435@ietfa.amsl.com>
Content-Type: multipart/signed; micalg="pgp-sha256"; protocol="application/pgp-signature"; boundary="------------NJhczDFYnfRzxjmdWNh6CUgb"
Archived-At: <https://mailarchive.ietf.org/arch/msg/fdt/e1kV7CddHvgGIXeC1FEhki4yvuk>
Subject: [fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-15.txt
X-BeenThere: fdt@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Mailing list for the discussion of the use of formal description techniques in IETF documents <fdt.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/fdt>, <mailto:fdt-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/fdt/>
List-Post: <mailto:fdt@ietf.org>
List-Help: <mailto:fdt-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/fdt>, <mailto:fdt-request@ietf.org?subject=subscribe>
X-List-Received-Date: Sun, 07 Nov 2021 17:36:06 -0000
See changelog at the end of the document. -------- Forwarded Message -------- Subject: I-D Action: draft-petithuguenin-computerate-specifying-15.txt Date: Sun, 07 Nov 2021 09:33:30 -0800 From: internet-drafts@ietf.org Reply-To: internet-drafts@ietf.org To: i-d-announce@ietf.org 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-15.txt Pages : 139 Date : 2021-11-07 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-15.html A diff from the previous version is available at: https://www.ietf.org/rfcdiff?url2=draft-petithuguenin-computerate-specifying-15 Internet-Drafts are also available by anonymous FTP at: ftp://ftp.ietf.org/internet-drafts/ _______________________________________________ I-D-Announce mailing list I-D-Announce@ietf.org 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: marc@petit-huguenin.org Blog: https://marc.petit-huguenin.org Profile: https://www.linkedin.com/in/petithug
- [fdt] Fwd: I-D Action: draft-petithuguenin-comput… Marc Petit-Huguenin