A formal representation for state diagrams in the OMT methodology (Contributo in atti di convegno)

Type
Label
  • A formal representation for state diagrams in the OMT methodology (Contributo in atti di convegno) (literal)
Anno
  • 1996-01-01T00:00:00+01:00 (literal)
Alternative label
  • Bertino E., Castelli D., Vitale F. (1996)
    A formal representation for state diagrams in the OMT methodology
    in SOFSEM'96: Theory and Practice of Informatics. 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, 23-30 novembre 1996
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Bertino E., Castelli D., Vitale F. (literal)
Pagina inizio
  • 327 (literal)
Pagina fine
  • 334 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • SOFSEM'96: Theory and Practice of Informatics. 23rd Seminar on Current Trends in Theory and Practice of Informatics. Proceedings (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
  • 1175 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 8 (literal)
Note
  • PuMa (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Università di Milano ISTI-CNR (literal)
Titolo
  • A formal representation for state diagrams in the OMT methodology (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 978-3-540-61994-9 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume
  • K.G. Jeffery, J. Kral, M. Bartosek (eds.). (literal)
Abstract
  • The paper proposes a formalization of the object and dynamic OMT models in terms of the Abstract Machine model and shows how certain relevant properties, such as whether a state is reachable, there are non-deterministic state transitions or cyclic state transitions, can be detected by using the proof mechanisms provide for Abstract Machine. (literal)
Editore
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
Editore di
data.CNR.it