Mike Sarna Head of Interpretation & Design Building Greener Exhibitions.
Slide 13.1 © The McGraw-Hill Companies, 2007 Object-Oriented and Classical Software Engineering Seventh Edition, WCB/McGraw-Hill, 2007 Stephen R. Schach.
Design. Overview Design and abstraction Action-oriented design Data flow analysis Transaction analysis Data-oriented design Object-oriented design Challenges.
1 Design Xiaojun Qi. 2 Data and Actions Two aspects of a product –Actions that operate on data –Data on which actions operate The two basic ways of designing.
1 Chapter 5 Software Tools. 2 Introduction The demands of modern life require user-interface architects to build reliable, standard, safe, inexpensive,
Mathematical Modeling of Real-Time Systems
Requirements Management with Use Cases Specification of Functional Enhancements and Fault Corrections for Improved Requirements Management in a Sustainment.
Mathematical Modeling of Real-Time Systems By Manuel I. Capel-Tuñón University of Granada, Spain. [email protected] Prepared for the MAMOTEP’01 July 2001.
CS 414 - Spring 2011 CS 414 – Multimedia Systems Design Lecture 40 – Final Exam Review Session Klara Nahrstedt Spring 2011.
Formal methods Basic concepts. Introduction Just as models, formal methods is a complement to other specification methods. Standard is model-based.
CS540 Software Design Lecture 8 1 Lecture 8: Structured Design Anita S. Malik [email protected] Adapted from Schach (2004) Chapter 13 and Appendix.
Formal methods