Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleMay 2022
RCM-extractor: an automated NLP-based approach for extracting a semi formal representation model from natural language requirements
Automated Software Engineering (KLU-AUSE), Volume 29, Issue 1https://doi.org/10.1007/s10515-021-00312-yAbstractMost existing (semi-)automated requirements formalisation techniques assume requirements to be specified in predefined templates. They also employ template-specific transformation rules to provide the corresponding formal representation. Hence, ...
- ArticleMarch 2022
Req2Spec: Transforming Software Requirements into Formal Specifications Using Natural Language Processing
- Anmol Nayak,
- Hari Prasad Timmapathini,
- Vidhya Murali,
- Karthikeyan Ponnalagu,
- Vijendran Gopalan Venkoparao,
- Amalinda Post
Requirements Engineering: Foundation for Software QualityPages 87–95https://doi.org/10.1007/978-3-030-98464-9_8Abstract[Context and motivation] Requirement analysis and Test specification generation are critical activities in the Software Development Life Cycle (SDLC), which if not done correctly can lead to defects in the software system. Manually performing ...
- articleSeptember 2019
Automating requirements analysis and test case generation
- Abha Moitra,
- Kit Siu,
- Andrew W. Crapo,
- Michael Durling,
- Meng Li,
- Panagiotis Manolios,
- Michael Meiners,
- Craig Mcmillan
Requirements Engineering (REQE), Volume 24, Issue 3Pages 341–364https://doi.org/10.1007/s00766-019-00316-xWriting clear and unambiguous requirements that are conflict-free and complete is no easy task. Incorrect requirements lead to errors being introduced early in the design process. The longer the gap between error introduction and error discovery, the ...
- articleMarch 2017
A methodology for verifying SysML requirements using activity diagrams
Innovations in Systems and Software Engineering (SPISSE), Volume 13, Issue 1Pages 19–33https://doi.org/10.1007/s11334-016-0281-yDesigning complex and critical systems needs a methodology to ensure the correctness of their specifications. Within an overall approach which considers the validation of SysML designs, this paper proposes a methodology for verifying SysML requirements ...
- articleMay 2004
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System
- Rajeev Alur,
- David Arney,
- Elsa L. Gunter,
- Insup Lee,
- Jaime Lee,
- Wonhong Nam,
- Frederick Pearce,
- Steve Van Albert,
- Jiaxiang Zhou
International Journal on Software Tools for Technology Transfer (STTT) (STTT), Volume 5, Issue 4Pages 308–319Reliability of medical devices such as the CARA Infusion Pump Control System is of extreme importance given that these devices are being used on patients in critical condition. The Infusion Pump Control System includes embedded processors and ...