comp.lang.ada
 help / color / mirror / Atom feed
From: Peter Hermann <ica2ph@sinus.csv.ica.uni-stuttgart.de>
Subject: Re: Software Design
Date: Fri, 12 Dec 2003 15:22:24 +0000 (UTC)
Date: 2003-12-12T15:22:24+00:00	[thread overview]
Message-ID: <brcmfg$lfn$1@news.uni-stuttgart.de> (raw)
In-Reply-To: brck7d$m38$1@f04n12.cac.psu.edu

Robert Spooner <rls19@psu.edu> wrote:
> I thought you might enjoy reading that.

and I think you should proceed reading the Spark book
"High Integrity Software"   ;-)

cheers,
ph



  reply	other threads:[~2003-12-12 15:22 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-12-12 14:43 Software Design Robert Spooner
2003-12-12 15:22 ` Peter Hermann [this message]
2003-12-16 16:28   ` Software Design ...and Specification Wojtek Narczynski
2003-12-12 15:55 ` Software Design (see below)
2003-12-12 19:49 ` Alexandre E. Kopilovitch
  -- strict thread matches above, loose matches on Subject: below --
2003-12-13  2:18 amado.alves
2003-12-13 13:40 ` (see below)
2003-12-15 12:41   ` Peter Amey
     [not found] <468D78E4EE5C6A4093A4C00F29DF513D04B82AFF@VS2.hdi.tvcabo>
2003-12-13 21:22 ` Alexandre E. Kopilovitch
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox