This course provides a study of concepts and techniques for planning and developing high quality information systems. Fundamentals of specification (including formal models and representations, documents, and standards) are examined. Methods of specifying and developing requirement for generating information systems are discussed. It covers the tools, methods, and current practices for assessing the quality and correctness of information systems. Topics include the roles of testing and formal verification, fundamentals and formal models of program verification, planning and documentation for quality assurance, methods of performing technical reviews, strategies of system testing and integration planning, and principles and practices used in conducting tests. Projects using these techniques are included.pre-rec: CPST-355 or equivalent experience.