Using a Machine Learning Approach to Implement and Evaluate Product Line Features

Autor: Davide Bacciu, Stefania Gnesi, Laura Semini

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 188, Iss Proc. WWV 2015, Pp 75-83 (2015)

Bike-sharing systems are a means of smart transportation in urban environments with the benefit of a positive impact on urban mobility. In this paper we are interested in studying and modeling the behavior of features that permit the end user to acce

Externí odkaz: https://doaj.org/article/9931c9280e0a40b791ef2907035bdc06

Formal methods for distributed control systems of future railways

Autor: Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen

Publikováno v: ISoLA'22-11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 243–245, Rhodes, Greece, 22-30/10/2022
Lecture Notes in Computer Science ISBN: 9783031197611

The adoption of formal methods in railway signalling has been the subject of specific tracks of past ISOLA conferences since a decade.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3d26beac7a6f95482449d163179e96dd
https://openportal.isti.cnr.it/doc?id=people______::73657eb5712f712bf2aedc7922ef5139

VIBE: Looking for Variability In amBiguous rEquirements

Autor: Alessandro Fantechi, Stefania Gnesi, Laura Semini

Publikováno v: The Journal of systems and software 195 (2022). doi:10.1016/j.jss.2022.111540

Variability is a characteristic of a software project and describes the fact that a system can be configured in different ways, obtaining different products (variants) from a common code base, accordingly to the software product line paradigm. This p

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1d49f3db3dd4d027aa5f744a1d0995b2
https://doi.org/10.1016/j.jss.2022.111540

Supervisory Synthesis of Configurable Behavioural Contracts with Modalities

Autor: Gian Luigi Ferrari, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Felicita Di Giandomenico, Stefania Gnesi, Davide Basile

Publikováno v: FORTE 2021-41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, pp. 177–181, Online conference, 14-18/06/2021
info:cnr-pdr/source/autori:Basile D.; ter Beek M.H.; Degano P.; Legay A.; Ferrari G.L.; Gnesi S.; Di Giandomenico F./congresso_nome:FORTE 2021-41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems/congresso_luogo:Online conference/congresso_data:14-18%2F06%2F2021/anno:2021/pagina_da:177/pagina_a:181/intervallo_pagine:177–181
Lecture Notes in Computer Science, Vol. 12719 LNCS, p. 177-181 (2021)
Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783030780883
FORTE

Service contracts characterise the desired behavioural compliance of a composition of services, typically defined by the fulfilment of all service requests through service offers. Contract automata are a formalism for specifying behavioural service c

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::54a28d7cf18cf378b2785d2f326701fa
http://hdl.handle.net/11568/1126125

An experience with the application of three nlp tools for the analysis of natural language requirements

Autor: Monica Arrabito, Alessandro Fantechi, Stefania Gnesi, Laura Semini

Publikováno v: Quality of Information and Communications Technology 13th International Conference, QUATIC 2020, pp. 488–498, Faro, Portugal, 9-11/09/2020
info:cnr-pdr/source/autori:Arrabito M.; Fantechi A.; Gnesi S.; Semini L./congresso_nome:Quality of Information and Communications Technology 13th International Conference, QUATIC 2020/congresso_luogo:Faro, Portugal/congresso_data:9-11%2F09%2F2020/anno:2020/pagina_da:488/pagina_a:498/intervallo_pagine:488–498
Communications in Computer and Information Science ISBN: 9783030587925
QUATIC

We report on the experience made with three Natural Language Processing analysis tools, aimed to compare their performance in detecting ambiguity and under-specification in requirements documents, and to compare them with respect to other qualities l

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9057b1954cc098c74cb13134b1c95720
https://link.springer.com/chapter/10.1007/978-3-030-58793-2_39