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 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,8fbb80525a3ce8ee X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-11-20 18:49:41 PST Path: archiver1.google.com!news1.google.com!sn-xit-02!supernews.com!newsfeed.direct.ca!look.ca!newsfeed1.earthlink.net!newsfeed.earthlink.net!newsmaster1.prod.itd.earthlink.net!newsread1.prod.itd.earthlink.net.POSTED!not-for-mail Message-ID: <3BFB163F.F0ECE879@acm.org> From: Jeffrey Carter X-Mailer: Mozilla 4.7 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: UML & Ada References: <9tc0qk$cee$1@nh.pace.co.uk> <3BF9EB02.D9946B9B@acm.org> <9td56n$57e$1@newshost.mot.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Wed, 21 Nov 2001 02:49:41 GMT NNTP-Posting-Host: 209.86.209.122 X-Complaints-To: abuse@earthlink.net X-Trace: newsread1.prod.itd.earthlink.net 1006310981 209.86.209.122 (Tue, 20 Nov 2001 18:49:41 PST) NNTP-Posting-Date: Tue, 20 Nov 2001 18:49:41 PST Organization: EarthLink Inc. -- http://www.EarthLink.net X-Received-Date: Tue, 20 Nov 2001 18:45:29 PST (newsmaster1.prod.itd.earthlink.net) Xref: archiver1.google.com comp.lang.ada:16767 Date: 2001-11-21T02:49:41+00:00 List-Id: Torben Hoffmann wrote: > > Where can I find some information on CAIM? and MDC had a similar post. CAIM is the successor to MMAIM. After MM lost interest in MMAIM (associated with not winning the project that MMAIM was associated with), and especially after MM lost interest in me, I changed the MM to C. CAIM has evolved some since those days. MMAIM was documented in "MMAIM: A Software Development Method for Ada", which appeared in 2 parts in Ada Letters, 1988 May/Jun and Sep/Oct and in "Reducing Software Development Costs with Ada", Proceedings of the Seventh Annual National Conference on Ada Technology, ANCOST, Inc., 1989 and is referenced in other papers on Ada by J. Carter, whoever he is. I doubt if you can find any of these on line. I only have most of them in paper form. CAIM seems to have some similarity to what I've been able to find out about HOOD. I wish I could find more information about HOOD in a format that I can read so I can tell if I really have anything to contribute. CAIM uses a hierarchical approach to development, with a design at one level serving as a specification at the next, and mechanical generation of Ada specifications (and "empty bodies") at all levels and of implementation code from the lowest levels. CAIM specifications are fairly formal while still being fairly easy to understand and non-mathematical. -- Jeff Carter "Sons of a silly person." Monty Python & the Holy Grail