From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,f4c1d69f85d3d1fa
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!postnews.google.com!c29g2000yqd.googlegroups.com!not-for-mail
From: =?ISO-8859-1?Q?Hibou57_=28Yannick_Duch=EAne=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Software documentation : and you ?
Date: Wed, 27 Jan 2010 20:56:30 -0800 (PST)
Organization: http://groups.google.com
Message-ID: 
 <2a7f2443-b486-49a8-87d0-34319687d4e0@c29g2000yqd.googlegroups.com>
References: <7b19f0c6-211e-4d29-a537-94afd40e003d@b2g2000yqi.googlegroups.com>
NNTP-Posting-Host: 86.75.149.141
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: posting.google.com 1264654590 16402 127.0.0.1 (28 Jan 2010 04:56:30
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Thu, 28 Jan 2010 04:56:30 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: c29g2000yqd.googlegroups.com; posting-host=86.75.149.141;
	posting-account=vrfdLAoAAAAauX_3XwyXEwXCWN3A1l8D
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1;
	fr),gzip(gfe),gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:8835
Date: 2010-01-27T20:56:30-08:00
List-Id: <comp.lang.ada>

By the way, GNAT comes with a good example of such a suggested
documentation.
The author of the latter article would probably enjoy to see more
oftenly this kind of literature :
http://www2.adacore.com/gap-static/GNAT_Book/html/

A document which clearly explains implementations strategies and
concepts, with both links to formal specification topics (sections in
the ARM) and parts of implementation which handles these.


P.S. That's also true that GNAT had been largely funded, and that may
have helped (the author alleged that economic considerations may have
to be taken into account).