Tool Seminar:SCR Overview

From Dependability


Overview | Schedule | Syllabus | 2006 Project Guidelines | Tool List | Editing Guidelines

 

 

On Wednesday, 8 February, we will be discussing the SCR model-based development tools. In preparation, please read very carefully:

link Managing Complexity in Software Development with Formally Based Tools" by Constance Heitmeyer.
link Specifying Software Requirements for Complex Systems: New Techniques and Their Applications" by Katherine Heninger. Note that this paper is on the qualifying exam reading list, as it is included Software Fundamentals.

Patrick will give a brief presentation on the SCR tools, which are not described in any detail in either paper. Afterward, Patrick would like to discuss the vision of model-based development that the SCR folks endorse.

Retrieved from "http://dependability.cs.virginia.edu/info/Tool_Seminar:SCR_Overview"