Description: Study of a specific topic in software engineering such as program construction and verification, software testing and reliability.