CS414DL 2009


General Information





General Information

Course Supervisor Dr. Sudipto Ghosh
Phone (970) 491-4608
Fax (970) 491-2466
Office location Rm 468 Computer Science Building
Course Email cs414dl@cs.colostate.edu
Instructor Aritra Bandyopadhyay
Cubicle location 415 Computer Science Building
Phone (970) 491-1056
Fax (970) 491-2466
GTA Chris Wilcox
Cubicle location 415 Computer Science Building
Phone (970) 491-1056
Fax (970) 491-2466


  • Students should have experience in programming and debugging object-oriented software (e.g., Java and C++). Programming exercises in CS414 use Java.
  • Students are expected to know the basics of software engineering as taught in an undergraduate course using a text such as
    • Lethbridge and Laganiere, "Object-Oriented Software Engineering: Practical software development using UML and Java"
    • Pressman, "Software Engineering: A Practitioners Approach"
    • Somerville, "Software Engineering"
  • A good understanding of discrete math and logic including first-order predicate calculus is expected (CS 166), and data structures (CS 200). CS 200 and CS 253 are prerequisites to CS 314 which is a prerequisite to this course.

Important Notices

You must have a Colorado State University eIdentity (eID), before you can be installed into the CS414 RamCT courseware system. The CS414 RamCT page will have all of the course notes, assignments, discussions, and exams, so it is very important for you to be installed on this system. Visit the eIdentity and eServices web page to get your eID. You will not be able to take part in the course until you have an eID.

Once the semester starts, communication with the instructors must be done by emailing us at cs414dl@cs.colostate.edu. Before the semester starts, you can send email to the course supervisor directly.

The first day of "class" is Monday, August 24. Be ready to start then. Go to the RamCT calendar to view the weekly schedule.

Biography - Dr. Sudipto Ghosh

Dr. Ghosh received the Bachelor of Technology degree in Computer Science and Engineering from the Indian Institute of Technology, Kanpur, India in 1993. He received the Master of Science degree in Computer Science from Iowa State University in 1995 and the Doctor of Philosophy degree from Purdue University in 2000.

Dr. Ghosh's teaching and research interests include modeling, designing and testing of object-oriented software, middleware technologies, and aspect-oriented and component-based software development. He is a member of the Association of Computing Machinery and the IEEE Computer Society. He is on the editorial boards of three journals: Information and Software Technology, Software Quality Journal, and the Journal of Software Testing, Verification, and Reliability.

Dr. Ghosh is general co-chair of the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems to be held in Denver, Colorado on Oct 4-9, 2009. He is program co-chair of the Third International Conference on Software Testing, Verification and Validation to be held in Paris, France on April 6-9, 2010.

Biography - Aritra Bandyopadhyay

Aritra received the Bachelor of Engineering degree in Computer Science and Engineering from Jadavpur University, India in 2006. He completed the requirements for the Master of Science degree in Computer Science at Colorado State University in the summer of 2009. His research interest as a Masters student was automated test generation from software design models. He is continuing to work towards the Ph.D. degree in Computer Science. He has worked as a summer intern at Sun Microsystems Research Lab and at TerraFrame.

Biography - Chris Wilcox

Chris received a Bachelor of Science degree in Computer Science from the University of Utah in 1982, and a Master of Science in Computer Science from the same school in 1987. He has been pursuing a Ph.D. degree in Computer Science from Colorado State University since 2006. In between Chris worked as a software engineer at companies including Evans and Sutherland, Hewlett-Packard, and Nvidia Corporation. His interests are software engineering, including platform and language portability, software verification, and performance optimization.

Last updated: August 24, 2009