COEN386(Riemenschneider) Software Architecture: Perspectives on an Emerging Discipline
COEN285(Kehoe) Software Engineering a Practitioner's Approach
COEN260(Davis) Language Proof and Logic
COEN256(Azhar) Concepts of Programming Languages (5th Edition)