home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / specific / 638 < prev    next >
Encoding:
Internet Message Format  |  1993-01-27  |  1.2 KB
  1. Xref: sparky comp.specification:638 comp.specification.z:539
  2. Newsgroups: comp.specification,comp.specification.z
  3. Path: sparky!uunet!ukma!darwin.sura.net!zaphod.mps.ohio-state.edu!rpi!ghost.dsi.unimi.it!cs.unibo.it!cianca
  4. From: cianca@cs.unibo.it (Paolo Ciancarini)
  5. Subject: Z and Larch
  6. Message-ID: <1993Jan26.154610.14213@cs.unibo.it>
  7. Sender: news@cs.unibo.it
  8. Organization: Laboratory for Computer Science, University of Bologna, Italy
  9. Date: Tue, 26 Jan 1993 15:46:10 GMT
  10. Lines: 23
  11.  
  12. This year I am teaching a class on software engineering.
  13. I choose to focus on specification;
  14. I (ill) defined a project, and my student are working
  15. on formalizing it in Z. Then they will use Larch
  16. for the design phase.
  17.  
  18. I would like to know if there are any other courses
  19. that are using the same combination: Z for
  20. requirement analysis and specification document,
  21. and Larch for specification analysis and design document.
  22.  
  23. I am aware of the paper by prof. Garland in the last
  24. Sw Eng Education Conference (published in Springer LNCS).
  25.  
  26. I would like to exchange ideas and problems...
  27.  
  28. Paolo Ciancarini
  29. Univ. of Bologna
  30. -- 
  31. Paolo Ciancarini
  32. Dept. of Mathematics 
  33. Univ. of Bologna -  Pza di Porta S.Donato 5, 40126 Bologna Italy
  34. tel +39 51 354496
  35.