logo
newcattitle-sm2

Main Page

Table of Contents


 

General Information

Undergraduate Studies

Graduate Studies

Research

Continuing Education & Training Programs

Appendix: Personnel & Enrollment

pattern blackboard guitar
gradstud
 Computer Science Courses
SPNavLeft SPNavRight SPNavUp

CSCI

541

Advanced Software Engineering

(

3

) cr.

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.

SPNavLeft SPNavRight SPNavUp

Copyright © 2001-2002, The American University in Cairo