Course Description
Analysis of advanced methods in software engineering. Emphasis is placed on formal specification methods, advanced software testing, software reuse, distributed software design, and communication protocol specification. Studies include advanced software development tools and systems.
Athena Title
ADV SOFT ENG
Prerequisite
CSCI 4050/6050 and CSCI 4370/6370
Semester Course Offered
Not offered on a regular basis.
Grading System
A - F (Traditional)
Course Objectives
Students will study the latest advances in engineering modern software systems. The partial list of investigated problem areas include formal specification methods, software patterns with emphasis on distributed systems, securing software systems, implementing fault tolerant systems, and coordinating distributed activities.
Topical Outline
The course in intended for advanced graduate students and includes a mixture of lectures and presentations on advanced software methods and techniques. The partial list of topics include: * advances in interprocess communication * formal specification methods, emphasizing communication protocols * software patterns, emphasizing distributed systems * security * global snapshots * fault tolerance * coordination and agreement * distributed transactions
Syllabus