Chiara Abbaneo

  • Citations Per Year
Learn More
The Unified Modeling Language (UML) is widely used as a high level object oriented specification language. In this paper we present a novel approach in which reverse engineering is performed using UML as the modeling language used to achieve a representation of the implemented system. The target is the core logic of a complex critical railway control(More)
This paper describes an experiment in formal speciication and validation performed in the context of an industrial joint project involving Ansaldo-breda Segnalamento Ferroviario (ASF) and CNR Institutes-IEI and CNUCE-of Pisa. Within this project two formal models have been developed, describing diierent aspects of a wider safety-critical system for the(More)
  • 1