Integrating Formal Methods Tools into the Undergraduate Curriculum

Information

• NSF Award
• 0126991

Owner

• Pace, Incorporated

• Award Id

  0126991

• Award Effective Date

  9/1/2002 - 22 years ago

• Award Expiration Date

  8/31/2005 - 19 years ago

• Award Amount

  $ 73,423.00

• Award Instrument

  Standard Grant

Computer Science (31)<br/>This project pioneers an innovative methodology that increases the effectiveness of formal methods courses by providing students with sophisticated tools for understanding and proving program correctness. These tools are based upon Z, the common and powerful specification language and include type checking, specification animation and proof obligations. A separate tool is used for code generation. All of the tools provide research quality support to students learning to program in a formally correct manner.<br/><br/>Student performance is evaluated via tracking experimental and control groups through the core curriculum; the control group enrolls in similar courses but does not use the tools. We will measure and report two important factors: task completion time and error count.

• Program Officer

  Mark James Burge

• Min Amd Letter Date

  12/14/2001 - 23 years ago

• Max Amd Letter Date

  12/14/2001 - 23 years ago

• ARRA Amount

• Name

  Pace University New York Campus

• City

  New York

• State

  NY

• Country

  United States

• Address

  1 Pace Plaza

• Postal Code

  100381502

• Phone Number

  2123461200

• First Name

  David

• Last Name

  Benjamin

• Email Address

  benjamin@pace.edu

• Start Date

  12/14/2001 12:00:00 AM

• First Name

  Dennis

• Last Name

  Anderson

• Email Address

  dennis.danderson@gmail.com

• Start Date

  12/14/2001 12:00:00 AM

• First Name

  Sotirios

• Last Name

  Skevoulis

• Email Address

  sskevoulis@pace.edu

• Start Date

  12/14/2001 12:00:00 AM

• Name

  Other Applications NEC

• Code

  99

• Text

  CCLI-EDUCATIONAL MATERIALS DEV

• Code

  7427

• Text

  CCLI-ADAPTATION AND IMPLEMENTA

• Code

  7428

• Text

  UNDERGRADUATE EDUCATION

• Code

  9178

• Text

  SCIENCE, MATH, ENG & TECH EDUCATION