Software Engineering Concepts

abstract data types activities algorithmic architectural design automated change control board change request COCOMO coding style cohesion complexity configuration management control flow cost estimation data abstraction data flow diagrams data structures debugging definition design specifications detailed design discussed end loop errors example exception handling formal verification FORTRAN functions goto statement guidelines illustrated in Figure information hiding input inspections integer interfaces loop invariant modification modularity modules nodes notations operations output package parameters Pascal path percent performance Petri nets phase problem procedure processing program unit pseudocode quality assurance real-time recursive regular expressions Section single entry single exit software design software development software engineering software maintenance software product software system source code STACK static analysis strong type checking structure chart subprogram subsystems symbolic execution Table task techniques test plan top-down typically unit testing values variables walkthrough