Skip to main navigation
Skip to search
Skip to main content
Eindhoven University of Technology research portal Home
Help & FAQ
English
Nederlands
Home
Researchers
Research output
Organisational Units
Activities
Projects
Prizes
Press/Media
Facilities / Equipment
Datasets
Courses
Research areas
Student theses
Search by expertise, name or affiliation
Software specification
Mathematics and Computer Science
Course
Description
Software specification comprises a collection of techniques for describing a software system to be developed. This course covers informal and formal specification techniques.
Course period
1/09/15
→ …
Course level
Advanced
Course format
Course