Open AccessRequirements Formality Levels Analysis and Transformation of Formal Notations into Semi-formal and Informal Notations (S)
Author(s) -
Aya O. Zaki
Publication year - 2021
Publication title -
proceedings/proceedings of the ... international conference on software engineering and knowledge engineering
Language(s) - English
Resource type - Conference proceedings
eISSN - 2325-9000
pISSN - 2325-9086
DOI - 10.18293/seke2021-199
Subject(s) - formality , formal specification , computer science , notation , formal methods , traceability , software engineering , programming language , software requirements specification , refinement , requirements analysis , software development , mathematics , software , arithmetic , philosophy , linguistics , software design
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom