Mdthbs

In one of Edsger Dijkstra's most famous essays "By way of introduction" there is this paragraph:

As final example of skirting the programming issue I mention “software engineering”, the IPSE’s, the ASPE’s, the FRIPSE’s and the GRIPSE’s and all further animation tools you can think of. They come from a world that has accepted its charter “How to program if you cannot.”. The best of these efforts just confuse composing with the physical act of writing the score, others are foolish at best, and some are criminal.

From the context, it seems like those are some graphical tools from the 80s (the essay is dated 12 Feb 1989), which were used for computer programming education, however I wasn't able to find any information on the Internet about them.

IPSE   = Integrated Project Support Environment

     (or Integrated Programming Support Environment

ASPE   = Ada Programming Support Environment

FRIPSE = Formal Reasoning Integrated Programming Support Environment

GRIPSE = Graphical Integrated Programming Support Environment

Keep in mind, Dijkstra's rant is about the formal programming hype of the late 1980s which he didn't consider to be fruitful, wise man he was.

Some further links:

• IPSE




• The preliminary specification of FRIPSE, KD Jones, 1987




• MURAL (as what is FRIPSE known today) (Also here)




• A uniform graphical view of the program construction process: GRIPSE




• Some examples can be found in a 1987 paper provided by alephzero

When searching, adding "Formal Verification" might be helpful, as that was the core idea. After all, programming is just mathematics, right? So it should be possible to program in a way that it's possible to prove the correctness in an automated, formalized way. Thankfully mostly dead by now.

As a side note, if there's any writing of im that can be consideres most famous, then it's his 1968 "Go To Statement Considered Harmful". This one infuenced eventually each and every modern programming language (except Brainfuck that is).

IPSE stands for "Integrated Project Support Environment"; this was one of a series of names given to projects related to using theorm proving in software engineering. Wikipedia has a brief blurb on it, but this Chilton Computing page offers more detail and probably gives a better sense of what it is and what it does. FRIPSE and GRIPSE were related (FR meaning "formal reasoning" and "GR" meaning "graphical."

If your concern is not about the details of these particular packages at those times but instead what Dijktra was talking about when he mentioned those (certainly any modern example could be substituted in that paper and still preserve what he was trying to say), the Software Engineering StackExchange would be a better place for questions.