Introduction to Agents and Multi-agent Systems (lecture slides)
Experiences in Software Testing (lecture slides)
Requirements Engineering Methods for Documenting Requirements (lecture slides)
Methods for Validating and Testing Software Requirements (lecture slides)