Department of Computer Science
The George Washington University
801 22nd Street NW, Suite 704
Washington DC 20052
Voice: (202) 994-7181
Fax: (202) 994-4875
E-mail: cs@gwu.edu

CSci 255 - Software Engineering Development

Rotenstreich and Staff

Credits: 3

Formal methods in software engineering. First-order logic, basic specification elements, rigorous proofs, formal development process, concurrency. CSCI 212. (Fall)