Dec 22, 2024  
2015-2016 Academic Catalog 
    
Catalog Navigation
  Catalog Home
  Archived Catalogs
  Schools and Departments
  Undergraduate Degree Programs
  Graduate Degree Programs
  Courses
  Course Prefix Identification and Coding Rationale
  The University
  University Calendars: 2015-2016
  Libraries and Learning Technologies
  Academic Support Services
  AUC Press
  Undergraduate Admissions
  First-Year Experience Program
  Undergraduate Studies
  Academic Advising Center
  The Core Curriculum
  Undergraduate Academic Requirements & Regulations
  Undergraduate Student Finances
  Graduate Admissions
  Graduate Academic Requirements & Regulations
  Graduate Student Finances
  Research
  Community Based Learning
  Continuing Education and Training Programs
  Leadership
  Facts and Figures
  Catalog PDF Extract
  My Portfolio
HELP
2015-2016 Academic Catalog [Published Catalog]

Add to Portfolio (opens a new window)

CSCE 541/5271 - Advanced Software Engineering (3 cr.)


Description
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.


Check course scheduling information



Add to Portfolio (opens a new window)