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=0.6 required=5.0 tests=BAYES_05,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!attcan!uunet!husc6!bbn!uwmcsd1!ig!agate!ucbvax!MITRE-BEDFORD.ARPA!munck
From: munck@MITRE-BEDFORD.ARPA (Bob Munck)
Newsgroups: comp.lang.ada
Subject: Re: Typing Ada
Message-ID: <25135.580491166@mbunix>
Date: 24 May 88 15:32:46 GMT
References: <12400764147.13.RCONN@SIMTEL20>
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The Internet
List-Id: <comp.lang.ada>


> the Interactive Ada Workstation, funded by the Air Force, includes a
> Buhr diagram editor which allows the user to draw top-level Buhr
> diagrams and have these diagrams compiled into Ada package and task
> specifications.

About four years ago I started an IR&D project to do something similar
with SADT diagrams.  MITRE decided that the Air Force wasn't interested
in things of this nature (SADT or Ada) and didn't renew the funding
after the first year.  (FYI, SADT diagrams are now an important tool in
SDI work.)

Though all I accomplished was a good PC-based tool for drawing the
diagrams, I am convinced that this is the direction that "guts-level
coding" has to take, be it Buhr, SADT, or whatever.  People can "read"
pictures better than words in a row; machines, until recently, couldn't
do anything at all with pictures and could handle only very simple
sequences of words (programming languages).  I think it likely that Ada
will be the LAST major one-dimensional programming language.

When the pictures get to the point of being adequate for stating
completely the operation of a system, we won't need the Ada anymore.  It
will become the equivalent of object code.

                              -- Bob Munck, MITRE