Return to Article Details Formal methods of analysis and synthesis for decisions options during corporate information system development Download Download PDF