nancy leveson's book and paper reference

[cal]

hi, all -

nancy leveson's book is
        safeware: system safety in the computer age
        addison-wesley 1995

her paper on n-version programming is
        j.c.knight and n.g.leveson
        an experimental evaluation of the assumption of independence
                in multi-version programming
        ieee transactions on software engineering, volume se-12,
                number 1, pp. 96-109, january 1986

there are numerous others - see http://sunnyday.mit.edu/

more later,
cal


                  ==================================
   Swarm-Modelling is for discussion of Simulation and Modelling techniques
   esp. using Swarm.  For list administration needs (esp. [un]subscribing),
   please send a message to <address@hidden> with "help" in the
   body of the message.
                  ==================================