TY  - JOUR
PY  - 2002//
TI  - Assessing the practical benefits of formal methods for software development
JO  - Safety science
A1  - Droschl, G
A1  - Kuhn, W.
A1  - Sonneck, Gernot
A1  - Thuswald, M
SP  - 719
EP  - 730
VL  - 40
IS  - 9
N2  - 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.<p />
LA  - en
SN  - 0925-7535
UR  - http://dx.doi.org/
ID  - ref1
ER  -