[fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-05.txt
Marc Petit-Huguenin <marc@petit-huguenin.org> Mon, 01 February 2021 20:28 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 C25D83A147D for <fdt@ietfa.amsl.com>; Mon, 1 Feb 2021 12:28:20 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.889
X-Spam-Level:
X-Spam-Status: No, score=-1.889 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, T_SPF_TEMPERROR=0.01, 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 qkWsZxV84aD7 for <fdt@ietfa.amsl.com>; Mon, 1 Feb 2021 12:28:17 -0800 (PST)
Received: from implementers.org (implementers.org [IPv6:2001:4b98:dc0:45:216:3eff:fe7f:7abd]) (using TLSv1.2 with cipher ADH-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 38B1E3A1461 for <fdt@ietf.org>; Mon, 1 Feb 2021 12:28:16 -0800 (PST)
Received: from [IPv6:2601:648:8400:8e7d:d250:99ff:fedf:93cd] (unknown [IPv6:2601:648:8400:8e7d:d250:99ff:fedf:93cd]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 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 70948AE11A for <fdt@ietf.org>; Mon, 1 Feb 2021 21:28:12 +0100 (CET)
References: <161220559232.9507.7419672514661493741@ietfa.amsl.com>
From: Marc Petit-Huguenin <marc@petit-huguenin.org>
To: "fdt@ietf.org" <fdt@ietf.org>
X-Forwarded-Message-Id: <161220559232.9507.7419672514661493741@ietfa.amsl.com>
Message-ID: <1888a635-7c80-786a-3f37-6eeb8755dbd1@petit-huguenin.org>
Date: Mon, 01 Feb 2021 12:28:10 -0800
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.7.0
MIME-Version: 1.0
In-Reply-To: <161220559232.9507.7419672514661493741@ietfa.amsl.com>
Content-Type: text/plain; charset="utf-8"; format="flowed"
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Archived-At: <https://mailarchive.ietf.org/arch/msg/fdt/hrdETkGp5ZpVCcJMYIuWjKPxF8o>
Subject: [fdt] Fwd: I-D Action: draft-petithuguenin-computerate-specifying-05.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: Mon, 01 Feb 2021 20:28:23 -0000
A new version after a 3+ months hiatus. The main change is that the Docker image for the tooling is now distributed over BitTorrent. If you have issue installing it, I am most of the time connected to hallway@jabber.ietf.org under the name MPH. -------- Forwarded Message -------- Subject: I-D Action: draft-petithuguenin-computerate-specifying-05.txt Date: Mon, 01 Feb 2021 10:53:12 -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-05.txt Pages : 90 Date : 2021-02-01 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-05.html A diff from the previous version is available at: https://www.ietf.org/rfcdiff?url2=draft-petithuguenin-computerate-specifying-05 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 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