Path: utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!ames!ubvax!vsi1!altnet!uunet!mcvax!ukc!reading!onion!cf-cm!cybaswan!eeartym
From: eeartym@cybaswan.UUCP (Dr R.Artym eleceng )
Newsgroups: comp.software-eng
Subject: Re: Design Methods and Flow charts
Message-ID: <38@cybaswan.UUCP>
Date: 27 Jul 88 21:16:14 GMT
References: <1440@bute.tcom.stc.co.uk> <2672@newton.praxis.co.uk> <382@gould.doc.ic.ac.uk>
Reply-To: eeartym@cybaswan.UUCP (Dr R.Artym eleceng )
Organization: University College of Swansea
Lines: 26

>In article <382@gould.doc.ic.ac.uk> acwf@doc.ic.ac.uk (Anthony Finkelstein)
>writes:
>>Simon Tait in article <2672@newton.praxis.co.uk> writes that JSP and
>>OOD are normally termed semi-formal methods. This is the normal usage
>>but is inaccurate - something is either formal or not! I prefer to
>>use the term formatted to describe such methods - it more accurately
>>captures the essence of the representation schemes associated with
>>such techniques. Pedants rule OK!
>>
>

"Formatted" ??  Sounds aweful!  Anyway, why invent yet another tag when
those methods have been called "STRUCTURED" since time immemorial.

Incidentally, pedantry is a pre-requisite to working in formal methods!
		Rich
-- 
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Keywords:  Parallel, Applicative, and Object-Oriented Languages and Systems
---------------------------------------------------------------------------
Dr. Richard Artym,		+   UUCP   :  ..!ukc!pyr.swan.ac.uk!eeartym
Electrical Engineering Dept.,	+   JANET  :  eeartym@uk.ac.swan.pyr
University of Wales,		+   Phone  :  [(0792) or (+44 792)]  295536
Swansea, SA2 8PP,		+   Fax    :  [(0792) or (+44 792)]  295532
U.K.				+   Telex  :  48358
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~