Req2Spec: Transforming Software Requirements into Formal Specifications Using Natural Language Processing (Englisch)
- Neue Suche nach: Nayak, Anmol
- Neue Suche nach: Timmapathini, Hari Prasad
- Neue Suche nach: Murali, Vidhya
- Neue Suche nach: Ponnalagu, Karthikeyan
- Neue Suche nach: Venkoparao, Vijendran Gopalan
- Neue Suche nach: Post, Amalinda
- Neue Suche nach: Gervasi, Vincenzo
- Weitere Informationen zu Gervasi, Vincenzo:
- https://orcid.org/https://orcid.org/0000-0002-8567-9328
- Neue Suche nach: Vogelsang, Andreas
- Weitere Informationen zu Vogelsang, Andreas:
- https://orcid.org/https://orcid.org/0000-0003-1041-0815
- Neue Suche nach: Nayak, Anmol
- Neue Suche nach: Timmapathini, Hari Prasad
- Neue Suche nach: Murali, Vidhya
- Neue Suche nach: Ponnalagu, Karthikeyan
- Neue Suche nach: Venkoparao, Vijendran Gopalan
- Neue Suche nach: Post, Amalinda
In:
Requirements Engineering: Foundation for Software Quality
: 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21–24, 2022, Proceedings
;
Kapitel: 8
;
87-95
;
2022
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Req2Spec: Transforming Software Requirements into Formal Specifications Using Natural Language Processing
-
Weitere Titelangaben:Lect.Notes Computer
-
Beteiligte:Gervasi, Vincenzo ( Herausgeber:in ) / Vogelsang, Andreas ( Herausgeber:in ) / Nayak, Anmol ( Autor:in ) / Timmapathini, Hari Prasad ( Autor:in ) / Murali, Vidhya ( Autor:in ) / Ponnalagu, Karthikeyan ( Autor:in ) / Venkoparao, Vijendran Gopalan ( Autor:in ) / Post, Amalinda ( Autor:in )
-
Kongress:International Working Conference on Requirements Engineering: Foundation for Software Quality ; 2022 ; Birmingham, United Kingdom
-
Erschienen in:Requirements Engineering: Foundation for Software Quality : 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21–24, 2022, Proceedings ; Kapitel: 8 ; 87-95Lecture Notes in Computer Science ; 13216 ; 87-95
-
Verlag:
- Neue Suche nach: Springer International Publishing
-
Erscheinungsort:Cham
-
Erscheinungsdatum:09.03.2022
-
Format / Umfang:9 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Transparency and Explainability of AI Systems: Ethical Guidelines in PracticeBalasubramaniam, Nagadivya / Kauppinen, Marjo / Hiekkanen, Kari / Kujala, Sari et al. | 2022
- 2
-
Requirements Engineering for Artificial Intelligence: What Is a Requirements Specification for an Artificial Intelligence?Berry, Daniel M. et al. | 2022
- 3
-
Quo Vadis, Explainability? – A Research Roadmap for Explainability EngineeringBrunotte, Wasja / Chazette, Larissa / Klös, Verena / Speith, Timo et al. | 2022
- 4
-
How Effective Is Automated Trace Link Recovery in Model-Driven Development?Rasiman, Randell / Dalpiaz, Fabiano / España, Sergio et al. | 2022
- 5
-
A Zero-Shot Learning Approach to Classifying Requirements: A Preliminary StudyAlhoshan, Waad / Zhao, Liping / Ferrari, Alessio / Letsholo, Keletso J. et al. | 2022
- 6
-
Abbreviation-Expansion Pair Detection for Glossary Term ExtractionHasso, Hussein / Großer, Katharina / Aymaz, Iliass / Geppert, Hanna / Jürjens, Jan et al. | 2022
- 7
-
Towards Explainable Formal Methods: From LTL to Natural Language with Neural Machine TranslationCherukuri, Himaja / Ferrari, Alessio / Spoletini, Paola et al. | 2022
- 8
-
Req2Spec: Transforming Software Requirements into Formal Specifications Using Natural Language ProcessingNayak, Anmol / Timmapathini, Hari Prasad / Murali, Vidhya / Ponnalagu, Karthikeyan / Venkoparao, Vijendran Gopalan / Post, Amalinda et al. | 2022
- 9
-
FRETting About Requirements: Formalised Requirements for an Aircraft Engine ControllerFarrell, Marie / Luckcuck, Matt / Sheridan, Oisín / Monahan, Rosemary et al. | 2022
- 10
-
Invest in Splitting: User Story Splitting Within the Software IndustryDellsén, Emanuel / Westgårdh, Karl / Horkoff, Jennifer et al. | 2022
- 11
-
Guided Derivation of Conceptual Models from User Stories: A Controlled ExperimentBragilovski, Maxim / Dalpiaz, Fabiano / Sturm, Arnon et al. | 2022
- 12
-
From User Stories to Data Flow Diagrams for Privacy Awareness: A Research PreviewHerwanto, Guntur Budi / Quirchmayr, Gerald / Tjoa, A. Min et al. | 2022
- 13
-
Requirements Engineering in the Market Dialogue Phase of Public Procurement: A Case Study of an Innovation Partnership for Medical TechnologyBrataas, Gunnar / Hanssen, Geir Kjetil / Qiu, Xinlu / Græslie, Lisa S. et al. | 2022
- 14
-
A Business Model Construction Kit for Platform Business Models - Research PreviewBartels, Nedo / Gordijn, Jaap et al. | 2022
- 15
-
On Testing Security Requirements in Industry – A Survey StudyKopczyńska, Sylwia / Craviee De Abreu Vieira, Daniel / Ochodek, Mirosław et al. | 2022
- 16
-
Setting AI in Context: A Case Study on Defining the Context and Operational Design Domain for Automated DrivingHeyn, Hans-Martin / Subbiah, Padmini / Linder, Jennifer / Knauss, Eric / Eriksson, Olof et al. | 2022
- 17
-
Requirements Engineering for Software-Enabled Art: Challenges and GuidelinesMöller, Niklas / Horkoff, Jennifer et al. | 2022
- 18
-
A Study on the Mental Models of Users Concerning Existing SoftwareAnders, Michael / Obaidi, Martin / Paech, Barbara / Schneider, Kurt et al. | 2022
- 19
-
Vision Video Making with Novices: A Research PreviewBusch, Melanie / Shi, Jianwei / Nagel, Lukas / Sell, Johann / Schneider, Kurt et al. | 2022