COMPSCI 3EA3
Software Specifications and Correctness
Undated
Topics
- LIST E
- SOFTWARE ENGINEERING TECHNICAL ELECTIVES Formal specifications
- Validation
- Verification
- Presentation of information
- Practical experience in formal specification and tool-supported verification