Introduction to complexity and program verification. Data representation and computational error. Requirements, specifications, design, implementation, testing and analysis of software. Programming in a team environment, software tools, system prototyping, robustness of systems, documentation, efficiency, and human-computer interface. Lander University is an institutional member of the Association for Computing Machinery , the world's oldest and largest educational and scientific computing society.
Every effort is made to ensure that the information presented herein is accurate.
Nonetheless, the Lander University Catalog is considered the only authoritative source of information about degree programs. All students are responsible for knowing and observing the academic requirements and regulations of the University which are set forth in the Catalog. Please see the Disclaimer concerning this page. This page was last modified 19 July 1999 by Dale Shaffer .