CS 345 Software Engineering 2-0-0-4
Syllabus: Introduction (Software and Software Engineering), software life-cycle models, software requirements specification, formal requirements specification and verification - axiomatic and algebraic specifications, function-oriented software design, object-oriented design, UML, design patterns, user interface design, coding and unit testing, integration and systems testing, debugging techniques, software quality - SEI CMM and ISO-9001. Software reliability and fault-tolerance, software project planning, monitoring and control, software maintenance, computer-aided software engineering (CASE), software reuse, component-based software development, extreme programming.
Textbooks:
References: