Teaching formal methods in context

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3294, Issue , 2004, Pages 185-202

  Davies, Jim ^a   Simpson, Andrew ^a   Martin, Andrew ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CURRICULA; SOFTWARE DESIGN; SOFTWARE ENGINEERING; TEACHING;

COURSE DESIGN; EMERGING TRENDS; IN CONTEXTS; INTEGRAL PART; PROFESSIONAL EDUCATION;

FORMAL METHODS;

EID: 35048876654     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30472-2_12     Document Type: Article

References (32)

1. J.-R. Abrial. The B-Book: Assigning Programs to Meanings, 1996.
2. V. L. Almstrum, C. N. Dean, D. Goelman, T. B. Hiburn, and J. Smith. Support for teaching formal methods. ACM SIGCSE Bulletin, 33(2):71-88, June 2001.
3. T. Ball, B. Cook, V. Levin, and S. K. Rajamani. SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. In Integrated Formal Methods 2004, volume 2999 of LNCS. Springer, 2004.
4. S. Bennett, S. McRobb, and R. Farmer. Object-Oriented Systems Analysis and Design. McGraw-Hill, 1999.
5. B.S. Blanchard. System Engineering Management. Wiley, 1998.
6. R. Boute. Can lightweight formal methods carry the weight? In Proceedings of Teaching Formal Methods 2003, pages 47-55, 2003.
7. A. Cavarra, C. Crichton, and J. Davies. A method for the automatic generation of test suites from object models. Information and Software Technology, 46, 2004.
8. R. S. M. de Barros. On the Formal Specification and Derivation of Relational Database Applications. PhD thesis, Department of Computing Science, The University of Glasgow, 1994.
9. C. N. Dean and M. G. Hinchey, editors. Teaching and learning formal methods. Academic Press International Series in Formal Methods, 1996.
10. F. DeRemer and H. Kron. Programming-in-the-Large versus Programming-in-the-Small. In International Conference on Reliable Software, volume 10 of SIGPLAN Notices, 1975.
11. D. A. Duce. Proceedings of Teaching Formal Methods 2003. BCS, 2003.
12. D. Edmond. Refining database systems. In J. P. Bowen and M. G. Hinchey, editors, Proceedings of ZUM'95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, pages 25-44. Springer-Verlag Lecture Notes in Computer Science, volume 967, September 1995.
13. Formal Methods Educational Site. www.cs.indiana/edu/formal-methods- education/.
14. M. Fowler. UML Distilled: A Brief Guide to the Standard Object Modeling Language. Addison-Wesley, 3rd edition, September 19, 2003.
15. H. Habrias. Investigation into the teaching of B worldwide, www.iut-nantes.univnantes.fr/ habrias/coursb/questionnaireEnglish.html, 2003.
16. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall International, 1985.
17. IEEE Computer Society. The SoftWare Engineering Body of Knowledge, 2004. www.swebok.org.
18. C. Kelemen, A. Tucker, P. Henderson, K. Bruce, and O. Astrachan. Has our curriculum become math-phobic? (an American perspective). In Proceedings of the 5th Annual SIGSCE/SIGCUE Conference on Innovation and Technology in Computer Science Education, pages 132-135, July 2000.
19. A. Kleppe, J. Warmer, and W. Bast. MDA Explained: The Model Driven Architecture(TM): Practice and Promise. Addison-Wesley, 1st edition, 2003.
20. T. C. Lethbridge. What knowledge is important to a software professional? IEEE Computer, 33(5):44-50, 2000.
21. A. P. Martin and A. C. Simpson. Generalizing the Z Schema Calculus: Database Schemas and Beyond. In Proceedings of APSEC (Asia-Pacific Software Engineering Conference) 2003, pages 28-37, 2003.
22. P. Naur and B. Randall. Software Engineering: A Report on a Conference Sponsored by the NATO Science Committee, 1969.
23. R. L. Page. Software is discrete mathematics. In Proceedings of the 8th ACM SIGPLAN International Conference on Functional Programming, pages 79-86, 2003.
24. The Apache Maven Project. Maven, 2004.
25. A. C. Simpson and A. P. Martin. Supplementing the understanding of Z: a formal approach to database design. In Proceedings of Teaching Formal Methods 2003, pages 65-70, 2003.
26. I. Sommerville. Software Engineering. Addison-Wesley, sixth edition, 2001.
27. J. M. Spivey. The Z Notation: A Reference Manual. Prentice-Hall International, second edition, 1992.
28. D. Stiles. Informal formal methods in a computer engineering curriculum. In Proceedings of Teaching Formal Methods 2003, pages 40-46, 2003.
29. The Joint Task Force on Computing Curricula, IEEE Computer Society, Association for Computing Machinery. Computing Curricula 2001. http://computer.org/education/cc2001/, 2001.
30. A. B. Tucker, editor. Computing Curricula 1991: Report of the ACM/IEEE-CS Joint Curriculum Task Force. IEEE Computer Society Press, 1991.
31. J. M. Wing. A specifier's introduction to formal methods. IEEE Computer, 23(9):8-24, September 1990.
32. J. M. Wing. Weaving formal methods into the undergraduate computer science curriculum. In Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology (AMAST), 2000.