[ont.events] Departmental Seminar

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