University of Oklahoma || School of Computer Science

Your browser does not support script

ABOUT US

Board of Visitors

What is Computer Science?

College of E

OU Home

ACADEMICS

Accelerated Dual Degrees

Graduate

Undergraduate

CAREERS IN CS

Career Fair

Companies That Recruit From OU

Salary Offer Information

What Can I Do With A CS Degree?

FACULTY/STAFF

RESEARCH

Faculty Research Interests
--Algorithms & Theory
--Computer Engineering
--Computing Education
--Database Systems
--Intelligent Systems
--Parallel & Distributing Systems
--Software Engineering
--Telecommunications &
Computer Networks

Research Projects
--Adaptive Computing
   Systems Program
--Beseme Project
--Database & Object-    Oriented Systems
--Human Technology
   Interaction Center
--Telecommunications &
   Computer Networks

STUDENTS

Alumni

Current Students

The Beseme Project seeks to infuse rigorous mathematical reasoning into software engineering education and practice. Dr. Page is pictured with educational materials from the project.

Sponsored by	This material is based on work supported by the National Science Foundation under Grant No. 0082849. Any opinions, findings and conclusions or recommendations expressed in this material are those of the author and do not necessarily reflect the views of the National Science Foundation.
Principal Investigator	Rex Page, School of Computer Science, University of Oklahoma
Research Assistants	Justin Beitelspacher, Jonathan Cast, Matthew Griffin, Lyal Grissom, Pierre Lemaire, Rebekah Leslie, Stephen Pitts, Jeff Sharp and Ryan Shepherd

PUBLICATIONS AND REPORTS

	Beseme Summary Slide (PDF 253KB)
	Beseme Outcomes (1 page - PDF 99KB)
	Beseme Project Overview , (PDF 299KB)
	Software Is Discrete Mathematics (8 pages - PDF 284KB)
	Engineering software correctness, (PDF - 8pp)
	Functional Programming ... and where you can put it (PDF - 6pp, 49KB)

PROGRESS REPORT

Beseme Project results support the conjecture that experience in the direct application of logic to reasoning about software leads to increased effectiveness in the practice of software development. A statistical analysis of data on student performance in software development projects indicates that students whose educational background included experience in applying mathematical logic to the problem of reasoning about properties of software become more effective software developers than students who studied mathematical logic in more traditional contexts. Over 350 animated slides, 100 homework problems and solutions, 150 exam questions and solutions, tools for checking the correctness of proofs in propositional calculus, lesson plans, and reading assignments are freely available to instructors who may want to incorporate software reasoning components into courses on discrete mathematics, logic, or software development.

Teaching Materials

updated 10-feb-04