Re: UML & Ada

[Jeffrey Carter <jrcarter@acm.org>]

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