Using formal methods to develop a complex information system
César García Andrés, Rafael G. Aranda, Manuel A. Nunez · 2008
In this paper we apply a new model to formally represent complex information systems. We show how this formalism, based on finite state machines, has been used as the basis to develop a real information system. This exercise convinced us that a formal approach to develop complex systems can facilitate some of the development phases.