Program Comprehension Mental Models and Cognitive Frameworks

Lecture 41 of SE602 Software Re-Engineering investigates the cognitive science and human factors of program comprehension, recognizing that software engineers spend more than half their working hours reading and comprehending code rather than writing new statements. Students explore foundational cognitive theories: Ruven Brooks Top-Down Model (where experts form global hypotheses about program purpose and search for beacons in code to confirm them), Elliot Soloway Bottom-Up Model (where developers read syntax lines and chunk them into higher-level algorithmic plans), and the Integrated Metamodel combining both paradigms. The lecture examines how clean naming conventions, cohesive modular boundaries, and structured reverse engineering visualizations accelerate developer comprehension and reduce defect injection during legacy software maintenance. Software quality attributes, maintainability index equations, and technical debt principal valuations are evaluated alongside empirical benchmarks. Architectural recovery processes are explored through module dependency analysis, component clustering, and high-level design reconstruction. Database schema normalization, legacy record migration, and automated ETL extraction pipelines are systematically analyzed. Monolithic application decomposition strategies including service-oriented architecture (SOA) and the Strangler Fig pattern are examined in depth. Scholars examine program slicing algorithms, forward and backward dependency slices, and impact assessment for proposed modifications. Automated tool support, bytecode instrumentation, and static code analyzers are evaluated to detect architectural violations across repositories. Risk management frameworks, business case evaluations, and cost estimation models such as COCOMO II are analyzed for migration projects. Legal and ethical constraints surrounding reverse engineering, clean-room design implementations, and software intellectual property rights are reviewed. By engaging with solved past papers by Moaaz and Waqar Siddhu, learners gain actionable insights into recurrent university exam questions. Interactive quiz assessments on VU SIGMA facilitate rapid knowledge verification and retention of critical software re-engineering concepts. Comprehensive coverage of standard academic benchmarks ensures learners communicate with technical precision across software engineering disciplines. Detailed analysis of code smell topologies highlights the imperative of eradicating duplicate logic, long methods, and bloated god classes. Test harness construction including characterization testing and regression suites are contrasted with traditional unit testing strategies.