Assessing the practical benefits of formal methods for software development |
| |
| Authors: | G Droschl W Kuhn G Sonneck M Thuswald |
| |
| Institution: | 1. Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran;2. Department of Computer Engineering, Tabriz Branch, Islamic Azad University, Tabriz, Iran;3. Computer Science, University of Human Development, Sulaimanyah, Iraq |
| |
| Abstract: | We describe a case study where one software module of an existing physical access control system was re-developed using formal software development methods. Because of increased software quality and comparable development efforts, we are considering the use of formal methods for the future development of critical modules. Further results of this work include the identification of a critical property of the given requirements, as well as insights into overall requirements quality. |
| |
| Keywords: | Formal methods Software development Case study Security system |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
