CINECA IRIS Institutional Research Information System

The paper describes a methodology, based on UML class diagrams, to collect dependability requirements for automation systems

A class diagram framework for collecting dependability requirements in automation systems

DONATELLI, Susanna;BERNARDI, Simona;
2004-01-01

Abstract

The paper describes a methodology, based on UML class diagrams, to collect dependability requirements for automation systems
2004
1st International Symposium on Leveraging Applications of Formal Methods (ISOLA04)
Paphos (Cyprus)
2-11-2004
Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA04)
Department of Computer Science, University of Cyprus
TR-2004-6
276
283
Automation systems; UML; Class diagrams
S. DONATELLI; S. BERNARDI; G. DONDOSSOLA
04A-Conference paper in volume
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/28890
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact