🚀 go-pugleaf

In article <1992Mar31.164952.18327@beaver.cs.washington.edu> jon@cs.washington.edu
(Jon Jacky) writes:

> In article <1992Mar31.015456.2392@oracorp.com> narayana@oracorp.com (K. T. Narayana) writes:
> > I would appreciate if people cut off this half baked survey of people
> > working in formal methods in north america. 
> > ...kt
> 
> In contrast, I would like to say that I have found this interesting and do 
> appreciate seeing it, and would welcome additional contributions.   It's easy
> enough for people to skip over articles that do not interest them.
> 
> - Jon Jacky, Radiation Oncology RC-08, University of Washington, Seattle USA

I too have found this communication interesting and I have been
entertaining thoughts of it degenerating into a comp.specification.aa
meeting (my name is eric and I am a coder :-) 

This discussion is dealing (indirectly) with change.  How do I get {
myself, my manager, my coworkers, ... } to change to understand and 
hopefully use formal methods.  by understanding what we learn, how we
learn it and what motavates us to learn formal methods, we can convince
others and know what to teach them.  In trying to change my work environment
I have encountered indifference, hostility, fear and far too little
excitement.  

more later.  it's past time to go to work.

--- eric
--
UUCP ...!uunet!wang!harvee!esj esj@harvee.uucp  HAM  ka1eec
WORK AT&T (617) 577-4068 (w)   johansson@athena.polaroid.com
source of the public's fear of the unknown since 1956