|
May 16, 2024
|
|
|
|
COSC 513 - Formal Methods in Software Development Principles of logical reasoning and their application to the development of reliable software, propositional and predicate logic, mathematical induction, semantics of control and data structures are studied. Examples are drawn from various applications areas. Emphasis is on the use of formal methods as practical tools that aid in software development.
Credit Hours: 3 hrs Prerequisites: and and Last Updated: Links 06/2011
Summer 2024 Course Sections
Fall 2024 Course Sections
Add to Portfolio (opens a new window)
|
|