Modelling in Information Systems

Upon successful completion of the course, the student should: (i) Be able to demonstrate sufficient understanding of the various modeling tools and techniques; (ii) Be able to model an information system using the Universal Modeling Language (UML); (iii) Be able to model business processes; (iv) Select a suitable modeling language based on the context; and (v) Be able to evaluate the quality of models using model checking tools and formal methods