SWSE/CS 623 Course Bibliography

Publications

  1. [CAB+98] William Chan, Richard J. Anderson, Paul Beame,Steve Burns, Francesmary Modugno and David Notkin. Model checking large software specifications. IEEE Transactions on Software Engineering, 24(7):498-520, July 1998.
  2. [CH96] Joseph J. Comuzzi and Johnson M. Hart. Program slicing using weakest preconditions. In Formal Methods Europe `96, Oxford, England, March 1996.
  3. [Hoa69] C.A.R. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12(10):576-580, October 1969.
  4. [LH83] Nancy G. Leveson and Peter R. Harvey. Analyzing software safety. IEEE Transactions on Software Engineering, SE-9(5):569-579, September 1983.
  5. [Ros95] David S. Rosenblum. A practical approach to programming with assertions. IEEE Transactions on Software Engineering, 21(1):19-31, January 1995.
  6. [Rus89] John Rushby. Kernels for safety? In Tom Anderson, editor, Safe And Secure Computing Systems, pages 210-220. Blackwell Scientific Publications, 1989. Proceedings of a Symposium held in Glasgow, UK, October 1986.
  7. [SMV Manual] See the CMU web site or the Cadence Berkeley Laboratories web site.
  8. [Win90] Jeannette W. Wing. A specifier's introduction to formal methods. IEEE Computer, 23(9):8-24, September 1990.
  9. D.L Dill and J.Rushby. Acceptance of formal methods: Lessons from hardware design. IEEE Computer. April 1996
  10. R.L Glass. Formal. Formal methods are a surrogate for a more serious software concern. IEEE Computer. 1996
  11. A. Hall. Seven Myths of formal methods. IEEE Software, pages 11-19september 1990.
  12. A. Hall. What is formal methods debate about? IEEE Computer, April 1996.
  13. M.G.Hinchey and J.P.Bowen.To formalize or not to formalize? IEEE Computer, April 1996.
  14. C.M. Holloway and R.W. Butler. Impediments to Industrial use of formal methods? IEEE Computer, April 1996.
  15. D. Jackson Requirements need form, maybe formality. IEEE Software, pages 20-22, March 1996.
  16. D. Jackson and J.Wing. Lightweight formal methods. IEEE Computer, April 1996.
  17. C.B. Jones. A rigorous approach to formal methods. IEEE Computer, April 1996.
  18. B. Lawrence. Do you really need formal requirements? IEEE software, pages20-22, March 1996
  19. M. J. Lutz. Consumable mathematics for software Engineers. IEEE Computer, April 1996.
  20. D.L. Parnas. Mathematical methods. What we need and don't need. IEEE Computer, April 1996.
  21. P.Zave. Formal methods are research not development. IEEE Computer, April 1996.

Other Recomended Books

  1. Natural Deduction - a Proof-Theoritical Study by Dag Prawitz - Published by Almqvist and Wiksell, Stockholm, Gotborg and Uppsala.
  2. Proof Theory by Gaisai Takeuti - Published by North Holland.
  3. Logics of Time and Computation by Robert Goldblatt - Published by CSLI Press.