> > [From Robert Eachus's remarks,] I wonder if there is a
> > better approach than UML for Ada. ....
> ... at this meeting everyone agreed that the right
> PDL/detailed-design language for Ada was compilable Ada. In other
> words, compilable package and other specifications was the final
> product of detailed design. ...
> ... a large number of design problems were
> recognized when the PDL was translated into Ada specifications.
> .... Since we were all using Ada
> compilers to do this checking as early as possible during the design
> process, it made sense to make the specs the output of detailed design.
> Also note that there have were many for Ada 83
> which provided tools that also checked that structured comments
> matched the code. Byron was probably the most successful of these.
> Why have ["annotation" languages] fallen out of favor ...
> [I guess] everyone has gotten better at expressing the design directly
> in the code and recognizing standard design idioms.
> The amount of effort in process of going from UML to Ada
> specifications devoted to bookkeeping and writing code is minimal.
> The major effort is in making the various decisions that need to be
> made and documenting them. ...
So can I summarize your view as
- Ada specs is a better design approach than UML for Ada code.
- UML is a good preliminary design approach, with Ada specs for the detailed design
- something else.....