Software Engineering II

Catalog description

Design and implementation of a software application. Design patterns and aspects. User and component interfaces. Approaches for software quality assurance: validation and verification, testing, static analysis and model checking. Verification, validation, and testing. Approaches to verification – theorem proving, model checking, and others. Principles and theory of testing; white box and black box testing. Unit, integration, stress, and acceptance tests. Test metrics and test coverage. Testing tools. Maintenance: corrective, preventative, adaptive, and perfective changes. Software configuration management. Technical and business management of large software projects. Technical and business metrics. Cost estimation, scheduling, and staffing – connection to risk analysis. Subcontractors, vendors and collaborators; outsourcing in software projects. Software engineering for web applications and real-time systems.