CEN 6075: Formal Specification of Software Systems
University of Central Florida
Issues and current research in formal specification and verification of software-intensive systems. mathematical models and formalisms.
Average GPA: 3.92
Grade distribution records: 36 students across 1 terms.
Grade distribution
| Grade | Students | Percent |
|---|---|---|
| A | 33 | 91.7% |
| B | 3 | 8.3% |
Based on 36 student grade records across 1 term and 1 professor.
Instructors
- Gary T. Leavens 36 students, Average GPA 3.92