🚀 go-pugleaf

Hello users !

I've just started a PhD Thesis in Computer Science, in cooperation
with a French company. The subject of the Thesis is dealing with
specification and I have to use abstraction techniques to specify
a huge software. The fact is that, today, the company didn't write
informal specifications, but they intend to do it (together with me).
The first task I would like to realize is to explain to some folks
of the company what are the interests of abstraction and specification.

The point of my article is to ask ALL of you this question :

Does anybody there know if I could find some experiences in this kind
of work, and do I have any chance to find a simple (but comprehensive and
sufficiently detailed) example of such kind of specification ?

I would be very pleased if I could find the following sources :

          - Informal specification of a "school-problem" (lifts, coffee-
            machine, ...)
          - Abstract formal specification derived from the previous one
          - Refinement of the previous specification (pascal-like for instance)

Everybody around me say that doesn't exist ! 

Actually, I've the "feeling" of what I have to do, but it is definitively not
enough to start my thesis (and my bosses don't care of my "feelings" !).

Please, e-mail me ALL the (even small) informations you know about this
kind of work. It will help me A LOT, because I'm stucked !

(This is the first time I write something in the news ; then, be tolerant !)



			Thanks in advance.



************************************************************************
*********
* Francois CHARLOT                             uunet  :
charlot@lri.lri.fr     *
* L.R.I. - Bat 490 - Universite Paris-Sud      bitnet :
charlot@FRLRI61.BITNET *
* F - 91405 ORSAY CEDEX                        Tel    : (33 (1)) 69 41
70 82   *
************************************************************************
*********