A framework for developing dependable software systems using the SOFL formal engineering method
Shaoying Liu · 2010
Development of a dependable software requires a variety of techniques to be used in a coherent and systematic process, since it is required to take the reliability, safety, and security of the system into account. In this paper, we describe a framework for developing dependable software systems using the SOFL formal engineering method, and demonstrate its applicability by a case study developing and ATM system using the framework.