This course continues the formal development of the software engineering material begun in CIS 375. Topics covered include: personal software process, team software process, formal methods, human computer interaction, security, software architecture, software reliability, and use of CASE tools.