Re: formal methods in US

Article View: comp.specification

Article #63

Back to comp.specification Previous Next

#63

From: Jon Jacky
Date: Mon, 13 Apr 1992 17:35

19 lines
1493 bytes

In article <4521577@harvee.UUCP> esj@harvee.UUCP (Eric S Johansson) writes:
>
> I have been entertaining thoughts of (this thread) degenerating into a 
> comp.specification.aa meeting (my name is eric and I am a coder :-) 
>

At a workshop on formal methods in the USA a few years ago, one computer
scientist got up and said, "I don't really consider myself part of this 
community.  It seems like you (the formal methods community) are a bit like
Alcoholics Anonymous or Weight Watchers - you are trying to get people to 
do this difficult thing that will reform and improve them."

That's a not uncommon view of formal methods in the USA, I think.

Jonathan Jacky                      jon@radonc.washington.edu 
Radiation Oncology RC-08            (206)-548-4117 voice
University of Washington            (206)-548-6218 fax
Seattle, WA 98195	
USA

Technical Details

Message-ID: <1992Apr13.173506.8969@beaver.cs.washington.edu>

Path: arc1-ca.pugleaf.net!sparky!uunet!zephyr.ens.tek.com!uw-beaver!jon

References: <1992Mar31.015456.2392@oracorp.com> <1992Mar31.164952.18327@beaver.cs.washington.edu> <4521577@harvee.UUCP>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!zephyr.ens.tek.com!uw-beaver!jon
From: jon@cs.washington.edu (Jon Jacky)
Newsgroups: comp.specification
Subject: Re: formal methods in US
Summary: Formal methods likened by some to Alcoholics Anonymous, etc.
Message-ID: <1992Apr13.173506.8969@beaver.cs.washington.edu>
Date: 13 Apr 92 17:35:06 GMT
References: <1992Mar31.015456.2392@oracorp.com> <1992Mar31.164952.18327@beaver.cs.washington.edu> <4521577@harvee.UUCP>
Sender: news@beaver.cs.washington.edu (USENET News System)
Distribution: comp.specification
Organization: Computer Science & Engineering, U. of Washington, Seattle
Lines: 19

Reply to Parent Message