This course emphasizes the importance of quality when developing software systems. 消消犯ics include design for reuse, formal specification, applications of software testing, and maintenance of evolving systems.
Prerequisite:
None for MSCS 消消犯s, permission of instructor for others.
Learning Objectives:
Explain and apply techniques that contribute to the development of high quality software.
Apply software design principles to facilitate software reuse in complex systems.formal specifications using pre and post conditions and check their validity on low-level software modules.
Create formal specifications using pre and post conditions and check their validity on low-level software modules.
Analyze large-scale systems and apply appropriate testing techniques to ensure the deployment of high-quality software.
Demonstrate the need for ongoing maintenance in evolving software and conduct suitable maintenance tasks.
消消犯ics and Weeks Allocated
(total of 14 semester weeks):
Overview and Assessment (2)
Introduction to Software Quality (1)
Assessment of Course Content (1)
Software Design and Reuse (3)
Software Design Patterns and Principles (1)
Principles of Reuse (1)
Licensing and Dependencies (1)
Formal Specification (3)
Creating Formal Specifications (1)
Pre and Post Conditions (1)
Checking Validity of Specifications (1)
Software Testing (3)
Determining Appropriate Testing Techniques (1)
Developing and Executing Software Testing Plans (1)
Exploring State-of-the-Art Testing (1)
Software Maintenance (3)
Understanding Evolution (1.5)
Conducting Maintenance Tasks (1.5)
Department of Computer Science and Software Engineering
