lecture 1 introduction
play

Lecture 1: Introduction 2015-10-20 Prof. Dr. Andreas Podelski, Dr. - PowerPoint PPT Presentation

Jan 15, 2024 •38 likes •98 views

Software Design, Modelling and Analysis in UML Motivation and Context Lecture 1: Introduction 2015-10-20 Prof. Dr. Andreas Podelski, Dr. Bernd Westphal 1 2015-10-20 main 1 2015-10-20 main

  1. Software Design, Modelling and Analysis in UML Motivation and Context Lecture 1: Introduction 2015-10-20 Prof. Dr. Andreas Podelski, Dr. Bernd Westphal – 1 – 2015-10-20 – main – – 1 – 2015-10-20 – main – Albert-Ludwigs-Universit¨ at Freiburg, Germany 2 /36 Recall: Model Definition. [Folk] A model is an abstract, formal, mathematical representation or description of structure or behaviour of a (software) system. Definition. (Glinz, 2008, 425) A model is a concrete or mental image (Abbild) of something or a concrete or mental archetype (Vorbild) for something. Three properties are constituent: (i) the image attribute (Abbildungsmerkmal), i.e. there is an entity (called original) whose image or archetype the model is, – 1 – 2015-10-20 – Smotivation – (ii) the reduction attribute (Verk¨ urzungsmerkmal), i.e. only those attributes of the original that are relevant in the modelling context are represented, (iii) the pragmatic attribute, i.e. the model is built in a specific context for a specific purpose. 5 /36

  2. One Software Modelling Language: UML (OMG, 2011b, 694) OCL Diagram Structure Behavior Diagram Diagram Component Object Activity State Machine Class Diagram Use Case Diagram Diagram Diagram Diagram Diagram Composite Deployment Package Interaction Structure Diagram Diagram Diagram Diagram Profile Diagram Interaction Sequence Overview – 1 – 2015-10-20 – Smotivation – Diagram Diagram Communication Timing Diagram Diagram Dobing and Parsons (2006) 8 /36 (Our) Premises for Using a Software Modelling Language (Our) Premises for Using a Software Modelling Language (Our) Premises for Using a Software Modelling Language E/ ✘ ✘ (i) We want to know D (i) We want to know D (i) We want to know D : C : C : C x : Int x : Int x : Int how the words of the language look like : Syntax . E/ how the words of the language look like : Syntax . how the words of the language look like : Syntax . E/ s 3 s 3 s 3 (In UML: when is a diagram a proper state machine?) (In UML: when is a diagram a proper state machine?) (In UML: when is a diagram a proper state machine?) (ii) We want to know • s 1 • what a word of the language means : Semantics . E/ • s 5 s 2 (In UML: can sending event E and then G kill the object?) • E/ s 3 F/ s 6 s 8 G/ → then we can formally analyse the model, e.g., F/ s 4 prove that the design satisfies the requirements, simulate the model, automatically generate test cases, [ true ] / generate code, etc. F/ s 7 – 1 – 2015-10-20 – Smotivation – – 1 – 2015-10-20 – Smotivation – – 1 – 2015-10-20 – Smotivation – • UML is sometimes (neutrally, or as offence) called “semi-formal” : the UML standard OMG (2011a,b) is strong on (i), but weak(er) on (ii). (“the diagram is self-explanatory”, “everybody understands the diagram” — No.) • In the lecture : study the (!) syntax , define one (!) semantics . 9 /36 9 /36 9 /36

Recommend

Introduction to Numerical Optimization Biostatistics 615/815 Lecture 14 Lecture 14 Course is

Introduction to Numerical Optimization Biostatistics 615/815 Lecture 14 Lecture 14 Course is

Introduction to Numerical Optimization Biostatistics 615/815 Lecture 14 Lecture 14 Course is More Than Half Done! If you have comments they are very welcome y y Lectures Lecture notes Weekly Homework Midterm

795 views • 42 slides
Introduction to AI & Intelligent Agents This Lecture Chapters 1 and 2 Next Lecture

Introduction to AI & Intelligent Agents This Lecture Chapters 1 and 2 Next Lecture

Introduction to AI & Intelligent Agents This Lecture Chapters 1 and 2 Next Lecture Chapter 3.1 to 3.4 (Please read lecture topic material before and after each lecture on that topic) What is Artificial Intelligence? Thought

636 views • 31 slides
CSC321 Lecture 1: Introduction Roger Grosse Roger Grosse CSC321 Lecture 1: Introduction 1 / 29

CSC321 Lecture 1: Introduction Roger Grosse Roger Grosse CSC321 Lecture 1: Introduction 1 / 29

CSC321 Lecture 1: Introduction Roger Grosse Roger Grosse CSC321 Lecture 1: Introduction 1 / 29 What is machine learning? For many problems, its difficult to program the correct behavior by hand recognizing people and objects

474 views • 35 slides
CSC2541 Lecture 1 Introduction Roger Grosse Roger Grosse CSC2541 Lecture 1 Introduction 1 / 36

CSC2541 Lecture 1 Introduction Roger Grosse Roger Grosse CSC2541 Lecture 1 Introduction 1 / 36

CSC2541 Lecture 1 Introduction Roger Grosse Roger Grosse CSC2541 Lecture 1 Introduction 1 / 36 Motivation Recent success stories of machine learning, and neural nets in particular But our algorithms still struggle with a decades-old

876 views • 49 slides
CSC321 Lecture 1: Introduction Roger Grosse Roger Grosse CSC321 Lecture 1: Introduction 1 / 26

CSC321 Lecture 1: Introduction Roger Grosse Roger Grosse CSC321 Lecture 1: Introduction 1 / 26

CSC321 Lecture 1: Introduction Roger Grosse Roger Grosse CSC321 Lecture 1: Introduction 1 / 26 What is machine learning? For many problems, its difficult to program the correct behavior by hand recognizing people and objects

451 views • 31 slides
Lecture Capture Introduction to Lecture Capture Learning Outcomes What will lecture capture

Lecture Capture Introduction to Lecture Capture Learning Outcomes What will lecture capture

ISDS & Digital Business Skills Lecture Capture Introduction to Lecture Capture Learning Outcomes What will lecture capture actually do? What happens before a lecture? What happens during a lecture? What does the button do?

527 views • 18 slides
Proteomics Steven Meinhardt Lectures Lecture 1 Introduction review of proteins

Proteomics Steven Meinhardt Lectures Lecture 1 Introduction review of proteins

11/29/2012 Proteomics Steven Meinhardt Lectures Lecture 1 Introduction review of proteins Lecture 2 Gel Electrophoresis Lecture 3 Mass Spectrometry Lecture 4 Programs for MS analysis Lecture 5 MIAPE (Minimum

900 views • 8 slides
Psycholiguistics Lecture 7 By Dr. Chelli Introduction to second language acquisition Lecture

Psycholiguistics Lecture 7 By Dr. Chelli Introduction to second language acquisition Lecture

Psycholiguistics Lecture 7 By Dr. Chelli Introduction to second language acquisition Lecture Objectives This lecture helps students to understand second language theories and how second language is processed. Introduction Second

618 views • 38 slides
1 Plan Friday Lecture 1 Introduction in 2D History Lecture 2: Mesh, 3D cases

1 Plan Friday Lecture 1 Introduction in 2D History Lecture 2: Mesh, 3D cases

1 Plan Friday Lecture 1 Introduction in 2D History Lecture 2: Mesh, 3D cases Generalities Installation procedures Tutorial 1: simple cases Syntax Saturday Example 1: Laplaces equation Lecture 4: Fluid mechanics

630 views • 38 slides
Lecture 2- Introduction to Latex (1) Lecture 0 slide 1 The objectives To strengthen the

Lecture 2- Introduction to Latex (1) Lecture 0 slide 1 The objectives To strengthen the

ECON 6009 Graduate Seminar Memorial University of Newfoundland Lecture 2- Introduction to Latex (1) Lecture 0 slide 1 The objectives To strengthen the knowledge the student gained in previous Economics modules about how to conduct

592 views • 25 slides
Lecture Outline Regeltechniek Lecture 1 Introduction Information about the course.

Lecture Outline Regeltechniek Lecture 1 Introduction Information about the course.

Lecture Outline Regeltechniek Lecture 1 Introduction Information about the course. Robert Babu ska Why is control essential. Delft Center for Systems and Control Faculty of Mechanical Engineering Basic elements of feedback.

403 views • 11 slides
Previous Lecture Introduction to SMIL 2 Introduction to W3C and XML Introduction to SMIL

Previous Lecture Introduction to SMIL 2 Introduction to W3C and XML Introduction to SMIL

Previous Lecture Introduction to SMIL 2 Introduction to W3C and XML Introduction to SMIL Writing a SMIL file Adding Media Objects Martin Halvey Clipping media files January 2008 Timing and Synchronising Layout

322 views • 8 slides
Lecture 4: Introduction to Regression CS109A Introduction to Data Science Pavlos Protopapas,

Lecture 4: Introduction to Regression CS109A Introduction to Data Science Pavlos Protopapas,

Lecture 4: Introduction to Regression CS109A Introduction to Data Science Pavlos Protopapas, Kevin Rader and Chris Tanner Background Roadmap: Lecture 1 What is Data Science? Lecture 2 Data: types, formats, issues, etc, and briefly

643 views • 45 slides
CSN08101 Digital Forensics Lecture 1A: Introduction to Forensics Lecture 1A: Introduction to

CSN08101 Digital Forensics Lecture 1A: Introduction to Forensics Lecture 1A: Introduction to

CSN08101 Digital Forensics Lecture 1A: Introduction to Forensics Lecture 1A: Introduction to Forensics Module Leader: Dr Gordon Russell Lecturers: Robert Ludwiniak Digital Forensics You will learn in this module: The principals of

1.09k views • 34 slides
T odays lecture: Introduction to objects and classes Announcements: Try to

T odays lecture: Introduction to objects and classes Announcements: Try to

Previous lecture: File I/O, sort T odays lecture: Introduction to objects and classes Announcements: Try to finish Exercise 11 during DIS section ahead of Thursdays lecture. Test 2A will be released on Canvas at

396 views • 23 slides
Lecture outline Introduction to the course Introduction to Machine Learning Least squares 3

Lecture outline Introduction to the course Introduction to Machine Learning Least squares 3

1 Introduction to Machine Learning Lecture 1: Introduction and Linear Regression Iasonas Kokkinos Iasonas.kokkinos@gmail.com University College London 2 Lecture outline Introduction to the course Introduction to Machine Learning Least

1.15k views • 95 slides
CISC883: LECTURE 1 INTRODUCTION TO ULSS Cor-Paul Bezemer 2 Todays lecture Course

CISC883: LECTURE 1 INTRODUCTION TO ULSS Cor-Paul Bezemer 2 Todays lecture Course

CISC883: LECTURE 1 INTRODUCTION TO ULSS Cor-Paul Bezemer 2 Todays lecture Course summary Introduction to ULSS 3 Course Summary Course Notes: Ultra-Large-Scale Systems: The Software Challenge of the Future, Linda Northrop

1.21k views • 43 slides
Introduction CSCE CSCE 496/896 496/896 Lecture 9: Lecture 9: word2vec and word2vec and To

Introduction CSCE CSCE 496/896 496/896 Lecture 9: Lecture 9: word2vec and word2vec and To

Introduction CSCE CSCE 496/896 496/896 Lecture 9: Lecture 9: word2vec and word2vec and To apply recurrent architectures to text (e.g., NLM), CSCE 496/896 Lecture 9: node2vec node2vec need numeric representation of words Stephen Scott

394 views • 4 slides
LECTURE 4 LECTURE 4 Introduction to the Parton Model and Perturbative QCD Fred Olness (SMU)

LECTURE 4 LECTURE 4 Introduction to the Parton Model and Perturbative QCD Fred Olness (SMU)

CTEQ-MCnet school on QCD Analysis and Phenomenology and the Physics and Techniques of Event Generators LECTURE 4 LECTURE 4 Introduction to the Parton Model and Perturbative QCD Fred Olness (SMU) Lauterbad (Black Forest), Germany 26 July -

754 views • 46 slides
Lecture 1 - Introduction Welcome! , = (, ) ,

Lecture 1 - Introduction Welcome! , = (, ) ,

INFOMAGR Advanced Graphics Jacco Bikker - November 2019 - February 2020 Lecture 1 - Introduction Welcome! , = (, ) , + , , ,

659 views • 41 slides
Lecture 1 - Introduction Welcome! , = (, ) ,

Lecture 1 - Introduction Welcome! , = (, ) ,

INFOMAGR Advanced Graphics Jacco Bikker - November 2016 - February 2017 Lecture 1 - Introduction Welcome! , = (, ) , + , , ,

1.04k views • 49 slides
Lecture 01: Introduction 2014-04-29 Dr. Bernd Westphal 01 2014-04-29 main

Lecture 01: Introduction 2014-04-29 Dr. Bernd Westphal 01 2014-04-29 main

Real-Time Systems Lecture 01: Introduction 2014-04-29 Dr. Bernd Westphal 01 2014-04-29 main Albert-Ludwigs-Universit at Freiburg, Germany Contents & Goals Last Lecture: ./. This Lecture: Educational Objectives:

1.07k views • 20 slides
Lecture 01: Introduction 2014-04-29 Dr. Bernd Westphal 01 2014-04-29 main

Lecture 01: Introduction 2014-04-29 Dr. Bernd Westphal 01 2014-04-29 main

Real-Time Systems Lecture 01: Introduction 2014-04-29 Dr. Bernd Westphal 01 2014-04-29 main Albert-Ludwigs-Universit at Freiburg, Germany Contents & Goals Last Lecture: ./. This Lecture: Educational Objectives:

766 views • 40 slides
Lecture 1 Andreas Habegger Introduction Zynq Introduction Zynq Introduction Zynq PS vs. PL

Lecture 1 Andreas Habegger Introduction Zynq Introduction Zynq Introduction Zynq PS vs. PL

Introduction Zynq Lecture 1 Andreas Habegger Introduction Zynq Introduction Zynq Introduction Zynq PS vs. PL Processing System Processor Peripherals Data Buses AXI Bus Conclusion BTE5380 - Embedded Systems Octobre 2014 Andreas Habegger

1.81k views • 30 slides

More recommend