CS 517 - Software Specification and Design

Prerequisite

CS 414 (Object-Oriented Design).

Description

The course will focus on advanced software modeling and specification techniques. Topics include formal specification techniques, and model-driven software development. Good working knowledge of predicate logic, set theory, and basic knowledge of the UML is assumed.

IMPORTANT: You must have a very good background in (undergraduate level) Discrete Mathematics, in particular, you must be very familiar with predicate logic and basic set theory. In addition, students must satisfy at least one of the following:
• Successful completion of CS414
• Significant industry experience in object-oriented programming and familiarity with the Unified Modeling Language (UML)
• Permission of instructor.

Upon completion of this course, students will be able to
• read and write formal specifications of software systems in Alloy
• be familiar with model checking concepts
• use the UML and OCL to rigorously model software
• form informed opinions about model-driven software development approaches

This course can be applied towards:

• Computer Science (M.C.S.)
• Software Engineering Certificate

Instructors

Robert France
(970) 491-6356
france@cs.colostate.edu

Dr. Robert France is a Full Professor in the Department of Computer Science at Colorado State University.

His research interests are in the area of Software Engineering, in particular formal specification techniques, software modeling techniques, software product lines, and domain-specific modeling languages. He is an editor-in-chief of the Springer journal on Software and System Modeling (SoSyM), and is on the editorial board of IEEE Computer and the Journal on Software Testing, Verification, and Reliability. He is a past Steering Committee Chair of the MoDELS/UML conference series, and is the PC Chair for MODELS 2012. He was also a member of the revision task forces for the UML 1.x standards. He was awarded the Ten Year Most Influential Paper award at MODELS in 2008.

Learn more at: http://www.cs.colostate.edu/~france