University of NevadaReno

Department of Computer Science

CS 790zSeminar on Software Engineering

Presentations Schedule

Round 1 of Presentations

Number / Date / Presenter / Topic
1 / TUE, Feb. 25 / KIM Martin / Software for Traffic Lights Controllers
2 / TUE, Feb 25 / XIN Yu / Virtual Reality Software: Characteristics and Examples
3 / THU, Feb. 27 / GIGI Shum / A Formal Methods Primer
4 / THU, Feb. 27 / JOHN Jusayan / Brief Journey through Visual Programming Environments
5 / TUE, Mar 4 / MEENAKSHI Iyer / XML: A Tutorial
6 / TUE, Mar 4 / KEDAR Deshpande / Challenges of Specifying Real-Time Systems
7 / THU Mar 6 / CAROL Freinkel / What is Agile Programming?
8 / THU, Mar 6 / MANISH Nilawar / Testing Web-based and Web-enabled Applications: A First Look
9 / TUE, Mar 11 / MARYANN Chandy / Software to Assist Children with Disabilities: User Interface Aspects

Round 2 of Presentations

Number / Date / Presenter / Topic
1 / TUE, April 1 / GIGI Shum / On Combining UML Representations with Z-based Notations in Software Specification
2 / TUE, April 1 / CAROL Freinkel / Agile Programming in the Real World: Case Studies
3 / TUE, April 1 / KIM Martin / (moved to TUE, April 15)
4 / THU, April 3 / MANISH Nilawar / On Modeling and Testing Web Applications Using UML
5 / THU, April 3 / KEDAR Deshpande / UML Extensions for Real Time Systems
6 / THU, April 3 / JOHN Jusayan / A Close Look at Prograph
7 / TUE, April 8 / XIN Yu / Overview of VRML Browsers
8 / TUE, April 8 / MARYANN Chandy / Software Tools for Teaching Sciences to Children
9 / TUE, April 8 / MEENAKSHI Iyer / UML and XML Schemas

Round 3 of Presentations

Number / Date / Presenter / Topic
1 / TUE, April 22 / MANISH Nilawar / Modeling and Testing Web Applications: A Case Study
2 / TUE, April 22 / KEDAR Deshpande / Conveyor Belt Process Control System
3 / TUE, April 22 / MEENAKSHI Iyer / Using UML and XML for Specifying a Library System
4 / THU, April 24 / MARYANN Chnady / Enhancement of Educational Software to Assist Children with Disabilities
5 / THU, April 24 / JOHN Jusayan / UML Specification for Prograph Implementation: A Case Study
6 / THU, April 24 / KIM Martin / Software for Traffic Lights Controllers: UML Approach
7 / TUE, April 29 / XIN Yu / UML Modeling of a VRML Browser
8 / TUE, April 29 / CAROL Freinkel / Agile Programming In Depth
9 / TUE, April 29 / GIGI Shum / Combining UML and Object-Z to Specify a Project Management System