Capturing Requirement Specification for Safety-critical System using SOFL and UML

• المؤلفون الرئيسيون: Azma, Abdullah, Rohani, Abu Bakar, Roslina, Abd Hamid, Muhammad Zulfahmi Toh, Abdullah
• التنسيق: Conference or Workshop Item
• اللغة: English
• منشور في: 2015
• الموضوعات: QA76 Computer software
• الوصول للمادة أونلاين: http://umpir.ump.edu.my/id/eprint/10582/1/Capturing%20Requirement%20Specification%20for%20Safety-critical%20System%20uses%20SOFL%20and%20UML.pdf; http://umpir.ump.edu.my/id/eprint/10582/

This paper discusses two different types of capturing and presenting requirement specifications: UML and SOFL. The reason for choosing UML is because it employs an object-oriented approach, and SOFL is chosen as it is a combination of structured and object-oriented, which is an integration of Petri...