Using formal methods for teaching software engineering: A tool-based approach

Annals of Software Engineering

Volumn 6, Issue 1-4, 1998, Pages 433-453

  Ciancarini, P ^a   Mascolo, C ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0042729615     PISSN: 10227091     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018921801906     Document Type: Article

References (36)

1. Ambriola, V., L. Bendix, and P. Ciancarini (1990), "The Evolution of Configuration Management and Version Control," IEE Software Engineering Journal 5, 6, 303-310.
2. Berry, D. (1992), "Academic Legitimacy of the Software Engineering Discipline," Technical Report CMU-SEI-92-34, Software Engineering Institute, Carnegie Mellon University.
3. Boehm, B. (1988), "A Spiral Model of Software Development and Enhancement," IEEE Computer 21, 5, 61-72.
4. Booch, G. (1986), "Object-Oriented Development," IEEE Transactions on Software Engineering 12, 2, 211-220.
5. Bowen, J. (1996), Formal Specification and Documentation using Z: A Case Study Approach, International Thomson Computer Press.
6. Bowen, J. and M. Gordon (1994), "Z and HOL," In Proc. 8th Z Users Workshop (ZUM), J. Bowen and J. Hall, Eds., Workshops in Computing, Springer-Verlag, Berlin, Cambridge, UK, pp. 141-167.
7. Bowen, J. and M. Gordon (1995), "A Shallow Embedding of Z in HOL," Information and Software Technology 37, 5-6, 269-276.
8. Cheon, Y. and G.T. Leavens (1994), "A Quick Overview of Larch/C++," Journal of Object-Oriented Programming 7, 6, 39-49.
9. Ciaccia, P., P. Ciancarini, and W. Penzo (1997), "Formal Requirements and Design Specifications: The Clepsydra Methodology," International Journal on Software Engineering and Knowledge Engineering 7, 1, 1-42.
10. Cohen, B., W. Harwood, and M. Jackson (1986), The Specification of Complex Systems, Addison-Wesley, Reading, MA.
11. Curtis, B., M. Kellner, and J. Over (1992), "Process Modeling," Communications of the ACM 35, 9, 75-90.
12. Evans, D., J. Guttag, J. Horning, and Y. Tan (1994), "LCLint: a Tool for Using Specifications to Check Code," ACM SIGSOFT Software Engineering Notes 19, 5, 87-96.
13. Garlan, D. (1992), "Formal Methods for Software Engineers: Tradeoff in Curriculum Design," In Software Engineering Education, Proc. SEI Conference, C. Sledge, Ed., Lecture Notes in Computer Science, Vol. 640, Springer-Verlag, Berlin, SanDiego, CA, pp. 131-142.
14. Garlan, D., M. Shaw, C. Okasaki, C. Scott, and R. Swonger (1992), "Experience with a Course on Architectures for Software Systems," In Proc. Conf. on Software Engineering Education, Lecture Notes in Computer Science, Vol. 640, Springer-Verlag, Berlin, pp. 23-43.
15. Garland, S. and J. Guttag (1989), "An Overview of LP, the Larch Prover," In Proc. 3rd Int. Conf. on Rewriting Techniques and Applications, Lecture Notes in Computer Science, Vol. 355, Springer-Verlag, Berlin, pp. 137-151.
16. Ghezzi, C., M. Jazayeri, and D. Mandrioli (1991), Fundamentals of Software Engineering, Prentice-Hall, Englewood Cliffs, NJ.
17. Guttag, J. and J. Horning (1986), "A Larch Shared Language Handbook," Science of Computer Programming 6, 135-156.
18. Guttag, J. and J. Horning (1993), Larch: Languages and Tools for Formal Specification, Springer-Verlag, Berlin.
19. Guttag, J., J. Horning, and J. Wing (1985), "The Larch Family of Specification Languages," IEEE Software 2, 5, 24-36.
20. Hewitt, M., C. O'Halloran, and C. Sennett (1997), "Experiences with PiZA, an Animator for Z," In Proc. 10th Int. Conf. on the Z Formal Method (ZUM), J. Bowen, M. Hinchey, and D. Till, Eds., Lecture Notes in Computer Science, Vol. 1212, Springer-Verlag, Berlin, Reading, UK, pp. 37-51.
21. Hinchey, M.G. and J.P. Bowen, Eds. (1995), Applications of Formal Methods, Prentice-Hall, Englewood Cliffs, NJ.
22. Jacky, J. (1997), The Way of Z: Practical Programming with Formal Methods, Cambridge University Press, UK.
23. Jia, X. (1994), ZTC: A Type Checker for Z - User's Guide, Institute for Software Engineering, Department of Computer Science and Information Systems, DePaul University, Chicago, IL.
24. Kemmerer, R. (1985), "Testing Formal Specifications to Detect Design Errors," IEEE Transactions on Software Engineering 11, 1, 32-43.
25. Perry, D. and G. Kaiser (1991), "Models of Software Development Environments," IEEE Transactions on Software Engineering 17, 3, 283-295.
26. Perry, D. and A. Wolf (1992), "Foundations for the Study of Software Architecture," ACM SIGSOFT Software Engineering Notes 17, 4, 40-52.
27. Richardson, D., S. Aha, and T. O'Malley (1992), "Specification-based Test Oracles for Reactive Systems," In Proc. 14th IEEE Int. Conf. on Software Engineering, Melbourne, Australia, pp. 105-118.
28. Saaltink, M. (1997), "The Z/EVES system," In Proc. 10th Int. Conf. on the Z Formal Method (ZUM), J. Bowen, M. Hinchey, and D. Till, Eds., Lecture Notes in Computer Science, Vol. 1212, Springer-Verlag, Berlin, Reading, UK, pp. 72-88.
29. Shaw, M. and D. Garlan (1996), Software Architecture. Perspectives on an Emerging Discipline, Prentice-Hall, Englewood Cliffs, NJ.
30. Sommerville, I. (1991), Software Engineering, 4th Edition, Addison-Wesley, Reading, MA.
31. Spivey, J. (1988), The fUZZ Manual.
32. Spivey, J. (1992), The Z Notation. A Reference Manual, 2nd Edition, Prentice-Hall, Englewood Cliffs, NJ.
33. Sterling, L., P. Ciancarini, and T. Turnidge (1996), "On the Animation of Not Executable Specifications by Prolog," International Journal on Software Engineering and Knowledge Engineering 6, 1, 63-88.
34. Wing, J. (1987), "Writing Larch Interface Language Specifications," ACM Transactions on Programming Languages and Systems 9, 1, 1-24.
35. Wing, J. (1988), "A Study of 12 Specifications of the Library Problem," IEEE Software 5, 4, 66-76.
36. Wing, J. (1990), "A Specifier's Introduction to Formal Methods," IEEE Computer 23, 9, 8-24.