This deliverable describes the work developed in the project concerning with the use of task models. It discusses the reasons for their use and related issues, provides some excerpts of task models related to a case study considered in the project and examples of task-based design. It also includes a discussion on how to apply model checking techniques to task models.
Task models and task-based design
Paterno' F.;Santoro C.
1999
Abstract
This deliverable describes the work developed in the project concerning with the use of task models. It discusses the reasons for their use and related issues, provides some excerpts of task models related to a case study considered in the project and examples of task-based design. It also includes a discussion on how to apply model checking techniques to task models.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_407868-doc_143017.pdf
accesso aperto
Descrizione: Task models and task-based design
Dimensione
2.07 MB
Formato
Adobe PDF
|
2.07 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
