From: "Hibou57 (Yannick Duchêne)" <yannick_duchene@yahoo.fr>
Subject: Re: Software documentation : and you ?
Date: Wed, 27 Jan 2010 20:56:30 -0800 (PST)
Date: 2010-01-27T20:56:30-08:00 [thread overview]
Message-ID: <2a7f2443-b486-49a8-87d0-34319687d4e0@c29g2000yqd.googlegroups.com> (raw)
In-Reply-To: 7b19f0c6-211e-4d29-a537-94afd40e003d@b2g2000yqi.googlegroups.com
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).
prev parent reply other threads:[~2010-01-28 4:56 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-01-24 19:20 Software documentation : and you ? Hibou57 (Yannick Duchêne)
2010-01-28 4:56 ` Hibou57 (Yannick Duchêne) [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox