The use of formal methods in real project is still a challenge. The paper reports the results of a Trial Project, partially funded by the European Communities, with the goal to measure difficulties and benefits associated with the use of integrated graphical and textual formal specification languages. The reference application used for the trial project was the development of a platform door control function of a more complex system in the field of railway applications. © Springer-Verlag Berlin Heidelberg 1998.

Applying formal methods in industry the UseGat project

Bove R.
1998

Abstract

The use of formal methods in real project is still a challenge. The paper reports the results of a Trial Project, partially funded by the European Communities, with the goal to measure difficulties and benefits associated with the use of integrated graphical and textual formal specification languages. The reference application used for the trial project was the development of a platform door control function of a more complex system in the field of railway applications. © Springer-Verlag Berlin Heidelberg 1998.
3540651101; 9783540651109
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: http://hdl.handle.net/20.500.12079/4496
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
social impact