NSF CISE Education Innovation Pages

EI Project at Miami University, Oxford, OH

Title: Integrating a Formal Method Into the Software Engineering Curriculum

Principal Investigators

• Ann E. Kelley Sobel, Department of Systems Analysis
• Alton F. Sanders, Department of Systems Analysis
• James D. Kiper, Department of Systems Analysis

Results

Report

Add Comment