Support for teaching formal methods

ITiCSE-WGR 2000 - Working Group Reports from ITiCSE on Innovation and Technology in Computer Science Education

Volumn , Issue , 2001, Pages 71-88

  Almstrum, Vicki L ^a   Dean, C Neville ^b   Goelman, Don ^c   Hilburn, Thomas B ^d   Smith, Jan ^e  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

^b ANGLIA RUSKIN UNIVERSITY   (United Kingdom)

^c VILLANOVA UNIVERSITY   (United States)

^d EMBRY RIDDLE AERONAUTICAL UNIVERSITY   (United States)

^e CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

BRIDGES; CURRICULA; EDUCATION COMPUTING; ENGINEERING EDUCATION; ENGINEERING RESEARCH; SOFTWARE ENGINEERING;

COMPUTING CURRICULA; COMPUTING CURRICULA 2001; COMPUTING EDUCATION; GROWTH PATHS; SOFTWARE ENGINEERING BODY OF KNOWLEDGE; WEB RESOURCES; WORKING GROUPS;

FORMAL METHODS;

EID: 34548117466     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/571968.571970     Document Type: Conference Paper

References (46)

1. Barjaktarovic, M., and WetStone Technologies, Inc. The State-of-the-Art in Formal Methods, January 1998, available http://www.cs.utexas.edul~csed/FM/docs./StateFM.pdf
2. Barland, I, Felleisen, M., Fisler, K, Kolatis, P., and Vardi, M. Joint position statement: Integrating Logic into the Computer Science Curriculum. Adapted from a grant proposal to develop materials, June 2000, available http://www.cs.utexas.edul-csed/FM/docs/ificsefislervardi. pdf
3. Bjorner, D., and Cueller, J., Software Engineering Education: Roles for Formal Specification and Design Calculi, Annals of Software Engineering, April 1999.
4. Bloom, B. S. (Ed.) Taxonomy of educational objectives: The classification of educational goals: Handbook L cognitive domain. New York; Toronto: Longmans, Green, 1956.
5. Bowen, J. P., Experience Teaching Z with Tool and Web Support, July 2000, available http://www.cs.utexas.edu/users/csed/FM/docs/bowen.pdf (FM Advisory Board contribution).
6. Clarke, E.M., et al., Formal Methods: State of Art and Future Directions, ACM Computing Surveys 28(4), December 1996.
7. The Common Criteria for Information Security Evaluation (CC) version 2.1 / ISO IS 1540, available http:llcsrc.nist.~ovlcc/
8. Computing Curricula 2001, DRAFT (March 6, 2000), The Joint Task Force on Computing Curricula, IEEE Computer Society, Association for Computing Machinery, March 2000, available http:l/eomputer.org/education/cc2001/
9. Craigen, D., Position Statement, June 2000, available http://www.cs.utexas.edu/-csed/FM/docs/craigen.html (FM Advisory Board contribution).
10. Dean, N. Mental Models of Z: I-Sets and Logic. In Bowen J and Hinchey M (Eds.), ZUM'95: The Z Formal Specification Notation, LNCS 967, 1995, pp. 498-507.
11. Dupuis, R., et. al. A Guide to the Software Engineering Body of Knowledge, Version 0.7, available http://www.swebok.org
12. Fisler, K., Position Statement, June 2000, available http:llwww.cs.utexas.edu/~csedlFMldocslfisler.html (FM Advisory Board contribution).
13. Fitzgerald, J. and Larsen, P. G. Modelling Systems: Practical Tools and Techniques for Software Development. Cambridge University Press, 1998.
14. Formal Methods Educational Site, http://www.cs.indiana.edu/formal-methods-education/.
15. Formal Methods Europe, available http://www.fmeurope.org/
16. Formal Methods Working Group, ITiCSE 2000, available http:l/www.cs.utexas.edu/-csed/formalmethods/.
17. Gerhart, S., Craigen, D., and Ralston, T., Experience with Formal Methods in Critical Systems, IEEE Software, January 1994, pp. 21-28.
18. Gopalakrishnan, G. and Windley, P. (Eds.) Proceedings 2rid International Conference on Formal Methods in Computer-Aided Design, FMCAD'98, Palo Alto, CA, November 1998, LNCS 1522, Spronger Verlag, 1998.
19. Gries, K., Position Statement, July 2000, available http://www.cs.utexas.edul-csed/FM/docs/gries.html (FM Advisory Board contribution).
20. Hall, A., Using Formal Methods to Develop an ATC Information System, IEEE Computer, March 1996.
21. Hinchey, M.G. and Bowen, J.P., Applications of Formal Methods, Prentice-Hall, 1995.
22. Hvannberg, E. T., Position Statement, June 2000, available http://www.cs.utexas.edul-esed/FMIdocs/hvannberg.html (FM Advisory Board contribution).
23. Integrating Mathematical Reasoning into Computer Science Curricula, available http://www.cs.geneseo.edu/~baldwin/math-thinking/
24. Johnson, S. D., Alexander, W. P., Chin, S. K., and Gopalakrishnan, G. (Eds.) Report on the 21 -t Century Engineering Consortium Workshop: a forum on formal methods education, March 1998, available http://www.cs.indiana.edutformal-methodsedu cation/xxiec/report.html
25. Johnson, R., Position Statement, June 2000, available http://www.cs.utexas.edu/-csed/FM/docs/iohnson.html (FM Advisory Board contribution).
26. Kelemen, C., Tucker, A., Henderson, P., Bruce, K., and Astrachan, O. Has Our Curriculum Become Math-Phobic? (an American Perspective), Proceedings of the 5th Annual SIGCSE/SIGCUE Conference on Innovation and Technology in Computer Science Education, July 2000, pp. 132-135.
27. Larsen, P. G., Position Statement, June 2000, available http://www.cs.utexas.edu/-csed/FM/docs/tarsen.html (FM Advisory Board contribution).
28. Lethbridge, T.C. What Knowledge is Important to a Software Engineer IEEE Computer, May 2000.
29. Leveson, N. G., Guest Editor's Introduction: Formal Methods in Software Engineering, IEEE Transactions in Software Engineering, September 1990.
30. LINK: A Software System for Discrete Mathematics, version: 1.3, 02/23/98, available http:l/zhivago.elon.edul~berr~lLINK.html.
31. Mills, H. Software Productivity, Dorset, 1988.
32. Moore, J S., Position Statement, June 2000, available http://www.cs.utexas.edul-csed/FM/docslmoore.pdf (FM Advisory Board contribution).
33. NASA Jet Propulsion Laboratories, Formal Methods Training and Courseware, April 2000, available http://eis.i pl.nasa, gov/quality/Formal.Methods/training.html
34. Needham, R. Invited Talk, ITiCSE 2000, Helsinki Finland.
35. Parnas, D. L., Software Engineering Programs are not Computer Science Programs, IEEE Software, November/December 1999.
36. Critical Foundations: Protecting America's Infrastructures, The Report of the President's Commission on Critical Infrastructure Protection, October 1997, available http:Hwww.ciao.gov/CIAO Document....Library/PCCIP Rep ort.pdf.
37. Schneider, F. B. (Ed.) Trust in Cyberspace, Committee on Information Systems Trustworthiness, National Research Council, 1999, available h ttp:l/books.nap.edulcatalogl616 l.html.
38. Semmens, L., Position Statement, July 2000, available http://www.cs.utexas.edu/~csed/FM/docs/semmens.html (FM Advisory Board contribution).
39. Smith, J. A Proposal for Computer Assisted Proof in Mathematics Education, June 2000, available http://www.cs.utexas.edu/~csed/FM/docs/smith.html (FM Advisory Board contribution).
40. Stony Brook Computer Science alumni, "Foundations of CS I" Stony Brook Alumni Survey, Spring 1999, available http://www, sinc.sunvsb.edu/cse 113/survey/.
41. Tucker, A. B. (Ed.). Computing Curricula 1991: Report of the ACM/IEEE-CS Joint Curriculum Task Force. IEEE Computer Society Press, 1991, available http:l/www.acm.or~educationlcurricula.html#CR Vl.
42. Vienneau, R., A Review of Formal Methods, Kaman Sciences Corporation, 1993.
43. WetStone Technologies, Inc., Formal Methods Framework, final month status report, Contract # F30602-99-C-0166, October 26, 1999, available http://www.cs.utexas.edu/~csed/FM/docs/FMFramework.pdf.
44. Wing, J., Woodcock, J., and Davies, J. (Eds.) FM'99-Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999, Proceedings, Vol. I, LNCS 1708, Vol. II, LNCS 1709, Springer-Verlag, September 1999.
45. Wing, J., Weaving Formal Methods into the Undergraduate Computer Science Curriculum, Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology (AMAST) 2000, Education Day, Iowa City, Iowa, US, May 20-27, 2000, available http://www.cs.utexas.edu/~csed/FM/docs/Wingabstract. pdf
46. World Library for Formal Methods, available http://archive.comlab.ox.ac.uk/formal-methods.html