|
CSC 5720 Formal Methods in Software Engineer
| Credit Hours | Recitation/Lecture Hours | Studio Hours | Clinical Hours | Lab Hours |
Prerequisites:
CSC 5150 (Minimum Grade of C, May not be taken concurrently)
Formal specification in the software development process, transformational development, structured algebraic specification, model-based specification, languages for software system specification, modeling and abstraction of software systems, analysis and verification of system properties, software system refinement, formal semantics, object-oriented formal methods. | 3 | 0 | 0 | | |
|
|
College of Business Administration Home | Contacts | Policies | Programs | Website | College of Engineering & Science Home | Contacts | Policies | Programs | Website | College of Health Professions & McAuley School of Nursing Home | Contacts | Policies | Programs | Website | College of Liberal Arts & Education Home | Contacts | Policies | Programs | Website | School of Architecture Home | Contacts | Policies | Programs | Website | School of Dentistry Home | Contacts | Policies | Programs | Website | School of Law Home | Contacts | Policies | Programs | Website |
|