← Return to Article Details SOFTWARE ENGINEERING, INFORMATION SYSTEMS AND FORMAL METHODS: