- From: <public-council@w3.org>
- Date: Fri, 12 Sep 2014 13:15:23 +0000
- 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:
http://www.w3.org/community/urispec/
To join:
http://www.w3.org/community/urispec/join
This group was originally proposed on 2014-09-11
by David Sheets. The following people supported its
creation:
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