karam@sce.carleton.ca (Gerald Karam) (01/30/89)
Dept. of Systems and Computer Eng. Carleton University, Ottawa, CANADA DEPARTMENTAL SEMINAR WED FEB 8 1:30 PM ROOM 391 MACKENZIE BLDG MR. MOSHE COHEN (I-Logix) STATEMATE IN THE LIFE CYCLE StateMate is a commercial CASE tool that supports visual specification and animation of the behaviour of reactive systems using Harel's StateCharts notation. This seminar addresses issues such as the following. What are the broad capabilities of the method and tool? Do the method and tool support only external behaviour specification or do they descend into design? What are the issues in aligning them with design notations such as our home-grown ``Buhr Diagrams'' and ``Machine Charts'' which are beginning to find wide use industry? About the speaker. Moshe Cohen characterizes himself as the "methods philosopher" of StateMate. He is an in-depth technical expert on the tool and how it fits into the life cycle. All Visitors Welcome. Pay Parking is available on Campus (Lots 2, 5, 6, and Parking Garage). For Further Information Contact Gerald Karam. karam@sce.carleton.ca karam@sce.uucp (613) 564-7565