Introduction
 
Objectives

Use context

Main principles

Installation

General presentation of the specification environment
 
The working area
 
Creating an object
Selecting an object
Removing an object
Moving or resizing an object
 
Tasks and operators panel

The menu
 

The File Option
The Edit option
The Option option
The Tools option
The Parameter option
 
Buttons

Messages bar

How specifying
 
Specifying a task
 
A primitive task
A composite task
An end task
An inactive task
 
Declaring parameters
 
Creating an input or input-output parameter
Creating an output parameter
 
Declaring a module

Specifying a sequence

Specifying a sum

Specifying a choice

Specifying a product

Some specifications examples
 
Generating the data flow
 

Last update by Jérôme BLACHON, January 1999.

© 1997-1999 INRIA Rhône-Alpes