From: Kirt Undercoffer
Subject: Formal Methods for Lisp?
Date: 
Message-ID: <5ajjfi$mee@portal.gmu.edu>
I'm about to embark on a five month in depth project dealing with
knowledge representation and have decided to use Lisp (I'm basically
a C++ person who's relearning Lisp).  I took another look at an excellent
book detailing the Booch method in it's current incarnation and while
usable, it is even more C++ oriented than I had realized on first 
reading.  The problem may be that the author tailored his examples
to fit C++ rather than with the method itself.

What I need is some feedback from people who use formal methods of
this sort to manage large Lisp projects.  My intention is to begin with
an in depth overview of the problem in general using graphical methods
like Booch and/or OMT as I proceed.  I note that the OMT examples I have
are not tied to any particular implementation language.

Anybody out there who does this and would like to share their experiences/
problems/ideas/observations?

Thanks!

Kirt Undercoffer
········@osf1.gmu.edu

From: Kai Zimmermann
Subject: Re: Formal Methods for Lisp?
Date: 
Message-ID: <5ap4g2$cln@rzsun02.rrz.uni-hamburg.de>
Kirt Undercoffer (········@osf1.gmu.edu) wrote:
: I'm about to embark on a five month in depth project dealing with
: knowledge representation and have decided to use Lisp (I'm basically
: a C++ person who's relearning Lisp).  I took another look at an excellent
: book detailing the Booch method in it's current incarnation and while
: usable, it is even more C++ oriented than I had realized on first 
: reading.  The problem may be that the author tailored his examples
: to fit C++ rather than with the method itself.

Dear Kirt,
you might want to try to get a copy of the first edition of the Booch book.

Booch, G. (1991).  Object Oriented Design with Applications.  Redwood City, 
  CA, Benjamin/Cummings.

It gives examples in ObjectPascal, ADA, Smalltalk, C++, and CLOS, the 
Commonlisp Object system.  I share your disappointment about the newer 
editions of the book which are C++ only.  The library might have one of 
the older editions.

Regards
Kai

____________________________________________________________________________
Kai Zimmermann   FB Informatik, WSV, University Hamburg, Vogt-Koelln-Str. 30
                 D-22527 Hamburg, Germany, Phone +49-40-5494-2368, Fax -2385
Please note:         http://www.informatik.uni-hamburg.de/WSV/hp/kai-english
New phone & fax number                    ········@informatik.uni-hamburg.de
From: Kirt Undercoffer
Subject: Re: Formal Methods for Lisp?
Date: 
Message-ID: <5apbja$650@portal.gmu.edu>
Thanks!  I'll check that out tomorrow.



Kai Zimmermann (········@rzdspc12.informatik.uni-hamburg.de) wrote:
: Kirt Undercoffer (········@osf1.gmu.edu) wrote:
: : I'm about to embark on a five month in depth project dealing with
: : knowledge representation and have decided to use Lisp (I'm basically
: : a C++ person who's relearning Lisp).  I took another look at an excellent
: : book detailing the Booch method in it's current incarnation and while
: : usable, it is even more C++ oriented than I had realized on first 
: : reading.  The problem may be that the author tailored his examples
: : to fit C++ rather than with the method itself.

: Dear Kirt,
: you might want to try to get a copy of the first edition of the Booch book.

: Booch, G. (1991).  Object Oriented Design with Applications.  Redwood City, 
:   CA, Benjamin/Cummings.

: It gives examples in ObjectPascal, ADA, Smalltalk, C++, and CLOS, the 
: Commonlisp Object system.  I share your disappointment about the newer 
: editions of the book which are C++ only.  The library might have one of 
: the older editions.

: Regards
: Kai

: ____________________________________________________________________________
: Kai Zimmermann   FB Informatik, WSV, University Hamburg, Vogt-Koelln-Str. 30
:                  D-22527 Hamburg, Germany, Phone +49-40-5494-2368, Fax -2385
: Please note:         http://www.informatik.uni-hamburg.de/WSV/hp/kai-english
: New phone & fax number                    ········@informatik.uni-hamburg.de