From: Freejack <user@nospam.net>
Subject: Re: Feasibility/Requirements/Wishes of xAL (was: Standard Library Interest?)
Date: Sun, 12 Oct 2003 13:57:51 GMT
Date: 2003-10-12T13:57:51+00:00 [thread overview]
Message-ID: <pan.2003.10.12.14.04.02.939699.849@nospam.net> (raw)
In-Reply-To: Xns940FC6E7E7DABcblamstudentutwenten@130.89.1.105
Has anyone considered developing a Lightweight Formal Method for creating
the Library?
i.e. Check out this link ....
http://www.stsc.hill.af.mil/crosstalk/2003/01/george.html
Perhaps a similiar approach would help in developing a good Ada Standard
Library. Formal specs would aid in quality control, yet making them
"Lightweight" allow more room for those intimidated by formal
requirements.
Thoughts?
Freejack
prev parent reply other threads:[~2003-10-12 13:57 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-10-09 17:33 Feasibility/Requirements/Wishes of xAL (was: Standard Library Interest?) Ching Bon Lam
2003-10-09 18:22 ` Martin Dowie
2003-10-09 18:29 ` Stephane Richard
2003-10-10 16:18 ` Martin Dowie
2003-10-11 7:48 ` Martin Krischik
2003-10-12 11:13 ` Ching Bon Lam
2003-10-11 21:56 ` Ching Bon Lam
2003-10-12 4:18 ` Robert I. Eachus
2003-10-12 15:32 ` Marin David Condic
2003-10-12 16:51 ` Stephane Richard
2003-10-12 23:29 ` Marin David Condic
2003-10-12 22:54 ` Robert I. Eachus
2003-10-12 23:37 ` Marin David Condic
2003-10-13 1:02 ` Robert I. Eachus
2003-10-13 9:58 ` Stephane Richard
2003-10-13 19:58 ` Robert I. Eachus
2003-10-13 20:57 ` Stephane Richard
2003-10-13 12:13 ` Marin David Condic
2003-10-12 13:57 ` Freejack [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