W3C home > Mailing lists > Public > public-council@w3.org > September 2014

URI Specification Community Group Launched

From: <public-council@w3.org>
Date: Fri, 12 Sep 2014 13:15:23 +0000
Message-Id: <E1XSQh9-0005y5-2a@shauna.w3.org>
To: "David Sheets" <sheets@alum.mit.edu>,"Marcos Caceres" <marcos+w3c@marcosc.com>,"Austin Wright" <aaa@bzfx.net>,"Ethan Dagner" <napen123@gmail.com>,"Arthur Barstow" <art.barstow@gmail.com>,Cc: public-council@w3.org
With your support, the URI Specification Community Group has been launched:

To join:

This group was originally proposed on 2014-09-11
by David Sheets. The following people supported its
      David Sheets
      Marcos Caceres
      Austin Wright
      Ethan Dagner
      Arthur Barstow
The URI Specification Community Group endeavors to produce a set of
coherent, maintainable artifacts for use by implementors, developers,
authors, and everyday users. We will achieve this by creating a formal
specification of the ad hoc URI/URL standard described by RFC 3986/3987
and the WHATWG URL Living Standard. 

The deliverable is a single formal specification source document in Lem
(http://www.cl.cam.ac.uk/~pes20/lem/) from which a typical standards
document can be generated as well as a set of theorems over the concepts
described and an executable test oracle for each specified
function. Depending on community support and development of test
generation tools, a test suite with proven specification coverage may
also be delivered. If you think URI should work predictably and
correctly and be able to be understood clearly, please join this group
and give us your perspective!

Thank you,

W3C Community Development Team
Received on Friday, 12 September 2014 13:15:45 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:16:36 UTC