Dec 26, 2024  
2010-2011 Academic Catalog 
    
Catalog Navigation
  Catalog Home
  Archived Catalogs
  Schools
  Programs
  Courses
  Course Prefix Identification
  University Calendar: 2010-2011
  The University
  Student Responsibility
  Privacy Rights of Student Records
  Incoming Student Abroad, Outgoing Exchange Programs
  Summer and Winter Sessions
  Undergraduate Admissions
  First-Year Experience Program
  Undergraduate Academic Requirements & Regulations
  Undergraduate Student Finances
  Undergraduate Student Life
  The Core Curriculum
  Graduate Admissions
  Graduate Academic Requirements & Regulations
  Graduate Student Finances
  Research
  Continuing Education and Training Programs
  Personnel & Enrollment
  My Portfolio
HELP
2010-2011 Academic Catalog [Published Catalog]

Add to Portfolio (opens a new window)

CSCE 541 - 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.)


Check course scheduling information



Add to Portfolio (opens a new window)