Measurement of key performance indicators of user experience based on software requirements

I Atoum - Science of Computer Programming, 2023 - Elsevier
Abstract Software User Experience (UX) reveals product impressions when using or
planning to utilize a software product. However, software products are notorious for their …

RCM-extractor: an automated NLP-based approach for extracting a semi formal representation model from natural language requirements

A Zaki-Ismail, M Osama, M Abdelrazek… - Automated Software …, 2022 - Springer
Most existing (semi-) automated requirements formalisation techniques assume
requirements to be specified in predefined templates. They also employ template-specific …

[PDF][PDF] RCM-Extractor: Automated Extraction of a Semi Formal Representation Model from Natural Language Requirements.

A Zaki-Ismail, M Osama, M Abdelrazek… - …, 2021 - pdfs.semanticscholar.org
Formal verification requires system requirements to be specified in formal notations.
Formalisation of system requirements manually is a time-consuming and error-prone …

NLP4RE Tools: Classification, Overview, and Management

J Frattini, M Unterkalmsteiner, D Fucci… - arxiv preprint arxiv …, 2024 - arxiv.org
Tools constitute an essential contribution to natural language processing for requirements
engineering (NLP4RE) research. They are executable instruments that make research …

DBRG: Description-Based Non-Quality Requirements Generator

M Osama, A Zaki-Ismail, M Abdelrazek… - 2021 IEEE 29th …, 2021 - ieeexplore.ieee.org
Requirements quality checking is a key process in requirements engineering. For complex
and large scale systems, it is recommended to use automated requirements quality checking …

[PDF][PDF] Progressive quality checking of system requirements specification

MO Darweish - 2023 - dro.deakin.edu.au
This research proposes a progressive quality checking framework that automatically detects
issues in software/system requirements. The quality checks are applied at the informal, semi …