A conceptual framework for state-based and event-based formal behavioural specification languages (Contributo in atti di convegno)

Type

• Contributo in atti di convegno (Classe)
• Prodotto della ricerca (Classe)

Label

• A conceptual framework for state-based and event-based formal behavioural specification languages (Contributo in atti di convegno) (literal)

Anno

• 2004-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1109/ICECCS.2004.1310909 (literal)

Alternative label

• Bolognesi T. (2004)
  A conceptual framework for state-based and event-based formal behavioural specification languages
  in Ninth IEEE International Conference on Engineering of Complex Computer Systems, Florence, April 14-16, 2004
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Bolognesi T. (literal)

Pagina inizio

• 107 (literal)

Pagina fine

• 116 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=1310909 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume

• Proceedings Ninth IEEE International Conference on Engineering of Complex Computer Systems (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

• April 14-16, 2004. Proceedings, Vol. 1, pp. 107-116. Bellini, Pierfrancesco, Bohner, Shawn A. and Steffen, Bernard (eds.). IEEE, 2004. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali

• 10 (literal)

Note

• Google Scholar (literal)
• Scopu (literal)
• ISI Web of Science (WOS) (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• CNR-ISTI (literal)

Titolo

• A conceptual framework for state-based and event-based formal behavioural specification languages (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 0-7695-2109-6 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume

• Pierfrancesco Bellini; Shawn A. Bohner; Bernhard Steffen (literal)

Abstract

• We introduce a simple conceptual framework for assessing a number of well known formal specification techniques w.r.t. their ability to model state-oriented and/or event-oriented aspects of system behaviour. By attributing a-priori equal importance to the notions of event and state, by explicitly recognizing the two derived, fundamental ways of thinking about system behaviours, and by assessing the bias of existing formal methods towards one or the other, one can make more conscious choices in the upper phases of software development, that is, in requirements elicitation and analysis, in the construction of abstract system models, and in the choice of formal languages for high- and low-level design. In particular, we assess the recently introduced model of Abstract State Processes, and the design choices behind its definition, in light of the introduced state-event framework. (literal)

Editore

• IEEE Computer Society (Editore)

Prodotto di

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Autore CNR

• TOMMASO BOLOGNESI (Unità di personale interno)

Incoming links:

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Autore CNR di

• TOMMASO BOLOGNESI (Unità di personale interno)

Editore di

• IEEE Computer Society (Editore)