Requirements formality levels analysis and transformation of formal notations into semi-formal and informal notations

Zaki Ismail, Aya, Osama, M, Abdelrazek, Mohamed, Grundy, J and Ibrahim, Amani 2021, Requirements formality levels analysis and transformation of formal notations into semi-formal and informal notations, in SEKE 2021 : Proceedings of the International Conference on Software Engineering and Knowledge Engineering, KSI Research, Pittsburgh, Pa., pp. 303-308, doi: 10.18293/SEKE2021-199.

Attached Files
Name Description MIMEType Size Downloads

Title Requirements formality levels analysis and transformation of formal notations into semi-formal and informal notations
Author(s) Zaki Ismail, Aya
Osama, MORCID iD for Osama, M orcid.org/0000-0003-3812-9785
Abdelrazek, Mohamed
Grundy, JORCID iD for Grundy, J orcid.org/0000-0001-8747-1419
Ibrahim, Amani
Conference name Software Engineering and Knowledge Engineering. Conference (2021 : Redwood City, California)
Conference location Redwood City, California
Conference dates 2021/07/01 - 2021/07/10
Title of proceedings SEKE 2021 : Proceedings of the International Conference on Software Engineering and Knowledge Engineering
Publication date 2021
Start page 303
End page 308
Total pages 6
Publisher KSI Research
Place of publication Pittsburgh, Pa.
Keyword(s) Requirements engineering
Informal notation
Semi-formal notation
Formal notations
Transformation
CORE2020 B
ISBN 1891706527
ISSN 2325-9000
2325-9086
Language eng
DOI 10.18293/SEKE2021-199
HERDC Research category E1 Full written paper - refereed
Persistent URL http://hdl.handle.net/10536/DRO/DU:30155561

Connect to link resolver
 
Unless expressly stated otherwise, the copyright for items in DRO is owned by the author, with all rights reserved.

Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in TR Web of Science
Scopus Citation Count Cited 0 times in Scopus
Google Scholar Search Google Scholar
Access Statistics: 8 Abstract Views, 1 File Downloads  -  Detailed Statistics
Created: Fri, 17 Sep 2021, 08:19:10 EST

Every reasonable effort has been made to ensure that permission has been obtained for items included in DRO. If you believe that your rights have been infringed by this repository, please contact drosupport@deakin.edu.au.