Requirements Formality Levels Analysis and Transformation of Formal Notations into Semi-formal and Informal Notations (S).
Aya Zaki-Ismail, Mohamed Osama, Mohamed Almorsy Abdelrazek, John C. Grundy, Amani S. Ibrahim
Browse the full SEKE paper archive.