( en | de | ru )

 

Disambiguierung von "Spagnolo, Giorgio Oronzo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions.

, , , und . From Software Engineering to Formal Methods and Tools, and Back, Volume 11865 von Lecture Notes in Computer Science, Seite 267-281. Springer, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Angiolino Spagnolo

Giorgio Cortellaro

Giorgio Stefanoni

Giorgio Pudelko

Giorgio Borea

 

Weitere Publikationen von Autoren mit dem selben Namen

CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams., , , und . SPLC, Seite 402-410. ACM, (2015)Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System., , und . ISoLA (2), Volume 9953 von Lecture Notes in Computer Science, Seite 297-314. (2016)Model-Based Evaluation of the Availability of a CBTC System., , , und . SERENE, Volume 7527 von Lecture Notes in Computer Science, Seite 165-179. Springer, (2012)From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions., , , und . Int. J. Softw. Tools Technol. Transf., 16 (6): 647-667 (2014)Measuring and Improving the Completeness of Natural Language Requirements., , , und . REFSQ, Volume 8396 von Lecture Notes in Computer Science, Seite 23-38. Springer, (2014)Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles., , und . ERCIM News, (2017)30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC., , , , , und . ISoLA (1), Volume 12476 von Lecture Notes in Computer Science, Seite 368-384. Springer, (2020)Digitalisation of Agriculture: Development and Evaluation of a Model-based Requirements Engineering Process., , , und . REFSQ Workshops, Volume 3378 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)Spatial Model Checking for Smart Stations - Research Challenges., , , , und . FMICS, Volume 12863 von Lecture Notes in Computer Science, Seite 39-47. Springer, (2021)Pragmatic ambiguity detection in natural language requirements., , , und . AIRE, Seite 1-8. IEEE Computer Society, (2014)