( en | de | ru )

 

Disambiguation of "Bacherini, Stefano"

Author of the publication

copydeleteadd this publication to your clipboard
Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain.

, , , , , , and . REFSQ, volume 10153 of Lecture Notes in Computer Science, page 344-360. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stefano Meini

Stefano Cracolici

Stefano Carignano

Stefano Cardanobile

Giovanni Stefano

 

Other publications of authors with the same name

Validation process for railway interlocking systems., , , and . Sci. Comput. Program., (2016)Validation of Railway Interlocking Systems by Formal Verification, A Case Study., , , , and . SEFM Workshops, volume 8368 of Lecture Notes in Computer Science, page 237-252. Springer, (2013)Modeling Guidelines for Code Generation in the Railway Signaling Context., , , and . NASA Formal Methods, volume NASA/CP-2009-215407 of NASA Conference Proceedings, page 166-170. (2009)A GUI Testability Problem: A Case Study in the Railway Signaling Domain., , , , and . QUATIC, page 103-107. IEEE Computer Society, (2012)Detecting requirements defects with NLP patterns: an industrial experience in the railway domain., , , , , , and . Empir. Softw. Eng., 23 (6): 3684-3733 (2018)A Story About Formal Methods Adoption by a Railway Signaling Manufacturer., , , and . FM, volume 4085 of Lecture Notes in Computer Science, page 179-189. Springer, (2006)Formal Development for Railway Signaling Using Commercial Tools., , , and . FMICS, volume 5825 of Lecture Notes in Computer Science, page 197-198. Springer, (2009)Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain., , , , , , and . REFSQ, volume 10153 of Lecture Notes in Computer Science, page 344-360. Springer, (2017)Model Based Testing and Abstract Interpretation in the Railway Signaling Context., , , , and . ICST, page 103-106. IEEE Computer Society, (2010)