A story about formal methods adoption by a railway signaling Manufacturer (Articolo in rivista)

Type
Label
  • A story about formal methods adoption by a railway signaling Manufacturer (Articolo in rivista) (literal)
Anno
  • 2006-01-01T00:00:00+01:00 (literal)
Alternative label
  • Bacherini S.; Fantechi A.; Tempestini M.; Zingoni N. (2006)
    A story about formal methods adoption by a railway signaling Manufacturer
    in Lecture notes in computer science
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Bacherini S.; Fantechi A.; Tempestini M.; Zingoni N. (literal)
Pagina inizio
  • 179 (literal)
Pagina fine
  • 189 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: International Symposium on Formal Methods (Hamilton, Ontario, Canada, August 21- 27, 2006). Proceedings, pp. 179-189. (Lecture Notes in Computer Science, vol. 4085). Springer, 2006. (literal)
Note
  • ISI Web of Science (WOS) (literal)
Titolo
  • A story about formal methods adoption by a railway signaling Manufacturer (literal)
Abstract
  • This paper reports the story of the introduction of formal methods in the development process of a railway signaling manufacturer. The first difficulty for a company is due to the many different formal methods proposals around; we show how this difficulty has been addressed and how the choice of a reference formal specification notation and of the related tools has been driven by many external factors related to the specific application domain, to the company policies, to european regulations. Cooperation with University has been fundamental in this process, which is now at the stage in which internal acceptance of the chosen formalisms and tools is established (literal)
Prodotto di
Insieme di parole chiave

Incoming links:


Prodotto
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Insieme di parole chiave di
data.CNR.it