AUCBanner
catalog2

Main Page

Table of Contents


 

General Information

Undergraduate Studies

Graduate Studies

Research

Continuing Education & Training Programs

Appendix: Personnel & Enrollment

 

 

 

 

 

 

 

doctorate2 cafe2 study3
gradstud
 Computer Science Courses
SPNavLeft SPNavRight SPNavUp

CSCI

541

SPNavLeft SPNavRight SPNavUp

Advanced Software Engineering

Formal methods in software engineering, first-order logic, basic specification elements and rigorous proofs. Verification and validation. Testing and debugging techniques and tools. Reusability, modularity, top-down and bottom-up development approaches, object classification, support for concurrency and polymorphism.

3 cr.

Copyright © 2003-2004, The American University in Cairo

[Home]
[Computer Science Courses]