Take a look at the new version of this page: [ beta version ]. Tell us what you think.

ABSTRACT

How formal methods can be presented in a popular---but mathematically sound---manner to undergraduate students of various disciplines.

REFERENCES

• 1: Judith Gal-Ezer , David Harel, What (else) should CS educators know?, Communications of the ACM, v.41 n.9, p.77-84, Sept. 1998 [doi>10.1145/285070.285085]
• 2: Cecilia M. Gorriz , Claudia Medina, Engaging girls with computers through software games, Communications of the ACM, v.43 n.1, p.42-49, Jan. 2000 [doi>10.1145/323830.323843]
• 3: Dexter Zozen , Jerzy Tiuryn, Logics of programs, Handbook of theoretical computer science (vol. B): formal models and semantics, MIT Press, Cambridge, MA, 1991
• 4: Shilov, N.V. and Yi, K. Program Logics Made Easy. ROPAS Technical Memo No. 2000-7, Korea Advanced Institute of Science and Technology; ropas.kaist.ac.kr/lib/doc/ShYi00.ps
• 5: Guidelines for SIAM Review Authors; www.siam.org/journals/sirev/ Revguide.htm
• 6: SIGCSE Annual Report. July 1997--June 1998; www.acm.org/sigcse/ 98annrpt.html

INDEX TERMS

Primary Classification:
  K. Computing Milieux
  K.3 COMPUTERS AND EDUCATION
      K.3.2 Computer and Information Science Education
          Subjects: Computer science education

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.0 General

  K. Computing Milieux
  K.7 THE COMPUTING PROFESSION
      K.7.2 Organizations

          Nouns: ACM

General Terms:
Human Factors, Theory