Tony Hoare ¢ Turing Award 1980 ¢ Program Verification ¢ Algol 60 ¢ Axiomatic Semantics ¢ Floyd-Hoare Logic ¢ Concurrent Programs ¢ Communicating Sequential.

Slides:

Advertisements

Similar presentations

Chapter 4 - Object-Oriented Analysis and Design in a Nutshell1 Chapter 4 Object-Oriented Analysis and Design in a Nutshell.

Advertisements

A Brief Introduction. Acknowledgements  The material in this tutorial is based in part on: Concurrency: State Models & Java Programming, by Jeff Magee.

Chapter 1 Object-Oriented System Development

UML Unified Modeling Language Basic Concepts. UML What is the UML*? UML stands for Unified Modeling Language The UML combines the best of the best from:

UML Overview Unified Modeling Language Basic Concepts.

Lecture 11: Chapter 22 Topics –Object Oriented Modeling –UML –Use case.

Principles of Object-Oriented Software Development Unified Modeling Language.

Java Programming, 3e Concepts and Techniques Chapter 1 An Introduction to Java and Program Design.

History of UML. In the beginning… In 1965 the first object-oriented (OO) programming language, Simula I, was introduced. In 1965 the first object-oriented.

Itntroduction to UML, page 1 Introduction to UML.

1 CS 501 Spring 2002 CS 501: Software Engineering Lecture 16 Object Oriented Design I.

Andrew SuttonKent State University1 Software Modeling Andrew Sutton Department of Computer Science Kent State University.

UML and Object Oriented Concepts

Unified Modeling Language(UML) BY

Basic Concepts The Unified Modeling Language (UML) SYSC System Analysis and Design.

Java Programming, 2E Introductory Concepts and Techniques Chapter 1 An Introduction to Java and Program Design.

1COM6030 Systems Analysis and Design © University of Sheffield 2005 COM 6030 Software Analysis and Design Lecture 4 - System modelling Dr Richard Clayton.

Introduction to UML 1 Quick Tour Why do we model? What is the UML? Foundation elements Unifying concepts Language architecture Relation to other OMG technologies.

CIT UPES | Sept 2013 | Unified Modeling Language - UML.

The Software Development Life Cycle: An Overview Presented by Maxwell Drew and Dan Kaiser Southwest State University Computer Science Program.

Object Oriented Design and Programming Alan Goude Room: Sheaf 9323.

Introduction to UML by Jan Pettersen Nytun, page 1 Introduction to UML.

Introduction to UML By: Prof. Aiman Hanna Department of Computer Science, Concordia University, Montreal, Canada.

Unified Modeling Language, Version 2.0

1 SYS366 Lecture Visual Modeling and Business Use Case Diagrams.

Lecture 3: Visual Modeling & UML 1. 2 Copyright © 1997 by Rational Software Corporation Computer System Business Process Order Item Ship via “ Modeling.

Unified Modeling Language* Keng Siau University of Nebraska-Lincoln *Adapted from “Software Architecture and the UML” by Grady Booch.

CS-2852 Data Structures LECTURE 3B Andrew J. Wozniewicz Image copyright © 2010 andyjphoto.com.

16 August, 2007Information System Design IT60105, Autumn 2007 Information System Design IT60105 Lecture 7 Unified Modeling Language.

Copyright © 2013 Curt Hill UML Unified Modeling Language.

UML as a Specification Language for Embedded Systems. By, Mir Ahmed Ali, Asst. Professor, ECM department, SNIST. By, Prof. Narsiah sir, Director of School.

Slide 1 Systems Analysis and Design With UML 2.0 An Object-Oriented Approach, Second Edition Chapter 2: Introduction to Object-Oriented Systems Analysis.

Michael Schloh von Bennewitz 1. Oktober 2002 The Unified Modeling Language Overview of theory and practice of the OMG Unified Modeling.

Unified Modeling Language. Object Oriented Methods ► What are object-oriented (OO) methods?  OO methods provide a set of techniques for analyzing, decomposing,

The Unified Modeling Language (UML)

Lecture 9-1 : Intro. to UML (Unified Modeling Language)

Slide 1 Systems Analysis and Design With UML 2.0 An Object-Oriented Approach, Second Edition Chapter 2: Introduction to Object-Oriented Systems Analysis.

Practical Object-Oriented Design with UML 2e Slide 1/1 ©The McGraw-Hill Companies, 2004 PRACTICAL OBJECT-ORIENTED DESIGN WITH UML 2e Chapter 1: Introduction.

Week 04 Object Oriented Analysis and Designing. What is a model? A model is quicker and easier to build A model can be used in simulations, to learn more.

MADALINA CROITORU Software Engineering week 4 Practical Madalina Croitoru IUT Montpellier.

1 Unified Modeling Language, Version 2.0 Chapter 2.

UML Course Instructor: Rizwana Noor. Overview  Modeling  What is UML?  Why UML?  UML Diagrams  Use Case  Components  Relationships  Notations.

Object-Oriented Systems. Goals Object-Oriented Methodologies – The Rumbaugh et al. OMT – The Booch methodology – Jacobson's methodologies.

Unified OO becomes commonly used in the late 1980s Various analysis and design methods The “three amigos” join forces in Rational Software Also include.

Session 1 What Is the UML? Written by Thomas A. Pender Published by Wiley Publishing, Inc. October 5, 2011 Presented by Kang-Pyo Lee.

Object-Oriented Software Engineering Practical Software Development using UML and Java Modelling with Classes.

1 SYS366 Week 2 - Lecture 2 Visual Modeling & UML.

Basic Characteristics of Object-Oriented Systems

Itntroduction to UML, page 1 Introduction to UML.

UML. Model An abstract representation of a system. Types of model 1.Use case model 2.Domain model 3.Analysis object model 4.Implementation model 5.Test.

SWE 214 (071) Introduction to UML Slide 1 Introduction to UML.

Modified from Sommerville’s originalsSoftware Engineering, 7th edition. Chapter 14 Slide 1 Object-Oriented Design.

1 An Overview of UML. 2 The Unified Modeling Language UML is a graphical language used by software engineers to model software systems during development.

Your Interactive Guide to the Digital World Discovering Computers 2012 Chapter 13 Computer Programs and Programming Languages.

Slide 1 Unified Modeling Language, Version 2.0 Object-Oriented SAD.

Fundamentals of Object Oriented Modeling

Introduction to UML.

Evolution of UML.

Object-Oriented Modeling with UML

Systems Analysis and Design With UML 2

Object-Oriented Modeling and Design

Introduction to Unified Modeling Language (UML)

Object Oriented Systems Development

University of Central Florida COP 3330 Object Oriented Programming

Introduction to Object Oriented Analysis, Design and Unified Modeling Language (UML) Shanika Karunasekera.

Introduction to UML.

Introduction to UML.

Introduction to Computer Science for Majors II

FInal Presentation : Object Oriented Software Engineeering

Software Design Methodologies and Testing

Presentation transcript:

Tony Hoare ¢ Turing Award 1980 ¢ Program Verification ¢ Algol 60 ¢ Axiomatic Semantics ¢ Floyd-Hoare Logic ¢ Concurrent Programs ¢ Communicating Sequential Processes: CSP ¢ Microsoft: ¢ Assertions in large programs

Robin Milner ¢ Turing Award 1991 ¢ Program Verification ¢ ML ¢ Semantics of Languages ¢ SML ¢ Process Algebra ¢ CCP: Concurrent Communicating Processes ¢ Models of Interactions ¢ Mobile Agents, Pi Calculus

Java & UML ¢ Java Programming Language ¢ Unified Modelling Language ¢ Object-Oriented Analysis, Design & Implementation ¢ Software Engineering Process ¢ CASE (Computer Aided Software Engineering) Tools

Java ¢ Object-Oriented Programming Language ¢ ¢ (Java Development Kit): ¢ Virtual Machine ¢ JIT: Just In Time Compiler ¢ API: Application Program Interface ¢ JavaDoc: Program documentation ¢ Applets ¢ Servelets ¢ RMI: Remote Module Interchange

JAS: Java Application Studio ¢ JAS (April 2001) ¢ Offline analysis of HEP data ¢ Independence from data format ¢ Consistent GUI: (Graphical User Interface) ¢ User Analysis Modules ¢ Histogram & Scatterplot Display ¢

Wired: World Wide Web Interactive Remote Event Display ¢ Framework to build High Energy Physics Event Display ¢ Written in Java (JDK1.3) ¢ Version (May 2001) ¢ Open Source ¢ wired2

MassToy ¢ Theoretical Experiment on Neutrino Mass Matrices ¢ Java code ¢ Author: Juha Peltoniemi (Finland) ¢ ¢ Masud Chaichian (Professor at Helsinki) ¢ Research student of Prof. Euan Squires at Durham University (UK) in early 1970s ¢ I worked under Euan at Durham (69-71), but was too busy teaching (Electromagnetic theory)

Booch Method ¢ Object Model (Grady Booch): ¢ Abstraction ¢ Encapsulation ¢ Modularity ¢ Hierarchy ¢ Typing ¢ Concurrency ¢ Persistence ¢ Class: Booch Clouds ¢ Rational Software Corporation

OMT:Object Modeling Technique ¢ OMT (James Rumbaugh): ¢ Analysis ¢ Object Model ¢ Dynamic Model ¢ Functional Model ¢ Analysis Document ¢ System Design ¢ System Design Document ¢ Object Design ¢ Object Design Document ¢ Rational Software Corporation

OOSE: Object Oriented Soft. Eng. ¢ OOSE (Ivar Jacobson) ¢ Requirements Analysis ¢ Use Cases, Actors ¢ Analysis ¢ Interface, entity, control ¢ Design ¢ Interaction, Block, Subsystem ¢ Implementation ¢ Components ¢ Testing ¢ Rational Software Corporation

UML ¢ Unified Modelling Language ¢ Unification of Booch, Rumbaugh, Jacobson, & others ¢ Notation for Object-Oriented Analysis & Design ¢ Diagrams & Texts (Specification & Constraintss) ¢ Language Extensions ¢ CASE Tools (Rose) ¢ CORBA, Components ¢ Design Patterns, Reuse ¢ OMG (Object Management Group) Standard (1.4) ¢ Semantics ?: (Use Abstract State Machine, ASM)