main
home
general information
contact/directions
research
academics

degree programs courses course evaluations survival guide courses areas of focus program requirements examination requirements handbook academic integrity people
student corner
news & events
news & events
site map
visitors
prospective students
prospective faculty
search

Department of Computer Science

home > academics > graduate > courses

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. Prerequisite: CSCI 212. (Fall)

home | general information | contact/directions | research | academics | people
student corner | news & events | site map | prospective students | prospective faculty


The George Washington University © 2003, The George Washington University
Department of Computer Science
Last Updated: December 19, 2000