[S19] Software Requirements and Specifications

The course is devoted to techniques of software requirements and more generally of specifying what systems and system components should do.