Invited talk: Weaving formal methods into the undergraduate computer science curriculum

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

Volumn 1816, Issue , 2000, Pages 2-7

  Wing, Jeannette M ^a  

^a Carnegie Mellon University ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; CURRICULA; MODEL CHECKING;

CLASS PROJECTS; COMPUTER SCIENCE CURRICULA; COMPUTER SCIENTISTS; CONCEPTUAL ELEMENTS; FORMAL METHODS TOOLS; GRADUATE CURRICULA; HOMEWORK ASSIGNMENTS; STATE OF THE ART;

FORMAL SPECIFICATION;

EID: 84974676892     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45499-3_2     Document Type: Conference Paper

References (9)

1. Clarke, E.M., O. Grumberg, and D.A. Peled: Model Checking, MIT Press, 1999.
2. Compaq Systems Research Center, http://www.research.compaq.com/SRC/esc/Esc.html
3. Detlefs, D., K. Rustan, M. Leino, G. Nelson, and J.B. Saxe: Extended Static Checking, Compaq SRC Research Report 159, 1998.
4. Evans, D., J. Guttag, J.J. Horning, and Y.M. Tan: LCLint: A Tool for Using Specifiations to Check Code, SIGSOFT Symposium on the Foudations of Software Engineering, December 1994.
5. Gries, D.: The Science of Programming, Springer-Verlag, 1981.
6. Guttag, J.V. and J.J. Horning, editors: Larch: Languages and Tools for Formal Specification, Springer-Verlag, 1993.
7. Jackson, D. and C. Damon: Nitpick Reference Manual, Carnegie Mellon Uni-versity Technical Report CMU-CS-96-109, Computer Science Department, Pittsburgh, PA, January 1996.
8. Jackson, D.: Alloy: A Lightweight Object Modelling Notation MIT Technical Report 797, February 2000.
9. Jackson, D., Y. Ng, and J.M. Wing: A Nitpick Analysis of Mobile IPv6, to appear in Formal Aspects of Computing, accepted January 2000.