Information systems and the engineering paradigm : integrating the formal methods into the development process - Saiedian, Hossein (Array, 1994)