CIS 461: Formal Meth Software Engineer - fall
Prerequisite: MTH 182
General Education requirement: Natural Science Technology
Course in presentation of formal model-based methods of software development. Review of mathematical foundations for formal methods. Formal languages and techniques for specification and design, including specifying syntax using grammars, finite state machines, and Petri nets. Analysis and verification of specifications and designs. Use of assertions, invariants, and proofs. Automated program and design transformation
| Class# | Sct | Type | Seats | Units | ||||
|---|---|---|---|---|---|---|---|---|
| 11471 | 01 | Lecture | 40 | 3.00 | ||||
| Days | Start | End | Location | |||||
| MON TUE WED THU FRI SAT | 4:30 PM EST | 5:45 PM EST | Science & Engr 210 | |||||
| Instructor: John Rahme | Class status: O | |||||||
| Prerequisite: MTH 182 | ||||||||
| Enrollment Section | ||||||||
| Class instruction mode: In Person | ||||||||