CSEP504: Advanced topics in software systems Software architecture: design-based –Formal reasoning about properties –Static vs. dynamic architectures Software.
Poročilo s konference CEC 2011 Gregor Papa. program New Orleans –5.-8. junij 2011 program –10 tutorialov –3 vabljena plenarna predavanja –31 vzporednih.
CISE IAB Meeting Nov. 2, 2006. ABET 2006 Clean bill of health! Special thanks to: CISE & CEN IAB Bandyopadhaya, Bermudez, Newman.
CISE IAB Meeting Oct. 25, 2007. Overview Degree programs & students. Faculty & staff. Research areas. Future hiring.
CSEP504: Advanced topics in software systems