INF by Øystein Haugen and Ketil Stølen plus assistants Atle Refsdal, Gøran Olsen

Save this PDF as:
Størrelse: px
Starte visningen fra side:

Download "INF by Øystein Haugen and Ketil Stølen plus assistants Atle Refsdal, Gøran Olsen"

Transkript

1 INF by Øystein Haugen and Ketil Stølen plus assistants Atle Refsdal, Gøran Olsen Version Sep-05 INF5150 INFUIT Haugen / Stølen 1

2 Øystein Haugen 80-81: UiO, Research assistant for Kristen Nygård 81 : IN 105 together with Bjørn Kirkerud 81-84: Norwegian Computing Center, Simula-machine 84-88: SimTech, typographical applications 88-90: ABB Technology, SDL, prototype SDL tool, ATC 89-97: SISU project, methodology, V&V, ITU 93: Engineering Real Time Systems 96: Integrated Methodology -> TIMe 96-00: Rapporteur ITU for MSC 97: Practitioners verification of SDL systems (dr. scient.) 97-03: Ericsson, NorARC 98-03: Ifi, UiO as Part time Associate Professor IN-TIME (98) IN-RTIMe (99) IN-RTIMe (2000) INFUIT (2001 og 2002) 99- : Participates in OMG wrt. UML : Responsible for UML 2.0 chapter on Interactions 04 - : Associate Professor at Ifi 2-Sep-05 INF5150 INFUIT Haugen / Stølen 2

3 Ketil Stølen Leader of Group for Quality and Security Technology at SINTEF Professor II at IFI Background from University of Manchester (4 years); Technical University Munich (5 years); Institute for Energy Technology (3 years); Norwegian Defence Research Establishment (1 year); SINTEF (5 years) PhD in formal methods Leading role in the development of the Focus method - a formal method providing the basic foundation for the refinement part of this course Lead the development of the CORAS methodology for model-based security analysis providing the basic foundation for the security part of this course Is currently managing research projects with a total budget of 35 million NOK 2-Sep-05 INF5150 INFUIT Haugen / Stølen 3

4 Atle Refsdal Education: Electrical engineer, Gjøvik Ingeniørhøyskole Master thesis in Language, Logic and Information (Språk, Logikk og Informasjon SLI) at the Faculty of Arts, University of Oslo Previous employees: Beijer Electronics, Drammen. Industrial automation/programmable Logical Controllers Computas AS, Oslo/Lysaker. Knowledge Systems Saksbehandlingssystemer. Currently employed at the Department of Informatics as a PhD student in the SARDAS project where Ketil Stølen, Øystein Haugen, Birger Møller-Pedersen and Rolv Bræk are supervisors we describe/analyze availability using UML or UML-like models Took INF-5150 in 2003 Was assistant to INF-5150 in Sep-05 INF5150 INFUIT Haugen / Stølen 4

5 Gøran K. Olsen Education: Ongoing Master, Object-orientation, modelling and languages. Supervisor Øystein Haugen. Finishes A2005 Bachelor IT/Economics Bodø University College Previous employees: Ifi, Student assistant: INF-2120 INF-1000 Bodø University College Algorithms and Data Structures (BUC) Database1 and 2 (BUC) Bjølsen Skole Took INF-5150 in Sep-05 INF5150 INFUIT Haugen / Stølen 5

6 Books and Curriculum We will produce and refer to written material to support the lectures UML 2.0 support literature: The UML Reference Manual 2nd edition and chapter from UML for Real Semantics of Interactions: Report on STAIRS The slides of the lectures will be made available on the web in Acrobat format The lectures are part of the curriculum will use the required planning pages which are at: 2-Sep-05 INF5150 INFUIT Haugen / Stølen 6

7 Goal: Unassailable IT-Systems The course INF-UIT aims at teaching the students how software is made unassailable meaning that the software is easily analyzed with respect to reliability and dependability the software is easily maintained The overall goal is to explain how practical software development can benefit from theories about state machines refinement formal reasoning modularity security and related matters 2-Sep-05 INF5150 INFUIT Haugen / Stølen 7

8 Practical details When? Friday Where? Lille Auditorium, Informatikkbygget except for 16. September when it is in Vilhelm Bjerknes Aud. 4 Language: English Exam Credits: 10 studiepoeng Form: written Grades: A - F Obligatory Exercises There will be one obligatory exercise done in groups of 5-6 The students may be asked to explain details in their solution The obligatory exercise will have two drops 2-Sep-05 INF5150 INFUIT Haugen / Stølen 8

9 Unassailable IT-Systems Unassailable? IT? Systems? 2-Sep-05 INF5150 INFUIT Haugen / Stølen 9

10 Unassailable Not assailable : not liable to doubt, attack, or question Where is this important? for all software? to some extent, but possibly less than one would like to think for some critical software telecom surveillance (of patients, of production processes) within computers themselves This course is not concerned with attacks that come from hackers towards data bases with sensitive content we are concerned with helping software to perform desirably even in unexpected situations 2-Sep-05 INF5150 INFUIT Haugen / Stølen 10

11 IT? Information Technology using computers with emphasis on practical systems with emphasis on behavior Engineering Well acknowledged and asserted techniques Creativity only when and where needed Replication of earlier efforts Pragmatics as well as theory 2-Sep-05 INF5150 INFUIT Haugen / Stølen 11

12 Systems? distributed concurrent real-time In synchrony with real life often small amounts of time for each service e.g. Automatic Train Control the actual durations may or may not be significant reactive heterogeneous complex 2-Sep-05 INF5150 INFUIT Haugen / Stølen 12

13 Lecture plan - INF-5150 Autumn Sep-05 INF5150 INFUIT Haugen / Stølen 13

14 UML 2.0 in the history of languages Hoare CSP Hoare-logic Milner CCS Jones VDM Norwegian Computing Center SIMULA (Nygaard, Dahl) FORTRAN COBOL Algol Pascal ER-model C Broy/Stølen Focus LOTOS (ISO) SDL-88 SDL-92 (ITU) Microsoft Windows Xerox PARC SmallTalk (Kay) OOA(Yourdon) Objectory (Jacobsson) Booch Apple MacIntosh OMT (Rumbaugh) Bell Labs C++ OODB SQL Corba SDL-2000 (ITU) ROOM MSC-92 (ITU) (Objectime) UML 1.x (Rational/OMG) Sun JAVA MSC-2000 (ITU) EJB Web services UML 2.0 (OMG) 2-Sep-05 INF5150 INFUIT Haugen / Stølen 14

15 The founding fathers Hoare CSP Hoare-logic Milner CCS Jones VDM Norwegian Computing Center SIMULA (Nygaard, Dahl) FORTRAN COBOL Algol Pascal ER-model C SDL-88 Conceptual base of OO: Classes LOTOS with (ISO) Inheritance, Polymorphism (virtual), Co-routines Garbage Collection Broy/Stølen Focus SDL-92 (ITU) Microsoft Windows Xerox PARC SmallTalk (Kay) OOA(Yourdon) Objectory (Jacobsson) Booch Apple MacIntosh OMT (Rumbaugh) Bell Labs C++ OODB SQL Corba SDL-2000 (ITU) ROOM MSC-92 (ITU) (Objectime) UML 1.x (Rational/OMG) Sun JAVA MSC-2000 (ITU) EJB Web services UML 2.0 (OMG) 2-Sep-05 INF5150 INFUIT Haugen / Stølen 15

16 Making OO Popular and Commercial Hoare CSP Hoare-logic Milner CCS Jones VDM Norwegian Computing Center SIMULA (Nygaard, Dahl) FORTRAN COBOL Effective Algol programming Pascal and ER-model Efficient programs: C Explicit memory control Experimental programming: Runtime checks SDL-88 Graphical in/out Broy/Stølen Focus LOTOS (ISO) SDL-92 (ITU) Microsoft Windows Xerox PARC SmallTalk (Kay) OOA(Yourdon) Objectory (Jacobsson) Booch Apple MacIntosh OMT (Rumbaugh) Bell Labs C++ OODB SQL Corba SDL-2000 (ITU) ROOM MSC-92 (ITU) (Objectime) UML 1.x (Rational/OMG) Sun JAVA MSC-2000 (ITU) EJB Web services UML 2.0 (OMG) 2-Sep-05 INF5150 INFUIT Haugen / Stølen 16

17 The Three Amigos Hoare CSP Hoare-logic Milner CCS Jones VDM Visual Language Analysis phase Standardization Norwegian Computing Center SIMULA (Nygaard, Dahl) FORTRAN COBOL Algol Pascal ER-model C Broy/Stølen Focus LOTOS (ISO) SDL-88 SDL-92 (ITU) Microsoft Windows Xerox PARC SmallTalk (Kay) OOA(Yourdon) Objectory (Jacobsson) Booch Apple MacIntosh OMT (Rumbaugh) Bell Labs C++ OODB SQL Corba SDL-2000 (ITU) ROOM MSC-92 (ITU) (Objectime) UML 1.x (Rational/OMG) Sun JAVA MSC-2000 (ITU) EJB Web services UML 2.0 (OMG) 2-Sep-05 INF5150 INFUIT Haugen / Stølen 17

18 Influences on UML 2.0 Hoare CSP Hoare-logic Milner CCS Jones VDM Class diagrams, Use Cases Norwegian Computing Center SIMULA (Nygaard, Dahl) FORTRAN COBOL Algol Pascal ER-model C SDL-88 Internal LOTOS structure (ISO) (Parts and Ports) Improved State Machines Broy/Stølen Focus SDL-92 (ITU) Microsoft Windows Xerox PARC SmallTalk (Kay) OOA(Yourdon) Objectory (Jacobsson) Booch Apple MacIntosh OMT (Rumbaugh) Bell Labs C++ OODB SQL Corba SDL-2000 (ITU) ROOM MSC-92 (ITU) (Objectime) UML 1.x (Rational/OMG) Sun JAVA MSC-2000 (ITU) Structured Sequence Diagrams UML 2.0 (OMG) 2-Sep-05 INF5150 INFUIT Haugen / Stølen 18 EJB Web services Improved Components

19 What language(s) to use? Requirements used in practice for real engineering expressive visual precise trendy Alternatives java (Sun) possibly supplied with selected libraries SDL (ITU) MSC (ITU) UML 1.x (OMG) UML 2.0 (OMG) 2-Sep-05 INF5150 INFUIT Haugen / Stølen 19

20 Why choosing UML 2.0? Pro Con UML is definitely trendy wrt. modeling languages UML is standardized by open standardization organization (OMG) UML 2.0 has most features of MSC and SDL UML 2.0 is more precise and executable than UML 1.x UML 2.0 is supported by more than one tool, and can be expressed through any drawing tool like Powerpoint, Visio, Framemaker UML 2.0 is now, UML 1.x is history soon Full UML 2.0 is probably not supported by any dedicated tool, yet Real programmers do not use modeling languages anyway 2-Sep-05 INF5150 INFUIT Haugen / Stølen 20

21 UML Diagrams UML diagrams: Use case diagram Static structure diagrams: Class / object diagram Collaboration Composite structure diagram Behavior diagrams: Sequence diagram Communication diagram State diagram Activity diagram Implementation diagrams: Component diagram Deployment diagram Use: Identifying main system functions Domain and application modeling internal structure of objects Interactions between objects Class behaviour (state oriented) Ditto (action oriented) For software structure For hardware/software structure 2-Sep-05 INF5150 INFUIT Haugen / Stølen 21

22 Class Diagram attribute Gate 0..1 name : Str actualgates AtomicFragment class composition +theconnection generalization role Int erac tionuse ident : String +themessage Message +sendmessage (from Messages) ) +receivemessage PartDecomposition n 0..n +thedec ompos edpart theconnection 1 1 Event +sendevent (from State Machines) +receiveevent 1 1..n +events{order... +thecoveredpart 0..n +theeventowner 1 Part Connector 0..n +represents 1 Lifeline +initiatingaction Interaction ActionOccurrence 1 +start +stop 1 0..n +action 1 Action (from Common Behavior) ) multiplicity association navigability 2-Sep-05 INF5150 INFUIT Haugen / Stølen 22

23 Sequence Diagram (UML 1.x corr. MSC-92) User ACSystem environment 1: code Object Lifeline 2: CardOut Message 3: OK 4: Unlock Method 2-Sep-05 INF5150 INFUIT Haugen / Stølen 23

24 Sequence Diagram (MSC-2000 in UML clothes) sd UserAccess diagram frame :User :ACSystem ref AC_UserAccess decomposition Idle interaction use ref opt EstablishAccess ("Illegal PIN") PIN OK msg("please Enter") ref OpenDoor combined fragment CardOut Idle 2-Sep-05 INF5150 INFUIT Haugen / Stølen 24

25 Collaboration diagram (UML 1.x) Communication diagram (UML 2.0) Message User 1: Code Object Sequence info 2: CardOut 3: OK ACS yst em 4: Unlock Environment 2-Sep-05 INF5150 INFUIT Haugen / Stølen 25

26 Collaborations in UML 2.0 clothes ACContext collaboration definition :User 0..* connectors :ACSystem 0..* :NewUser 1 :Supervisor state machine sd Q composite structure interaction nogame x y Timout1 / notify player, start Timer2 Timeout2 signing SignOn / start Timer1 Scissors Paper Stone Timeout2 playing Timeout1 / notify player, start Timer2 m1() m2() Play / sign player on for a new game CancelPlay StartPlay / Inform player to move, start Timer1 signedon 2-Sep-05 INF5150 INFUIT Haugen / Stølen 26

27 State Machines (UML 2.0) Start State sm Panel NoCard Cardid(cid) Transition H OneCard: GivePIN msg(t)/send(msg(t)) trigging event transition action 2-Sep-05 INF5150 INFUIT Haugen / Stølen 27

28 How important are languages? Not very important Syntactic sugar Very important Understanding through describing 2-Sep-05 INF5150 INFUIT Haugen / Stølen 28

29 Methodology A good language helps a lot but is hardly sufficient you need to know how to use the language also A good method is hard to find easy to understand easy to believe in easy to follow easy to modify easy to get positive effects easy to cheat? easy to overlook? easy to misuse? hard to evaluate? 2-Sep-05 INF5150 INFUIT Haugen / Stølen 29

30 Verification and Validation Barry Boehm, 1981: Verification: To establish the truth of correspondence between a software product and its specification (from the Latin veritas, truth ). Are we building the product right? Validation: To establish the fitness or worth of a software product for its operational mission (from the Latin valere, to be worth ). Are we building the right product? Quality process quality = meeting the specification system quality = playing the role required by the environment. Quality assurance Constructive methods that aim to generate the right results in the first place Corrective methods that aim to detect errors and make corrections. 2-Sep-05 INF5150 INFUIT Haugen / Stølen 30

31 Development model Requirements Functional requirements Refinement Non-functional requirements Risk Analysis verify Developer needs validate Design Functional design Implementation design verify Developer validate Implementation validate hardware software Owner User 2-Sep-05 INF5150 INFUIT Haugen / Stølen 31

32 Dialectic Software Development Software Development is a process of learning once you have totally understood the system you are building, it is done Learning is best achieved through conflict, not harmony discussions reveal problematic points silence hides critical errors By applying different perspectives to the system to be designed inconsistencies may appear and they must be harmonized Inconsistencies are not always errors! difference of opinion difference of understanding misunderstanding each other a result of partial knowledge Reliable systems are those that have already met challenges 2-Sep-05 INF5150 INFUIT Haugen / Stølen 32

33 STAIRS Steps To Analyze Interactions with Refinement Semantics supplementing narrowing detailing Thanks to Microsoft clipart and Restaurant Bagatelle s web-site 2-Sep-05 INF5150 INFUIT Haugen / Stølen 33

34 Refinement Refine = to free (as metal, sugar, or oil) from impurities or unwanted material here: to make more exact, to reduce the set of legal solutions in particular: to reduce the set of legal histories The role of histories Histories model system runs Specifications are modeled by sets of histories The need for a precise semantics Syntax, Semantics, Pragmatics The assumption/guarantee paradigm The assumption describes the properties of the environment in which the specified component is supposed to run The guarantee characterizes the constraints that the specified component is required to fulfill whenever the specified component is executed in an environment that satisfies the assumption 2-Sep-05 INF5150 INFUIT Haugen / Stølen 34

35 Three main notions of refinement Property refinement requirements engineering: requirements are added to the specification in the order they are captured and formalized incremental development: requirements are designed and implemented in a step-wise incremental manner Interface refinement type implementation: introducing more implementation-dependent data types change of granularity: replacing one step of interaction by several, or the other way around Conditional refinement imposing boundedness: replacing unbounded resources by implementable bounded resources change of protocol: replacing abstract communication protocols by more implementation-oriented communication protocols 2-Sep-05 INF5150 INFUIT Haugen / Stølen 35

36 Objectives for the lectures on refinement The two lectures on refinement will motivate and explain the basic instruments and principles for defining notions of refinement this includes using histories to model executions the notion of an observer understanding the assumption/guarantee principle explain the following refinement concepts in a UML setting property refinement interface refinement conditional refinement demonstrate refinement in examples 2-Sep-05 INF5150 INFUIT Haugen / Stølen 36

37 Model-based security analysis Risk analysis is a systematic use of available information to determine how often specified events may occur the magnitude of their consequences Model-based security analysis is the tight integration of state-of-the art modeling methodology in the security risk analysis process Model-based security analysis is motivated by Precision improves the quality of security analysis results Graphical UML-like diagrams are well-suited as a medium for communication between stakeholders involved in a security analysis; the danger of throwing away time and resources on misconceptions is reduced The need to formalize the assumptions on which the analysis depends; this reduces maintenance costs by increasing the possibilities for reuse Provides a basis for tight integration of security analysis in the system development process; this may considerably reduce development costs since undesirable solutions are weeded out at an early stage 2-Sep-05 INF5150 INFUIT Haugen / Stølen 37

38 Three dimensions of model-based security analysis Security analysis Precise input at the right level of abstraction Graphical OO modelling Graphical models as a medium for communication Model-based security analysis Documentation of results and assumptions 2-Sep-05 INF5150 INFUIT Haugen / Stølen 38

39 Requirements analysis versus security analysis Requirements analysis Security analysis Properties Actors Vulnerability Attacker Use Case Diagram Misuse Case Diagram guest registered user register login choose pay customer database product database crook burglary break crash customer database product database guest customer database registered user Product database Combined Use Case Diagram register burglary login break choose crash pay crook 2-Sep-05 INF5150 INFUIT Haugen / Stølen 39

40 Objectives for the lectures on security analysis classify notions of dependability introduce, motivate and explain the basic notions and principles for risk management in general and security risk analysis in particular relate risk management to system development describe the various processes involved in risk management motivate and illustrate model-based security analysis present relevant standards demonstrate the usage of concrete analysis methodology 2-Sep-05 INF5150 INFUIT Haugen / Stølen 40

41 Obligatory Exercise: Blind Group Date Meeting a group of people that you do not know based on SMS-message subscription mobile telephone positioning Trafikanten online transportation service Specify the services with Sequence Diagrams perform proper refinements Design the system with State Machines and Composite Structures prove that the system is a refinement of the requirement Perform a risk analysis of the system Execute and demonstrate the system! 2-Sep-05 INF5150 INFUIT Haugen / Stølen 41

42 Obligatory Exercise: Tools (1) Eclipse Rational Software Modeler runs on Linux as well as Windows students can obtain copies for free UML to JavaFrame transformer as plug-in to RSM push a button executable UML! (Asbjørn Willersrud) Supplied interfaces to PATS-lab for SMS-sending and positioning Use only Telenor subscription mobiles! Trafikanten online database 2-Sep-05 INF5150 INFUIT Haugen / Stølen 42

43 Obligatory Exercise: Tools (2) The CORAS-tool available as open source (LGPLlicense): Based on other open software (Apache Cocoon, exist XML database) 2-Sep-05 INF5150 INFUIT Haugen / Stølen 43

44 Obligatory exercise: Procedures Project groups we put them together in a couple of weeks Drop 1: Mandatory guidance by the assistants Hard deadline at Presentation with projector Criticism by another group (written) and by the assistants Public grading by lecturers but this has no effect on the final grade Drop 2: A baseline is given by the assistants otherwise it is very much the same story as Drop 1 2-Sep-05 INF5150 INFUIT Haugen / Stølen 44

45 INFUIT () in a nutshell Modeling with UML 2.0 Software engineering of reactive systems Formal techniques Model-based security analysis 2-Sep-05 INF5150 INFUIT Haugen / Stølen 45

2a. Conceptual Modeling Methods

2a. Conceptual Modeling Methods ICT Enhanced Buildings Potentials IKT og Videnrepræsentationer - ICT and Knowledge Representations. 2a. Conceptual Modeling Methods Cand. Scient. Bygningsinformatik. Semester 2, 2010. CONTENT Conceptual

Læs mere

Byg din informationsarkitektur ud fra en velafprøvet forståelsesramme The Open Group Architecture Framework (TOGAF)

Byg din informationsarkitektur ud fra en velafprøvet forståelsesramme The Open Group Architecture Framework (TOGAF) Byg din informationsarkitektur ud fra en velafprøvet forståelsesramme The Open Group Framework (TOGAF) Otto Madsen Director of Enterprise Agenda TOGAF og informationsarkitektur på 30 min 1. Introduktion

Læs mere

Engelsk. Niveau C. De Merkantile Erhvervsuddannelser September 2005. Casebaseret eksamen. www.jysk.dk og www.jysk.com.

Engelsk. Niveau C. De Merkantile Erhvervsuddannelser September 2005. Casebaseret eksamen. www.jysk.dk og www.jysk.com. 052430_EngelskC 08/09/05 13:29 Side 1 De Merkantile Erhvervsuddannelser September 2005 Side 1 af 4 sider Casebaseret eksamen Engelsk Niveau C www.jysk.dk og www.jysk.com Indhold: Opgave 1 Presentation

Læs mere

Black Jack --- Review. Spring 2012

Black Jack --- Review. Spring 2012 Black Jack --- Review Spring 2012 Simulation Simulation can solve real-world problems by modeling realworld processes to provide otherwise unobtainable information. Computer simulation is used to predict

Læs mere

SOFTWARE PROCESSES. Dorte, Ida, Janne, Nikolaj, Alexander og Erla

SOFTWARE PROCESSES. Dorte, Ida, Janne, Nikolaj, Alexander og Erla SOFTWARE PROCESSES Dorte, Ida, Janne, Nikolaj, Alexander og Erla Hvad er en software proces? Et struktureret sæt af AKTIVITETER, hvis mål er udvikling af software. En software proces model er en abstrakt

Læs mere

Privat-, statslig- eller regional institution m.v. Andet Added Bekaempelsesudfoerende: string No Label: Bekæmpelsesudførende

Privat-, statslig- eller regional institution m.v. Andet Added Bekaempelsesudfoerende: string No Label: Bekæmpelsesudførende Changes for Rottedatabasen Web Service The coming version of Rottedatabasen Web Service will have several changes some of them breaking for the exposed methods. These changes and the business logic behind

Læs mere

Engelsk. Niveau D. De Merkantile Erhvervsuddannelser September Casebaseret eksamen. og

Engelsk. Niveau D. De Merkantile Erhvervsuddannelser September Casebaseret eksamen.  og 052431_EngelskD 08/09/05 13:29 Side 1 De Merkantile Erhvervsuddannelser September 2005 Side 1 af 4 sider Casebaseret eksamen Engelsk Niveau D www.jysk.dk og www.jysk.com Indhold: Opgave 1 Presentation

Læs mere

Basic statistics for experimental medical researchers

Basic statistics for experimental medical researchers Basic statistics for experimental medical researchers Sample size calculations September 15th 2016 Christian Pipper Department of public health (IFSV) Faculty of Health and Medicinal Science (SUND) E-mail:

Læs mere

Lovkrav vs. udvikling af sundhedsapps

Lovkrav vs. udvikling af sundhedsapps Lovkrav vs. udvikling af sundhedsapps Health apps give patients better control User Data Social media Pharma Products User behaviour Relatives www Self monitoring (app) data extract Healthcare specialists

Læs mere

PARALLELIZATION OF ATTILA SIMULATOR WITH OPENMP MIGUEL ÁNGEL MARTÍNEZ DEL AMOR MINIPROJECT OF TDT24 NTNU

PARALLELIZATION OF ATTILA SIMULATOR WITH OPENMP MIGUEL ÁNGEL MARTÍNEZ DEL AMOR MINIPROJECT OF TDT24 NTNU PARALLELIZATION OF ATTILA SIMULATOR WITH OPENMP MIGUEL ÁNGEL MARTÍNEZ DEL AMOR MINIPROJECT OF TDT24 NTNU OUTLINE INEFFICIENCY OF ATTILA WAYS TO PARALLELIZE LOW COMPATIBILITY IN THE COMPILATION A SOLUTION

Læs mere

IBM Network Station Manager. esuite 1.5 / NSM Integration. IBM Network Computer Division. tdc - 02/08/99 lotusnsm.prz Page 1

IBM Network Station Manager. esuite 1.5 / NSM Integration. IBM Network Computer Division. tdc - 02/08/99 lotusnsm.prz Page 1 IBM Network Station Manager esuite 1.5 / NSM Integration IBM Network Computer Division tdc - 02/08/99 lotusnsm.prz Page 1 New esuite Settings in NSM The Lotus esuite Workplace administration option is

Læs mere

Project Step 7. Behavioral modeling of a dual ported register set. 1/8/ L11 Project Step 5 Copyright Joanne DeGroat, ECE, OSU 1

Project Step 7. Behavioral modeling of a dual ported register set. 1/8/ L11 Project Step 5 Copyright Joanne DeGroat, ECE, OSU 1 Project Step 7 Behavioral modeling of a dual ported register set. Copyright 2006 - Joanne DeGroat, ECE, OSU 1 The register set Register set specifications 16 dual ported registers each with 16- bit words

Læs mere

Tilmelding sker via stads selvbetjening indenfor annonceret tilmeldingsperiode, som du kan se på Studieadministrationens hjemmeside

Tilmelding sker via stads selvbetjening indenfor annonceret tilmeldingsperiode, som du kan se på Studieadministrationens hjemmeside Mandatory Core Topic: BUITA Om kurset Subject Activitytype Teaching language Registration Informatik master course English Tilmelding sker via stads selvbetjening indenfor annonceret tilmeldingsperiode,

Læs mere

Portal Registration. Check Junk Mail for activation . 1 Click the hyperlink to take you back to the portal to confirm your registration

Portal Registration. Check Junk Mail for activation  . 1 Click the hyperlink to take you back to the portal to confirm your registration Portal Registration Step 1 Provide the necessary information to create your user. Note: First Name, Last Name and Email have to match exactly to your profile in the Membership system. Step 2 Click on the

Læs mere

IBM Software Group. SOA v akciji. Srečko Janjić WebSphere Business Integration technical presales IBM Software Group, CEMA / SEA IBM Corporation

IBM Software Group. SOA v akciji. Srečko Janjić WebSphere Business Integration technical presales IBM Software Group, CEMA / SEA IBM Corporation IBM Software Group SOA v akciji Srečko Janjić Business Integration technical presales IBM Software Group, CEMA / SEA Service Oriented Architecture Design principles and technology for building reusable,

Læs mere

Teknologispredning i sundhedsvæsenet DK ITEK: Sundhedsteknologi som grundlag for samarbejde og forretningsudvikling

Teknologispredning i sundhedsvæsenet DK ITEK: Sundhedsteknologi som grundlag for samarbejde og forretningsudvikling Teknologispredning i sundhedsvæsenet DK ITEK: Sundhedsteknologi som grundlag for samarbejde og forretningsudvikling 6.5.2009 Jacob Schaumburg-Müller jacobs@microsoft.com Direktør, politik og strategi Microsoft

Læs mere

CHAPTER 8: USING OBJECTS

CHAPTER 8: USING OBJECTS Ruby: Philosophy & Implementation CHAPTER 8: USING OBJECTS Introduction to Computer Science Using Ruby Ruby is the latest in the family of Object Oriented Programming Languages As such, its designer studied

Læs mere

Richter 2013 Presentation Mentor: Professor Evans Philosophy Department Taylor Henderson May 31, 2013

Richter 2013 Presentation Mentor: Professor Evans Philosophy Department Taylor Henderson May 31, 2013 Richter 2013 Presentation Mentor: Professor Evans Philosophy Department Taylor Henderson May 31, 2013 OVERVIEW I m working with Professor Evans in the Philosophy Department on his own edition of W.E.B.

Læs mere

Small Autonomous Devices in civil Engineering. Uses and requirements. By Peter H. Møller Rambøll

Small Autonomous Devices in civil Engineering. Uses and requirements. By Peter H. Møller Rambøll Small Autonomous Devices in civil Engineering Uses and requirements By Peter H. Møller Rambøll BACKGROUND My Background 20+ years within evaluation of condition and renovation of concrete structures Last

Læs mere

Bilag. Resume. Side 1 af 12

Bilag. Resume. Side 1 af 12 Bilag Resume I denne opgave, lægges der fokus på unge og ensomhed gennem sociale medier. Vi har i denne opgave valgt at benytte Facebook som det sociale medie vi ligger fokus på, da det er det største

Læs mere

Observation Processes:

Observation Processes: Observation Processes: Preparing for lesson observations, Observing lessons Providing formative feedback Gerry Davies Faculty of Education Preparing for Observation: Task 1 How can we help student-teachers

Læs mere

Vina Nguyen HSSP July 13, 2008

Vina Nguyen HSSP July 13, 2008 Vina Nguyen HSSP July 13, 2008 1 What does it mean if sets A, B, C are a partition of set D? 2 How do you calculate P(A B) using the formula for conditional probability? 3 What is the difference between

Læs mere

Design til digitale kommunikationsplatforme-f2013

Design til digitale kommunikationsplatforme-f2013 E-travellbook Design til digitale kommunikationsplatforme-f2013 ITU 22.05.2013 Dreamers Lana Grunwald - svetlana.grunwald@gmail.com Iya Murash-Millo - iyam@itu.dk Hiwa Mansurbeg - hiwm@itu.dk Jørgen K.

Læs mere

The X Factor. Målgruppe. Læringsmål. Introduktion til læreren klasse & ungdomsuddannelser Engelskundervisningen

The X Factor. Målgruppe. Læringsmål. Introduktion til læreren klasse & ungdomsuddannelser Engelskundervisningen The X Factor Målgruppe 7-10 klasse & ungdomsuddannelser Engelskundervisningen Læringsmål Eleven kan give sammenhængende fremstillinger på basis af indhentede informationer Eleven har viden om at søge og

Læs mere

Projektledelse i praksis

Projektledelse i praksis Projektledelse i praksis - Hvordan skaber man (grundlaget) for gode beslutninger? Martin Malis Business Consulting, NNIT mtmi@nnit.com 20. maj, 2010 Agenda Project Governance Portfolio Management Project

Læs mere

Unitel EDI MT940 June 2010. Based on: SWIFT Standards - Category 9 MT940 Customer Statement Message (January 2004)

Unitel EDI MT940 June 2010. Based on: SWIFT Standards - Category 9 MT940 Customer Statement Message (January 2004) Unitel EDI MT940 June 2010 Based on: SWIFT Standards - Category 9 MT940 Customer Statement Message (January 2004) Contents 1. Introduction...3 2. General...3 3. Description of the MT940 message...3 3.1.

Læs mere

Linear Programming ١ C H A P T E R 2

Linear Programming ١ C H A P T E R 2 Linear Programming ١ C H A P T E R 2 Problem Formulation Problem formulation or modeling is the process of translating a verbal statement of a problem into a mathematical statement. The Guidelines of formulation

Læs mere

Forventer du at afslutte uddannelsen/har du afsluttet/ denne sommer?

Forventer du at afslutte uddannelsen/har du afsluttet/ denne sommer? Kandidatuddannelsen i Informationsvidenskab - Aalborg 2 respondenter 5 spørgeskemamodtagere Svarprocent: 40% Forventer du at afslutte uddannelsen/har du afsluttet/ denne sommer? I hvilken grad har uddannelsen

Læs mere

Nyhedsbrev 15 Februar 2008

Nyhedsbrev 15 Februar 2008 Nyhedsbrev 15 Februar 2008 FTU Boghandel Halmstadgade 6, 8200 Århus N Tlf: 86 10 03 38 / Mail:ftu@ats.dk / Inet: www.ftu.dk Hvem er FTU Boghandel? FTU Boghandel er en specialboghandel indenfor teknik,

Læs mere

Forventer du at afslutte uddannelsen/har du afsluttet/ denne sommer?

Forventer du at afslutte uddannelsen/har du afsluttet/ denne sommer? Kandidatuddannelsen i Informationsarkitektur - Aalborg 3 respondenter 10 spørgeskemamodtagere Svarprocent: 30% Forventer du at afslutte uddannelsen/har du afsluttet/ denne sommer? I hvilken grad har uddannelsen

Læs mere

Procuring sustainable refurbishment

Procuring sustainable refurbishment SURE den 21. marts 2012 Procuring sustainable refurbishment Niels-Arne Jensen, Copenhagen City Properties (KEjd) Copenhagen Municipality KOMMUNE 1 Agenda About Copenhagen City Properties Background and

Læs mere

FACULTY OF SCIENCE :59 COURSE. BB838: Basic bioacoustics using Matlab

FACULTY OF SCIENCE :59 COURSE. BB838: Basic bioacoustics using Matlab FACULTY OF SCIENCE 01-12- 11:59 COURSE BB838: Basic bioacoustics using Matlab 28.03. Table Of Content Internal Course Code Course title ECTS value STADS ID (UVA) Level Offered in Duration Teacher responsible

Læs mere

Finn Gilling The Human Decision/ Gilling September Insights Danmark 2012 Hotel Scandic Aarhus City

Finn Gilling The Human Decision/ Gilling September Insights Danmark 2012 Hotel Scandic Aarhus City Finn Gilling The Human Decision/ Gilling 12. 13. September Insights Danmark 2012 Hotel Scandic Aarhus City At beslutte (To decide) fra latin: de`caedere, at skære fra (To cut off) Gilling er fokuseret

Læs mere

Financial Literacy among 5-7 years old children

Financial Literacy among 5-7 years old children Financial Literacy among 5-7 years old children -based on a market research survey among the parents in Denmark, Sweden, Norway, Finland, Northern Ireland and Republic of Ireland Page 1 Purpose of the

Læs mere

DET KONGELIGE BIBLIOTEK NATIONALBIBLIOTEK OG KØBENHAVNS UNIVERSITETS- BIBLIOTEK. Index

DET KONGELIGE BIBLIOTEK NATIONALBIBLIOTEK OG KØBENHAVNS UNIVERSITETS- BIBLIOTEK. Index DET KONGELIGE Index Download driver... 2 Find the Windows 7 version.... 2 Download the Windows Vista driver.... 4 Extract driver... 5 Windows Vista installation of a printer.... 7 Side 1 af 12 DET KONGELIGE

Læs mere

United Nations Secretariat Procurement Division

United Nations Secretariat Procurement Division United Nations Secretariat Procurement Division Vendor Registration Overview Higher Standards, Better Solutions The United Nations Global Marketplace (UNGM) Why Register? On-line registration Free of charge

Læs mere

The Maersk Mc-Kinney Moller Institute Staff Meeting

The Maersk Mc-Kinney Moller Institute Staff Meeting The Maersk Mc-Kinney Moller Institute Staff Meeting April. 9. 2010 Det Tekniske Fakultet Staff Meeting Agenda, April 9th. 2010 Coffee and breakfast rolls Research and Development Experiences Initiating

Læs mere

Generalized Probit Model in Design of Dose Finding Experiments. Yuehui Wu Valerii V. Fedorov RSU, GlaxoSmithKline, US

Generalized Probit Model in Design of Dose Finding Experiments. Yuehui Wu Valerii V. Fedorov RSU, GlaxoSmithKline, US Generalized Probit Model in Design of Dose Finding Experiments Yuehui Wu Valerii V. Fedorov RSU, GlaxoSmithKline, US Outline Motivation Generalized probit model Utility function Locally optimal designs

Læs mere

X M Y. What is mediation? Mediation analysis an introduction. Definition

X M Y. What is mediation? Mediation analysis an introduction. Definition What is mediation? an introduction Ulla Hvidtfeldt Section of Social Medicine - Investigate underlying mechanisms of an association Opening the black box - Strengthen/support the main effect hypothesis

Læs mere

ECE 551: Digital System * Design & Synthesis Lecture Set 5

ECE 551: Digital System * Design & Synthesis Lecture Set 5 ECE 551: Digital System * Design & Synthesis Lecture Set 5 5.1: Verilog Behavioral Model for Finite State Machines (FSMs) 5.2: Verilog Simulation I/O and 2001 Standard (In Separate File) 3/4/2003 1 ECE

Læs mere

Danish Language Course for International University Students Copenhagen, 12 July 1 August Application form

Danish Language Course for International University Students Copenhagen, 12 July 1 August Application form Danish Language Course for International University Students Copenhagen, 12 July 1 August 2017 Application form Must be completed on the computer in Danish or English All fields are mandatory PERSONLIGE

Læs mere

Den nye Eurocode EC Geotenikerdagen Morten S. Rasmussen

Den nye Eurocode EC Geotenikerdagen Morten S. Rasmussen Den nye Eurocode EC1997-1 Geotenikerdagen Morten S. Rasmussen UDFORDRINGER VED EC 1997-1 HVAD SKAL VI RUNDE - OPBYGNINGEN AF DE NYE EUROCODES - DE STØRSTE UDFORDRINGER - ER DER NOGET POSITIVT? 2 OPBYGNING

Læs mere

Managing stakeholders on major projects. - Learnings from Odense Letbane. Benthe Vestergård Communication director Odense Letbane P/S

Managing stakeholders on major projects. - Learnings from Odense Letbane. Benthe Vestergård Communication director Odense Letbane P/S Managing stakeholders on major projects - Learnings from Odense Letbane Benthe Vestergård Communication director Odense Letbane P/S Light Rail Day, Bergen 15 November 2016 Slide om Odense Nedenstående

Læs mere

MOC On-Demand Identity with Windows Server 2016 [20742]

MOC On-Demand Identity with Windows Server 2016 [20742] E-learning 90 dage DKK 7.999 Nr. 89067 P ekskl. moms Dato Sted 29-12-2019 Virtuelt kursus MOC On-Demand Identity with Windows Server 2016 [20742] Online undervisning når det passer dig MOC On-Demand er

Læs mere

MSE PRESENTATION 2. Presented by Srunokshi.Kaniyur.Prema. Neelakantan Major Professor Dr. Torben Amtoft

MSE PRESENTATION 2. Presented by Srunokshi.Kaniyur.Prema. Neelakantan Major Professor Dr. Torben Amtoft CAPABILITY CONTROL LIST MSE PRESENTATION 2 Presented by Srunokshi.Kaniyur.Prema. Neelakantan Major Professor Dr. Torben Amtoft PRESENTATION OUTLINE Action items from phase 1 presentation tti Architecture

Læs mere

Det er muligt at chekce følgende opg. i CodeJudge: og

Det er muligt at chekce følgende opg. i CodeJudge: og Det er muligt at chekce følgende opg. i CodeJudge:.1.7 og.1.14 Exercise 1: Skriv en forløkke, som producerer følgende output: 1 4 9 16 5 36 Bonusopgave: Modificer dit program, så det ikke benytter multiplikation.

Læs mere

Danish Language Course for Foreign University Students Copenhagen, 13 July 2 August 2016 Advanced, medium and beginner s level.

Danish Language Course for Foreign University Students Copenhagen, 13 July 2 August 2016 Advanced, medium and beginner s level. Danish Language Course for Foreign University Students Copenhagen, 13 July 2 August 2016 Advanced, medium and beginner s level Application form Must be completed on the computer in Danish or English All

Læs mere

Knowledge FOr Resilient

Knowledge FOr Resilient Date: 26.04.2017 Place: Aalborg University Knowledge FOr Resilient society LLL modalities at DTU Danmarks Technical University Department of Civil Engineering Section for Building Design Fire Safety Group

Læs mere

Vores mange brugere på musskema.dk er rigtig gode til at komme med kvalificerede ønsker og behov.

Vores mange brugere på musskema.dk er rigtig gode til at komme med kvalificerede ønsker og behov. På dansk/in Danish: Aarhus d. 10. januar 2013/ the 10 th of January 2013 Kære alle Chefer i MUS-regi! Vores mange brugere på musskema.dk er rigtig gode til at komme med kvalificerede ønsker og behov. Og

Læs mere

Health surveys. Supervision (much more) from the patients perspective. Charlotte Hjort Head of dep., MD, ph.d., MPG

Health surveys. Supervision (much more) from the patients perspective. Charlotte Hjort Head of dep., MD, ph.d., MPG Health surveys Supervision (much more) from the patients perspective Charlotte Hjort Head of dep., MD, ph.d., MPG 8.10.2018 The story 2002 Act on surveys at all nursing homes (frequentbased surveys) 600-800

Læs mere

DSB s egen rejse med ny DSB App. Rubathas Thirumathyam Principal Architect Mobile

DSB s egen rejse med ny DSB App. Rubathas Thirumathyam Principal Architect Mobile DSB s egen rejse med ny DSB App Rubathas Thirumathyam Principal Architect Mobile Marts 2018 AGENDA 1. Ny App? Ny Silo? 2. Kunden => Kunderne i centrum 1 Ny app? Ny silo? 3 Mødetitel Velkommen til Danske

Læs mere

GUIDE TIL BREVSKRIVNING

GUIDE TIL BREVSKRIVNING GUIDE TIL BREVSKRIVNING APPELBREVE Formålet med at skrive et appelbrev er at få modtageren til at overholde menneskerettighederne. Det er en god idé at lægge vægt på modtagerens forpligtelser over for

Læs mere

Den uddannede har viden om: Den uddannede kan:

Den uddannede har viden om: Den uddannede kan: Den uddannede har viden om: Den uddannede kan: Den uddannede kan: Den studerende har udviklingsbaseret viden om og forståelse for Den studerende kan Den studerende kan Den studerende har udviklingsbaseret

Læs mere

From innovation to market

From innovation to market Nupark Accelerace From innovation to market Public money Accelerace VC Private Equity Stock market Available capital BA 2 What is Nupark Accelerace Hands-on investment and business developmentprograms

Læs mere

User Manual for LTC IGNOU

User Manual for LTC IGNOU User Manual for LTC IGNOU 1 LTC (Leave Travel Concession) Navigation: Portal Launch HCM Application Self Service LTC Self Service 1. LTC Advance/Intimation Navigation: Launch HCM Application Self Service

Læs mere

Improving data services by creating a question database. Nanna Floor Clausen Danish Data Archives

Improving data services by creating a question database. Nanna Floor Clausen Danish Data Archives Improving data services by creating a question database Nanna Floor Clausen Danish Data Archives Background Pressure on the students Decrease in response rates The users want more Why a question database?

Læs mere

INTEL INTRODUCTION TO TEACHING AND LEARNING AARHUS UNIVERSITET

INTEL INTRODUCTION TO TEACHING AND LEARNING AARHUS UNIVERSITET INTEL INTRODUCTION TO TEACHING AND LEARNING 8 BÆRENDE PRINCIPPER 1-4: BÆREDYGTIGT OG FLEKSIBELT Billigt Nemt at administrere Skalérbart Fleksibelt 5: RELEVANT Indhold organiseret i themes 6: EKSEMPLARISK

Læs mere

Status of & Budget Presentation. December 11, 2018

Status of & Budget Presentation. December 11, 2018 Status of 2018-19 & 2019-20 Budget Presentation December 11, 2018 1 Challenges & Causes $5.2M+ Shortfall does not include potential future enrollment decline or K-3 Compliance. Data included in presentation

Læs mere

Vendor Management Strategies for Managing Your Outsource Relationships

Vendor Management Strategies for Managing Your Outsource Relationships Vendor Management Strategies for Managing Your Outsource Relationships Scott C. Lessard Sr. Program Manager, Global Support Agenda 2008 NetApp. All rights reserved. 2 Vendor Selection 4 Steps to Vendor

Læs mere

Agenda. The need to embrace our complex health care system and learning to do so. Christian von Plessen Contributors to healthcare services in Denmark

Agenda. The need to embrace our complex health care system and learning to do so. Christian von Plessen Contributors to healthcare services in Denmark Agenda The need to embrace our complex health care system and learning to do so. Christian von Plessen Contributors to healthcare services in Denmark Colitis and Crohn s association Denmark. Charlotte

Læs mere

E-PAD Bluetooth hængelås E-PAD Bluetooth padlock E-PAD Bluetooth Vorhängeschloss

E-PAD Bluetooth hængelås E-PAD Bluetooth padlock E-PAD Bluetooth Vorhängeschloss E-PAD Bluetooth hængelås E-PAD Bluetooth padlock E-PAD Bluetooth Vorhängeschloss Brugervejledning (side 2-6) Userguide (page 7-11) Bedienungsanleitung 1 - Hvordan forbinder du din E-PAD hængelås med din

Læs mere

Central Statistical Agency.

Central Statistical Agency. Central Statistical Agency www.csa.gov.et 1 Outline Introduction Characteristics of Construction Aim of the Survey Methodology Result Conclusion 2 Introduction Meaning of Construction Construction may

Læs mere

Eksempel på eksamensspørgsmål til caseeksamen

Eksempel på eksamensspørgsmål til caseeksamen Eksempel på eksamensspørgsmål til caseeksamen Engelsk niveau E, TIVOLI 2004/2005: in a British traveller s magazine. Make an advertisement presenting Tivoli as an amusement park. In your advertisement,

Læs mere

DK - Quick Text Translation. HEYYER Net Promoter System Magento extension

DK - Quick Text Translation. HEYYER Net Promoter System Magento extension DK - Quick Text Translation HEYYER Net Promoter System Magento extension Version 1.0 15-11-2013 HEYYER / Email Templates Invitation Email Template Invitation Email English Dansk Title Invitation Email

Læs mere

Bachelorprojekt. Forår 2013 DMD10

Bachelorprojekt. Forår 2013 DMD10 + Bachelorprojekt Forår 2013 DMD10 +! 1. Om at skrive bachelorprojekt! 2. Typer af bachelorprojekter! 3. To eksempler på DMD-projekter! 4. Overvejelser over samarbejdsformer, proces, sprog! 5. ITUs generelle

Læs mere

MOC On-Demand Administering System Center Configuration Manager [ ]

MOC On-Demand Administering System Center Configuration Manager [ ] E-learning 90 dage DKK 7.999 Nr. 90111 P ekskl. moms Dato Sted 29-12-2019 Virtuelt kursus MOC On-Demand Administering System Center Configuration Manager [20703-1] Online undervisning når det passer dig

Læs mere

Terese B. Thomsen 1.semester Formidling, projektarbejde og webdesign ITU DMD d. 02/11-2012

Terese B. Thomsen 1.semester Formidling, projektarbejde og webdesign ITU DMD d. 02/11-2012 Server side Programming Wedesign Forelæsning #8 Recap PHP 1. Development Concept Design Coding Testing 2. Social Media Sharing, Images, Videos, Location etc Integrates with your websites 3. Widgets extend

Læs mere

USERTEC USER PRACTICES, TECHNOLOGIES AND RESIDENTIAL ENERGY CONSUMPTION

USERTEC USER PRACTICES, TECHNOLOGIES AND RESIDENTIAL ENERGY CONSUMPTION USERTEC USER PRACTICES, TECHNOLOGIES AND RESIDENTIAL ENERGY CONSUMPTION P E R H E I S E L BERG I N S T I T U T F OR BYGGERI OG A N L Æ G BEREGNEDE OG FAKTISKE FORBRUG I BOLIGER Fra SBi rapport 2016:09

Læs mere

LESSON NOTES Extensive Reading in Danish for Intermediate Learners #8 How to Interview

LESSON NOTES Extensive Reading in Danish for Intermediate Learners #8 How to Interview LESSON NOTES Extensive Reading in Danish for Intermediate Learners #8 How to Interview CONTENTS 2 Danish 5 English # 8 COPYRIGHT 2019 INNOVATIVE LANGUAGE LEARNING. ALL RIGHTS RESERVED. DANISH 1. SÅDAN

Læs mere

UFM-IT and its administrative systems

UFM-IT and its administrative systems UFM-IT and its administrative systems Vis hjælpelin placering af o 1. Højre klik u Gitter og hjæ 2. Sæt hak ve Vis tegnehjæ 3. Sæt hak ve og Fastgør o 4. Vælg OK ens titel, etc menulinjen, ed / Sidefod

Læs mere

Applications. Computational Linguistics: Jordan Boyd-Graber University of Maryland RL FOR MACHINE TRANSLATION. Slides adapted from Phillip Koehn

Applications. Computational Linguistics: Jordan Boyd-Graber University of Maryland RL FOR MACHINE TRANSLATION. Slides adapted from Phillip Koehn Applications Slides adapted from Phillip Koehn Computational Linguistics: Jordan Boyd-Graber University of Maryland RL FOR MACHINE TRANSLATION Computational Linguistics: Jordan Boyd-Graber UMD Applications

Læs mere

Skriftlig Eksamen Beregnelighed (DM517)

Skriftlig Eksamen Beregnelighed (DM517) Skriftlig Eksamen Beregnelighed (DM517) Institut for Matematik & Datalogi Syddansk Universitet Mandag den 7 Januar 2008, kl. 9 13 Alle sædvanlige hjælpemidler (lærebøger, notater etc.) samt brug af lommeregner

Læs mere

Molio specifications, development and challenges. ICIS DA 2019 Portland, Kim Streuli, Molio,

Molio specifications, development and challenges. ICIS DA 2019 Portland, Kim Streuli, Molio, Molio specifications, development and challenges ICIS DA 2019 Portland, Kim Streuli, Molio, 2019-06-04 Introduction The current structure is challenged by different factors. These are for example : Complex

Læs mere

Quality indicators for clinical pharmacy services

Quality indicators for clinical pharmacy services Quality indicators for clinical pharmacy services Head of Quality and Improvement, Nordsjælland Hospital Dorthe Vilstrup Tomsen Assuring quality in clinical pharmacy services Following international, national

Læs mere

Skriftlig Eksamen Kombinatorik, Sandsynlighed og Randomiserede Algoritmer (DM528)

Skriftlig Eksamen Kombinatorik, Sandsynlighed og Randomiserede Algoritmer (DM528) Skriftlig Eksamen Kombinatorik, Sandsynlighed og Randomiserede Algoritmer (DM58) Institut for Matematik og Datalogi Syddansk Universitet, Odense Torsdag den 1. januar 01 kl. 9 13 Alle sædvanlige hjælpemidler

Læs mere

Improving Interdisciplinary Education of Anatomy, Practical Sports using Non-Profit Software

Improving Interdisciplinary Education of Anatomy, Practical Sports using Non-Profit Software Improving Interdisciplinary Education of Anatomy, Biomechanics and Practical Sports using Non-Profit Software Interdeciplinary Sports Biomechanics Anatomy How to improve interdeciplinary? Examples in biomechanics

Læs mere

Online kursus: Content Mangement System - Wordpress

Online kursus: Content Mangement System - Wordpress Online kursus 365 dage DKK 1.999 Nr. 90213 P ekskl. moms Wordpress er et open-source content management system, som anvendes af mere end 23% af verdens 10 millioner mest besøgte hjemmesider. Det er et

Læs mere

VPN VEJLEDNING TIL MAC

VPN VEJLEDNING TIL MAC VPN VEJLEDNING TIL MAC MAC OS X 1 VPN VEJLEDNING TIL MAC Formålet med en VPN forbindelse er, at du kan tilgå nogle af Aarhus Universitets services hjemmefra, som ellers kun er tilgængelige, når du er på

Læs mere

GÅ-HJEM-MØDE OM FM OG INNOVATION

GÅ-HJEM-MØDE OM FM OG INNOVATION Centre for Facilities Management, DTU DFM Netværk GÅ-HJEM-MØDE OM FM OG INNOVATION Kgs. Lyngby, 21. Mai 2015 PROGRAM Kl. 14.00-14.10: Velkomst - Per Anker Jensen, CFM Kl. 14.10-14.45: Sony og Innovation

Læs mere

Patientinddragelse i forskning. Lars Henrik Jensen Overlæge, ph.d., lektor

Patientinddragelse i forskning. Lars Henrik Jensen Overlæge, ph.d., lektor Patientinddragelse i forskning Lars Henrik Jensen Overlæge, ph.d., lektor BMC Health Services Research 2014, 14:89 142 studies that described a spectrum of engagement Engagement was feasible in most settings

Læs mere

Program: Vision & kohærens. Analyse & insights Pause. Syntese & experience Vision & Valuebased Methodology m.

Program: Vision & kohærens. Analyse & insights Pause. Syntese & experience Vision & Valuebased Methodology m. Master i User Experience Design Søren Bolvig, bolvig@hum.aau.dk, 07.10.12 Program: Vision & kohærens 13.00-14.00 Vision & Valuebased Methodology m. øvelse 14.00-15.00 Designetnografi m. øvelse Analyse

Læs mere

H2020 DiscardLess ( ) Lessons learnt. Chefkonsulent, seniorrådgiver Erling P. Larsen, DTU Aqua, Denmark,

H2020 DiscardLess ( ) Lessons learnt.   Chefkonsulent, seniorrådgiver Erling P. Larsen, DTU Aqua, Denmark, H2020 DiscardLess (2015-2019) Lessons learnt www.discardless.eu Chefkonsulent, seniorrådgiver Erling P. Larsen, DTU Aqua, Denmark, Fra ændrede fiskeredskaber til cost-benefit analyser Endnu et skifte i

Læs mere

Skriftlig Eksamen Beregnelighed (DM517)

Skriftlig Eksamen Beregnelighed (DM517) Skriftlig Eksamen Beregnelighed (DM517) Institut for Matematik & Datalogi Syddansk Universitet Mandag den 31 Oktober 2011, kl. 9 13 Alle sædvanlige hjælpemidler (lærebøger, notater etc.) samt brug af lommeregner

Læs mere

Danske Bank Leadership Communication

Danske Bank Leadership Communication Danske Bank Leadership Communication Morten Dal - Chief Communications Advisor Info-netværkskonferencen 7.- 8. oktober Munkebjerg Hotel Vejle 09-10-2013 2 3 3 Agenda slide Background MOVE Feedback reports

Læs mere

Boligsøgning / Search for accommodation!

Boligsøgning / Search for accommodation! Boligsøgning / Search for accommodation! For at guide dig frem til den rigtige vejledning, skal du lige svare på et par spørgsmål: To make sure you are using the correct guide for applying you must answer

Læs mere

PROGRAM 2010. Erfaring - Inspiration - Network - Idéer - Viden. HP Test Brugergruppe Brugerkonference. 11. november 2010

PROGRAM 2010. Erfaring - Inspiration - Network - Idéer - Viden. HP Test Brugergruppe Brugerkonference. 11. november 2010 PROGRAM Erfaring - Inspiration - Network - Idéer - Viden Hotel Scandic Copenhagen Vester Søgade 6 1601 København 09:00-09:30 Modtagelse og morgenmad 09:30-09:45 Velkomst og præsentation af konferencen

Læs mere

Dean's Challenge 16.november 2016

Dean's Challenge 16.november 2016 O Dean's Challenge 16.november 2016 The pitch proces..with or without slides Create and Practice a Convincing pitch Support it with Slides (if allowed) We help entrepreneurs create, train and improve their

Læs mere

Appendix 1: Interview guide Maria og Kristian Lundgaard-Karlshøj, Ausumgaard

Appendix 1: Interview guide Maria og Kristian Lundgaard-Karlshøj, Ausumgaard Appendix 1: Interview guide Maria og Kristian Lundgaard-Karlshøj, Ausumgaard Fortæl om Ausumgaard s historie Der er hele tiden snak om værdier, men hvad er det for nogle værdier? uddyb forklar definer

Læs mere

Remember the Ship, Additional Work

Remember the Ship, Additional Work 51 (104) Remember the Ship, Additional Work Remember the Ship Crosswords Across 3 A prejudiced person who is intolerant of any opinions differing from his own (5) 4 Another word for language (6) 6 The

Læs mere

En god Facebook historie Uddannelser og valgfag målrettet datacenterindustrien!?

En god Facebook historie Uddannelser og valgfag målrettet datacenterindustrien!? En god Facebook historie Uddannelser og valgfag målrettet datacenterindustrien!? DDI møde 18.09.2019 - UCL, Odense. V/ Projektleder og lektor Lars Bojen, IT & Tech uddannelserne, lcbn@ucl.dk Agenda 1.

Læs mere

Learnings from the implementation of Epic

Learnings from the implementation of Epic Learnings from the implementation of Epic Appendix Picture from Region H (2016) A thesis report by: Oliver Metcalf-Rinaldo, oliv@itu.dk Stephan Mosko Jensen, smos@itu.dk Appendix - Table of content Appendix

Læs mere

IPv6 Application Trial Services. 2003/08/07 Tomohide Nagashima Japan Telecom Co., Ltd.

IPv6 Application Trial Services. 2003/08/07 Tomohide Nagashima Japan Telecom Co., Ltd. IPv6 Application Trial Services 2003/08/07 Tomohide Nagashima Japan Telecom Co., Ltd. Outline Our Trial Service & Technology Details Activity & Future Plan 2 Outline Our Trial Service & Technology Details

Læs mere

Trolling Master Bornholm 2014

Trolling Master Bornholm 2014 Trolling Master Bornholm 2014 (English version further down) Populært med tidlig færgebooking Booking af færgebilletter til TMB 2014 er populært. Vi har fået en stribe mails fra teams, som har booket,

Læs mere

Methods to increase qualifications for energy savings in buildings

Methods to increase qualifications for energy savings in buildings Methods to increase qualifications for energy savings in buildings By Iben Østergaard The Danish government has a goal 2025 decrease 25 % RE from 19 to 30 % One tool is the national Knowledge Centre for

Læs mere

Mandara. PebbleCreek. Tradition Series. 1,884 sq. ft robson.com. Exterior Design A. Exterior Design B.

Mandara. PebbleCreek. Tradition Series. 1,884 sq. ft robson.com. Exterior Design A. Exterior Design B. Mandara 1,884 sq. ft. Tradition Series Exterior Design A Exterior Design B Exterior Design C Exterior Design D 623.935.6700 robson.com Tradition OPTIONS Series Exterior Design A w/opt. Golf Cart Garage

Læs mere

CS 4390/5387 SOFTWARE V&V LECTURE 5 BLACK-BOX TESTING - 2

CS 4390/5387 SOFTWARE V&V LECTURE 5 BLACK-BOX TESTING - 2 1 CS 4390/5387 SOFTWARE V&V LECTURE 5 BLACK-BOX TESTING - 2 Outline 2 HW Solution Exercise (Equivalence Class Testing) Exercise (Decision Table Testing) Pairwise Testing Exercise (Pairwise Testing) 1 Homework

Læs mere

STUDIEOPHOLD I BANGKOK FASE 2 - INFORMATION, VEJLEDNING OG DOKUMENTER

STUDIEOPHOLD I BANGKOK FASE 2 - INFORMATION, VEJLEDNING OG DOKUMENTER Find vejen frem VIA University College STUDIEOPHOLD I BANGKOK FASE 2 - INFORMATION, VEJLEDNING OG DOKUMENTER Find vejen frem VIA University College FASE 2 FASE 2 - INFORMATION, VEJLEDNING OG DOKUMENTER

Læs mere

Design by Contract. Design and Programming by Contract. Oversigt. Prædikater

Design by Contract. Design and Programming by Contract. Oversigt. Prædikater Design by Contract Design and Programming by Contract Anne Haxthausen ah@imm.dtu.dk Informatics and Mathematical Modelling Technical University of Denmark Design by Contract er en teknik til at specificere

Læs mere

The Thesis M.Sc. In Technical IT (Civilingeniør)

The Thesis M.Sc. In Technical IT (Civilingeniør) 27. OCTOBER The Thesis M.Sc. In Technical IT (Civilingeniør) Electrical Engineering and ICT Who are we? Henrik Karstoft (hka@iha.dk) Ingeniørdocent @ASE, Leading the group in Signal Processing and Control@ASE/EICT

Læs mere

Cross-Sectorial Collaboration between the Primary Sector, the Secondary Sector and the Research Communities

Cross-Sectorial Collaboration between the Primary Sector, the Secondary Sector and the Research Communities Cross-Sectorial Collaboration between the Primary Sector, the Secondary Sector and the Research Communities B I R G I T T E M A D S E N, P S Y C H O L O G I S T Agenda Early Discovery How? Skills, framework,

Læs mere