Path: utzoo!attcan!uunet!mcvax!ukc!stl!stc!praxis!simont From: simont@praxis.co.uk (Simon Tait) Newsgroups: comp.software-eng Subject: Re: Design Methods and Flow charts Message-ID: <2672@newton.praxis.co.uk> Date: 21 Jul 88 10:36:17 GMT References: <1440@bute.tcom.stc.co.uk> Reply-To: simont@praxis.co.uk (Simon Tait) Organization: Praxis Systems plc, Bath, UK Lines: 23 In article <1440@bute.tcom.stc.co.uk> Ray Jones writes: > > I am astounded that I have not heard more talk about formal > methodologies that we in the UK have imported (I think) from the USA. > Haven't (most of you) heard of Ed Yourdon or Michael Jackson (no, no, .. and goes on to describe a number of other methods. None of these would seem to be truly "formal", however. The term "formal methods" is usually reserved for development and specification methods based on mathematics, such as VDM, Z, OBJ, Larch etc. JSP, OOD, etc are usually termed "semi-formal" methods. Michael Jackson is based in London :-) ------------------------------------------------------------------------------- Simon P Tait, ELLA Group, Telephone (0225) 444700. Praxis Systems plc, Telex 445848 PRAXIS G. 20 Manvers Street, Facsimile (0225) 65205. Bath BA11PX, England. -------------------------------------------------------------------------------