The 13 th Overture Workshop in connec4on with FM 15, Oslo. Fuyuki Ishikawa Peter Gorm Larsen
|
|
|
- Sheila Bell
- 5 years ago
- Views:
Transcription
1 The 13 th Overture Workshop in connec4on with FM 15, Oslo Fuyuki Ishikawa Peter Gorm Larsen
2 SeDng for the day Informal Interac4ve Produc4ve The 13 th Overture Workshop June
3 Where did it all start? : VDMTools developed at IFAD ( users) 2004: Start of Overture (1 st workshop 2005) 2004: VDMTools taken over by CSK 2004: FeliCa Networks start NFC firmware using VDM 2005: The VDM++ book is published 2008: VDMJ development started by Nick Ba]le 2009: VDMJ is incorporated into Overture : Crescendo is build on top of Overture : Symphony is build on top of Overture 2014: VDMPad is developed on top of VDMJ by Oda 2015: New GUI tools on top of Overture : INTO- CPS will develop more extensions The 13 th Overture Workshop June
4 IFAD VDMTools Staff Overview PGL ETN PBL MA HC HV NK JNJ SA LTO JWT OS JKP KS PM ML RM MV KdB CA BF BA OO GW NP SN JKP VS JKP WS JSF
5 Many different Research projects IPTES (91-93) suppor4ng executable DFDs Afrodite (92-95) including Cap Gemini (F) ConForm (93-94) including Bri4sh Aerospace (UK) PICGAL (94-95) including Aerospa4ale (F) UseGat (95-96) including Ansaldo (I) TIAPS (96) theorem proving support with Danish funding INFORMA (96-98) including Odense Steel Shipyard (DK) LEGO (97-98) including Baan Front Office Systems (DK) Spectrum (97-98) including Dassault Electronique (F) PROSPER (98-01) theorem proving with EU funding ISPAS (98-00) including Dassault Avionics (F) VICE (98-00) including Matra Bae Dynamics (F) ISEPUMS (99) including CE- CI (F)
6 Wri4ng the VDM++ book was fun The 13 th Overture Workshop June
7 The VDM++ Book The 13 th Overture Workshop June
8 During the wri4ng disaster hit in... IFAD went bankrupt (2004) No possibility anymore to include a light version of VDMTools with the book Since the book focuses on tool usage we had a problem... The 13 th Overture Workshop June
9 The Start of Overture Movement towards open source somware New thinking, new technology in the area of IDEs and user interfaces Having more tools that support VDM++ can revitalise its use Goals: To provide an industrial strength toolset suppor4ng VDM++ To make an environment available in which it is possible to experiment with techniques for formal method tool support To have fun The 13 th Overture Workshop June
10 PGL JSF MV NP PM NB AR KGL JC SS PJ KGP CG HI RJP JWB ZHA SW LDC TO MH ML RJP Overture/VDMJ Staff Overview JPN JHK PvdS SV AR ZHA, AB CV AS KGL HKL DM CT CBN MM JAE PJ MvQ MAA JQ PSSS, GTT, AM, MY MM HS GK MH MJ HFG CTH LBP DN, EP MA, JP
11 Many different Research projects DESTECS (10-12) including Chess (NL), Neopost (NL) and Verheart (B) COMPASS (11-14) including B&O (DK) and Insiel (IT) CIP (14-15) including Terma (DK) Logis4cs for harves4ng opera4ons including AGCO (DK) INTO- CPS (15-17) including ClearSy (F), TWT (GER), UTRC (IRE) and Kongskilde (DK)
12 Agenda for the day 9:15:10:00 Invited Talk: Taro Kurita, Sony Felica 10:30: JODTool on the Overture Tool to manage formal requirement dic4onaries, Omori, Araki and Larsen 10:55: VDM Anima4on for a Wider Range of Stakeholders, Oda, Yamamoto, Nakakoji, Araki and Larsen 11:20: Integra4ng the PVSio- web modelling and prototyping environment with Overture, Masci, Couto, Larsen and Curzon 11:45: Extending the Overture code generator towards Isabelle syntax, Couto and Tran- Jørgensen 12:10: Discussion about the future of the Overture community 12:30-14:00 Lunch 14:00: Code Genera4on of VDM++ Concurrency, Kanakis, Larsen and Tran- Jørgensen 14:25: Genera4ng Java RMI code for the distributed aspects of VDM- RT models, Hasanagic, Larsen and Tran- Jørgensen 14:50: Improving Time Es4mates in VDM- RT Models, Larsen, Tran- Jørgensen and Larsen 15:15: Discussion about the future of the Overture community 16:00: Case Studies on Combina4on of VDM and Test- Driven Approaches: Applica4on, Model Finding and Refinement, Ishikawa 16:25: Pacemaker Parameter Tuning using Crescendo, Gamble, Mansfield, Fitzgerald and Larsen 16:50: TASTE for Overture to keep SLIM, Verhoef and Perro4n 17:15: Discussion about the future of the Overture community 17:30: Closing 19:00: Dinner (12 of us) h]p:// (wish to join?) The 13 th Overture Workshop June
Towards the integration of Overture and TASTE
Towards the integration of Overture and TASTE T. Fabbri 1, M. Verhoef 2, V. Bandur 3, M. Perrotin 2, T. Tsiodras 2, P.G. Larsen 3 with many thanks to K.G. Lausdahl and P.W.V. Tran-Jørgensen work performed
The Mars-Rover Case Study Modelled Using INTO-CPS
The Mars-Rover Case Study Modelled Using INTO-CPS Sergio Feo-Arenis, Marcel Verhoef and Peter-Gorm Larsen 15/09/2017 ESA UNCLASSIFIED - For Official Use Goals of the Study Understand the effort required
Collaborative Design of Embedded Systems co-modelling and co-simulation FBK seminar Marcel
Collaborative Design of Embedded Systems co-modelling and co-simulation FBK seminar 15-12-2016 Marcel Verhoef@esa.int Contents Roots of the methodology Applications The family of languages A flavor of
VDM RT for Co simulation. John Fitzgerald Peter Gorm Larsen
VDM RT for Co simulation John Fitzgerald Peter Gorm Larsen Background: VDM Our goal: well founded but accessible modelling & analysis technology VDMTools Overture Crescendo Symphony Pragmatic development
PRELIMINARY PROCEEDINGS
Overture 16 preface Preface The 16th Overture Workshop will be held on Saturday 14 July 2018 in association with the Federated Logic Conference (FLoC) 2018 and the 22nd International Symposium on Formal
Overview of VDM-RT Constructs and Semantic Issues
Overview of VDM-RT Constructs and Semantic Issues Kenneth Lausdahl 1, Marcel Verhoef 2, Peter Gorm Larsen 1 and Sune Wolff 3,1 1 Aarhus School of Engineering, Dalgas Avenue 2, DK-8000 Aarhus C, Denmark
Automated Generation of C# and.net Code Contracts from VDM-SL Models
Automated Generation of C# and.net Code Contracts from VDM-SL Models Steffen P. Diswal, Peter W. V. Tran-Jørgensen and Peter Gorm Larsen 14th Overture workshop, FM 2016 Limassol, Cyprus November 7 Agenda
22ND CENTURY_J1.xls Government Site Hourly Rate
Escalation rate 000 AA0 Administrative Assistant Level I 000 AA0 Administrative Assistant Level II 000 AB0 Application Engineer Level I 000 AB0 Application Engineer Level II 000 AC0 Application Programmer
Appendix 5-1: Attachment J.1 Pricing Table -1: IMS Ceiling Loaded Rates at Contractor Site
Appendix 5-1: Attachment J.1 Pricing Table -1: IMS Ceiling Loaded Rates at Contractor Site Escalation rate 4.6% 4.6% 4.6% 4.6% 4.6% 4.6% 4.6% 4.6% 4.6% 0001 AA01 Administrative Assistant Level I $51.00
Object Oriented Issues in VDM++
Object Oriented Issues in VDM++ Nick Battle, Fujitsu UK (nick.battle@uk.fujitsu.com) Background VDMJ implemented VDM-SL first (started late 2007) Formally defined. Very few semantic problems VDM++ support
SPAREPARTSCATALOG: CONNECTORS SPARE CONNECTORS KTM ART.-NR.: 3CM EN
SPAREPARTSCATALOG: CONNECTORS ART.-NR.: 3CM3208201EN CONTENT SPARE CONNECTORS AA-AN SPARE CONNECTORS AO-BC SPARE CONNECTORS BD-BQ SPARE CONNECTORS BR-CD 3 4 5 6 SPARE CONNECTORS CE-CR SPARE CONNECTORS
SPARE CONNECTORS KTM 2014
SPAREPARTSCATALOG: // ENGINE ART.-NR.: 3208201EN CONTENT CONNECTORS FOR WIRING HARNESS AA-AN CONNECTORS FOR WIRING HARNESS AO-BC CONNECTORS FOR WIRING HARNESS BD-BQ CONNECTORS FOR WIRING HARNESS BR-CD
Overture VDM-10 Tool Support: User Guide
Overture Technical Report Series No. TR-002 April 2013 Overture VDM-10 Tool Support: User Guide Version 2.0.0 by Peter Gorm Larsen, Kenneth Lausdahl, Peter Jørgensen, Joey Coleman, Sune Wolff and Luís
COMPUTING SCIENCE. Proceedings of the 8th Overture Workshop. Ken Pierce, Nico Plat and Sune Wolff (eds.) TECHNICAL REPORT SERIES
COMPUTING SCIENCE Proceedings of the 8th Overture Workshop Ken Pierce, Nico Plat and Sune Wolff (eds.) TECHNICAL REPORT SERIES No. CS-TR-1224 November 2010 TECHNICAL REPORT SERIES No. CS-TR-1224 November,
Overture Architecture & Status
Overture Architecture & Status Peter Gorm Larsen & Marcel Verhoef (updated 28 Nov 2006) OVERTURE ARCHITECTURE Overture versus VDMTools VDMTools (http://www.vdmtools.jp/en) Closed source, proprietary (available
ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4
ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4 Tomohiro Oda Software Research Associates, Inc. tomohiro@sra.co.jp Keijiro Araki Kyushu University araki@csce.kyushu-u.ac.jp
FLIGHTS TO / FROM CANADA ARE DOMESTIC
MINIMUM CONNECTING TIME Houston, USA FLIGHTS TO / FROM CANADA ARE DOMESTIC IAH (Intercontinental Airport) DOMESTIC TO DOMESTIC :45 AA TO DL :40 CO TO AC :30 AA, UA, US :20 CO :30 DL, WN :25 DOMESTIC TO
hijac UTP Semantics for Safety-Critical Java University of York hijac Workshop 15 November 2011
UTP Semantics for Safety-Critical Java University of York Workshop 15 November 2011 1 / 27 Outline 1 Unifying Theories of Programming 2 SCJ-Circus 3 UTP SCJ Memory Model 4 COMPASS 5 Conclusions 2 / 27
VDM-10 Language Manual
Overture Technical Report Series No. TR-001 Feb 2018 VDM-10 Language Manual by Peter Gorm Larsen Kenneth Lausdahl Nick Battle John Fitzgerald Sune Wolff Shin Sahara Marcel Verhoef Peter W. V. Tran-Jørgensen
CARRIER, CARRIER BASED SQUADRONS AND NON-CARRIER BASED SQUADRON DEPLOYMENTS DURING THE KOREAN WAR
CARRIER, CARRIER BASED SQUADRONS AND NON-CARRIER BASED SQUADRON DEPLOYMENTS DURING THE KOREAN WAR Carrier, Air Group and Carrier Based Squadron Deployments Essex (CV 9) with CVG -5 (26 Jun 1951-25 Mar
COMPASS Web Site, Project Fiche and Online Community
Grant Agreement: 287829 Comprehensive Modelling for Advanced Systems of Systems COMPASS Web Site, Project Fiche and Online Community Deliverable Number: D51.1 Version: 1.0 Date: October 2011 Public Document
https://support.industry.siemens.com/cs/ww/en/view/
Support Packages for TIA Portal V14 February 2018 https://support.industry.siemens.com/cs/ww/en/view/72341852 Siemens Industry Online Support This entry is from the Siemens Industry Online Support. The
UML Semantics FAQ. ECOOP 99 Workshop Proposal
UML Semantics FAQ ECOOP 99 Workshop Proposal 1 Cover Page Title: UML Semantics FAQ Organizers: on behalf of puml (precise UML group), http://www.cs.york.ac.uk/ puml/ Stuart Kent (primary contact), Computing
CIP Standards Update. SANS Process Control & SCADA Security Summit March 29, Michael Assante Patrick C Miller
CIP Standards Update SANS Process Control & SCADA Security Summit March 29, 2010 Michael Assante Patrick C Miller Background FERC s Cyber Security Order 706 directed extensive modifications of CIP-002
Facilitating Consistency Check between Specification & Implementation with MapReduce Framework
Facilitating Consistency Check between Specification & Implementation with MapReduce Framework Shigeru KUSAKABE, Yoichi OMORI, Keijiro ARAKI Kyushu University, Japan 2 Our expectation Light-weight formal
Injecting Formal Verification in FMI-based Co-Simulations of Cyber-Physical Systems
Injecting Formal Verification in FMI-based Co-Simulations of Cyber-Physical Systems Luís Diogo Couto 1, Stylianos Basagianis 1, El Hassan Ridouane 1, Alie El-Din Mady 1, Miran Hasanagic 2, and Peter Gorm
IFAD. VDMTools Validated. Design through Modelling. Overview of VDM -SL/++ IFAD. IFAD A/S Forskerparken 10 DK-5230 Odense M Denmark.
VDMTools Validated Design through Modelling Overview of VDM -SL/++ www.ifad.dk A/S Forskerparken 10 DK-5230 Odense M Denmark 1 VDM-SL ISO Standard 1996 for flat language Different module proposals A de-facto
DETAIL SPECIFICATION SHEET
INCH-POUND MIL-DTL-55302/128D 18 April 2013 SUPERSEDING MIL-DTL-55302/128D 4 June 2004 DETAIL SPECIFICATION SHEET CONNECTORS, PRINTED CIRCUIT SUBASSEMBLY AND ACCESSORIES: RECEPTACLE, DOUBLE ROW, 4 THROUGH
On the Use of VDM++ for Specifying Real-time Systems
On the Use of VDM++ for Specifying Real-time Systems Marcel Verhoef (Marcel.Verhoef@chess.nl) Chess Information Technology BV, P.O. Box 5021, 2000 CA Haarlem, NL Abstract. Language extensions have been
SMF Transient Voltage Suppressor Diode Series
SMF Transient Voltage Suppressor Diode Series General Information The SMF series is designed specifically to protect sensitive electronic equipment from voltage transients induced by lightning and other
CV WG VIRTUAL MEETING Meeting minutes
CV WG VIRTUAL MEETING 2012.01.05 Meeting minutes 2 CV WG VIRTUAL MEETING 2012.01.05 Meeting minutes Venue Virtual Meeting on Arkadin Meeting date 05/01/2012 Author NVH Meeting time 14:00 17:00 Reviewed
Parser Development for Overture Tools
Parser Development for Overture Tools http://www.overturetool.org Marcel Verhoef, 25 May 2008, Fourth Overture Workshop Abo Akademi University Turku - Finland Iteration One (2004) Pieter van der Spek (MSc
Adbase Privileges/Permissions. best practices
best practices This is coming right from the System Admin User Privilege Guide 2017 iconnectsolutions Conference NEWSCYCLE SOLUTIONS USER GROUP 2 - At the Star Tribune, we started out with a relatively
Customer Maintenance Parts List
C US R MODEL SUFFIX Customer Maintenance Parts List Model 0 R0000 dot recorder Made in China RECORDER STYLE FREQUENCY NO. SUPPLY N00 0 TAG NO. Note: Parts marked with a symbol are Customer Maintenance
Performance Evaluation of A Testing Framework using QuickCheck and Hadoop
Regular Paper Performance Evaluation of A Testing Framework using QuickCheck and Hadoop Yusuke Wada 1 and Shigeru Kusakabe 2 Formal methods are mathematically-based techniques for specifying, developing
COSC 310: So*ware Engineering. Dr. Bowen Hui University of Bri>sh Columbia Okanagan
COSC 310: So*ware Engineering Dr. Bowen Hui University of Bri>sh Columbia Okanagan 1 Admin A2 is up Don t forget to keep doing peer evalua>ons Deadline can be extended but shortens A3 >meframe Labs This
Field Searching: Focus on EBSCOhost
Field Searching: Focus on EBSCOhost Introduction: Recds from bibliographic databases share certain features: Each recd in bibliographic databases describes a publication. o A jounal article, book, book
GeoGebra Workshop. (Short Version)
GeoGebra Workshop (Short Version) Contents Introduction... 2 What is GeoGebra?... 2 Get GeoGebra... 2 Workshop Format... 2 GeoGebra Layout... 3 Examples... 5 The Incenter and Incircle... 5 The Sine Function
Country
Total EU-12 31,2 26,6 21,1 22,5 25,9 29,2 29,6 29,7 30,5 29,9 25,3 25,1 EU-15 28,1 28,6 28,6 29,4 28,8 24,3 24,2 EU-25 25,0 25,0 A 15,0 13,4 14,3 15,6 14,9 16,6 13,6 5,3 10,9 10,8 B 41,9 44,7 51,6 53,5
English Bible for the Deaf
E B D Q W, ' '. W (2 ), ''2 '' 3, '''3 '''. D T B,,. T *,. T,,. W, B. T. D : C: *S G *. H J. :,. :,. I: G *O_T. : * * * *. [ ] :. L: G. : I, I, I. :. : * G * H. : I, I. :,. T G_N M 1 T J (A L 3:23-38)
Context-Free Grammars
Department of Linguistics Ohio State University Syntax 2 (Linguistics 602.02) January 3, 2012 (CFGs) A CFG is an ordered quadruple T, N, D, P where a. T is a finite set called the terminals; b. N is a
Model-Based Systems Engineering Backbone of the Thales Engineering Manifesto
www.thalesgroup.com Model-Based Systems Engineering Backbone of the Thales Engineering Manifesto MBSE Symposium, Canberra Oct. 28 th, 2014 Olivier Flous, VP Engineering 2 / Thales: Company Profile Collective
https://support.industry.siemens.com/cs/ww/en/view/
Support Packages for TIA Portal V13 March 2018 https://support.industry.siemens.com/cs/ww/en/view/72341852 Siemens Industry Online Support This entry is from the Siemens Industry Online Support. The general
Distributed Systems Programming (F21DS1) Formal Verification
Distributed Systems Programming (F21DS1) Formal Verification Andrew Ireland Department of Computer Science School of Mathematical and Computer Sciences Heriot-Watt University Edinburgh Overview Focus on
AR-3000R AUDIO RECORDER
r AR-3000R AUDIO RECORDER RS-232C Reference AR-3000R Ver.2.01 RS-232C Reference (3PS) Copyright 2011 c All rights reserved. No part of this publication may be reproduced in any form without the written
Lionel Devauchelle 1,Peter Gorm Larsen 2 and Henrik Voss 2. 2 IFAD (The Institute of Applied Computer Science), Forskerparken 10, DK-5230
PICGAL: Practical use of Formal Specication to Develop a Complex Critical System Lionel Devauchelle 1,Peter Gorm Larsen 2 and Henrik Voss 2 1 AEROSPATIALE espace et defense, department SY/YI -BP 3 002,
INTO-CPS Traceability Design
Grant Agreement: 644047 INtegrated TOol chain for model-based design of CPSs INTO-CPS Traceability Design Deliverable Number: D4.2d Version: 0.4 Date: 2016 Public Document http://into-cps.au.dk Contributors:
Using Automated Network Management at Fiserv. June 2012
Using Automated Network Management at Fiserv June 2012 Brought to you by Join Group Vivit Network Automation Special Interest Group (SIG) Leaders: Chris Powers & Wendy Wheeler Your input is welcomed on
Formal Geometry UNIT 6 - Quadrilaterals
Formal Geometry UNIT 6 - Quadrilaterals 14-Jan 15-Jan 16-Jan 17-Jan 18-Jan Day 1 Day Day 4 Kites and Day 3 Polygon Basics Trapezoids Proving Parallelograms Day 5 Homefun: Parallelograms Pg 48 431 #1 19,
Study about Application of Formal Methods in Consideration of Convenience by the Example of the Electric Pot
1 1 1 1 0,,, Study about Application of Formal Methods in Consideration of Convenience by the Example of the Electric Pot Abstract: It had been emphasized that formal methods in software development are
Integrated Tool Chain for Model-Based Design of Cyber-Physical Systems
Integrated Tool Chain for Model-Based Design of Cyber-Physical Systems Peter Gorm-Larsen 1, Casper Thule 1, Kenneth Lausdahl 1, Victor Bandur 1, Carl Gamble 2, Etienne Brosse 3, Andrey Sadovykh 3, Alessandra
The Processing language. Arduino and Processing.
IAT267 Introduc/on to Technological Systems Lecture 8 The Processing language. Arduino and Processing. 1 Course Project All teams submibed very interes/ng proposals One requirement for the project is to
NEER ENGI ON EXTENSIBILITY OF SOFTWARE SYSTEMS. Electrical and Computer Engineering Technical Report ECE-TR-19
NEER ENGI ON EXTENSIBILITY OF SOFTWARE SYSTEMS Electrical and Computer Engineering Technical Report ECE-TR-19 DATA SHEET Title: On Extensibility of Software Systems Subtitle: PhD Progress Report Series
POAD Book: Chapter 4: Design Patterns as Components Chapter 5: Visual Design Models
POAD Book: Chapter 4: Design Patterns as Components Chapter 5: Visual Design Models Instructor: Dr. Hany H. Ammar Dept. of Computer Science and Electrical Engineering, WVU Outline Chapter 4: Design Patterns
Lecture 17 Java Remote Method Invoca/on
CMSC 433 Fall 2014 Sec/on 0101 Mike Hicks (slides due to Rance Cleaveland) Lecture 17 Java Remote Method Invoca/on 11/4/2014 2012-14 University of Maryland 0 Recall Concurrency Several opera/ons may be
2015 The MathWorks, Inc. 1
2015 The MathWorks, Inc. 1 신호처리응용을위한 Model Based Design Workflow 이웅재부장 2015 The MathWorks, Inc. 2 CASE: Software in Signal Processing Application (Medical) Medical devices are increasingly driven by complex
1.1 VDM VDM Java VDM Java JPF JPF VDM Java Java VDM 1.2 [3] [2] UML VDM++ VDM++ VDM [4]VDM VDM++ OOA/OOD VDM++ Fig. 1 1 VDM Structure of a VDM class S
![1.1 VDM VDM Java VDM Java JPF JPF VDM Java Java VDM 1.2 [3] [2] UML VDM++ VDM++ VDM [4]VDM VDM++ OOA/OOD VDM++ Fig. 1 1 VDM Structure of a VDM class S](/thumbs/89/98408285.jpg "1.1 VDM VDM Java VDM Java JPF JPF VDM Java Java VDM 1.2 [3] [2] UML VDM++ VDM++ VDM [4]VDM VDM++ OOA/OOD VDM++ Fig. 1 1 VDM Structure of a VDM class S")
VDM++ Java 1 1 1 1 VDM++ Java VDM++ JPF VDM++,,, A parctical approach of behavior verification to Java code that was automatically generated from VDM++ specification Abstract: Practical use of automatic
10S-1R 10S-1R
S-R S-R............................... 0.............0 0..0..........0 0 S-R S-R ZR. ZR C 0V Cm C ZR CV Cm C.W. G ZR CV B ZR C: 0 V or less C: m or less. ZR C: V or less C: m or less. H ZS. 0 m or less
271 Health Care Eligibility Benefit Inquiry Response Educational Guide
271 Health Care Eligibility Benefit Inquiry Response Educational Guide June 2010 - Version 1.1 Disclaimer INGENIX is still under development stages and frequent changes within this document are expected.
Mondays. Community Hall Closed group for wellbeing. Contact Maggie at
What s On At Mondays Art Group Closed group for wellbeing. Contact Maggie at magwoodiow@hotmail.co.uk 10am 12pm Aspire Prayer Jam songwriting 12pm 4pm Creative Hub / Undercroft Closed group for those who
Supplier s declaration of conformity
Supplier s declaration of conformity As required by the following Notices: > Radiocommunications (Compliance Labelling - Devices) Notice 2014 made under section 182 of the Radiocommunications Act 1992;
MAWA Forum State of Play. Cooperation Planning & Support Henk Corporaal MAWA Forum Chair
MAWA Forum State of Play Cooperation Planning & Support Henk Corporaal MAWA Forum Chair Content Background MAWA Initiative Achievements and Status to date Future Outlook 2 Background MAWA Initiative The
Session 4: Examples of useful resources
Session 4: Examples of useful resources OAEG (Open Accessibility Everywhere Group) Olga Gkaitatzi (CERTH-HIT) 2 nd Workshop, 29 th 30 th of August 2011, Maastricht ( Netherlands ) Ambient Assisted Living
Pdf reader download symbian
Pdf reader download symbian 8 Pdf reader download symbian 8. Free Download e-books December 23, 2014 - Valve Sony MiniDV HandyCam DCR-TRV22 drivers are tiny programs that enable your Camcorder hardware
USB-ASC232. ASCII RS-232 Controlled USB Keyboard and Mouse Cable. User Manual
USB-ASC232 ASCII RS-232 Controlled USB Keyboard and Mouse Cable User Manual Thank you for purchasing the model USB-ASC232 Cable HAGSTROM ELECTRONICS, INC. is pleased that you have selected this product
CP Math 3 Page 1 of 34. Common Core Math 3 Notes - Unit 2 Day 1 Introduction to Proofs. Properties of Congruence. Reflexive. Symmetric If A B, then B
CP Math 3 Page 1 of 34 Common Core Math 3 Notes - Unit 2 Day 1 Introduction to Proofs Properties of Congruence Reflexive A A Symmetric If A B, then B A Transitive If A B and B C then A C Properties of
Transactions in Euclidean Geometry
Transactions in Euclidean Geometry Volume 207F Issue # 8 Table of Contents Title Author Regular Triangles Cameron Hertzler Regular Pentagon Cameron Hertzler Hemispheres and Right Angles Cameron Hertzler
NEER ENGI MODEL-BASED DEVELOPMENT AND EVALUATION OF CONTROL FOR COMPLEX MULTI-DOMAIN SYSTEMS: ATTITUDE CONTROL FOR A QUADROTOR UAV
NEER ENGI MODEL-BASED DEVELOPMENT AND EVALUATION OF CONTROL FOR COMPLEX MULTI-DOMAIN SYSTEMS: ATTITUDE CONTROL FOR A QUADROTOR UAV Electrical and Computer Engineering Technical Report ECE-TR-23 DATA SHEET
Features of CML: a formal modelling language for Systems of Systems
Features of CML: a formal modelling language for Systems of Systems J. Woodcock, A. Cavalcanti, J. Fitzgerald, P. Larsen, A. Miyazawa, and S. Perry University of York, United Kingdom, {jim.woodcock, Ana.Cavalcanti,
Lionbridge ondemand for Adobe Experience Manager
Lionbridge ondemand for Adobe Experience Manager Version 1.1.0 Configuration Guide October 24, 2017 Copyright Copyright 2017 Lionbridge Technologies, Inc. All rights reserved. Published in the USA. March,
What Is Computer Science? The Scientific Study of Computation. Expressing or Describing
What Is Computer Science? The Scientific Study of Computation CMPSCI 630: Programming Languages Introduction Spring 2009 (with thanks to Robert Harper) Expressing or Describing Automating Understanding
A. All equipment and materials used shall be standard components that are regularly manufactured and used in the manufacturer s system.
ENDURA EE500 SERIES ENDURAXPRESS TECHNICAL SPECIFICATIONS SECURITY SYSTEM DIVISION 28 ELECTRONIC SAFETY AND SECURITY LEVEL 1_28 20 00 ELECTRONIC SURVEILLANCE LEVEL 2_28 23 00 VIDEO SURVEILLANCE LEVEL 3_28
Advanced Tool Architectures. Edited and Presented by Edward A. Lee, Co-PI UC Berkeley. Tool Projects. Chess Review May 10, 2004 Berkeley, CA
Advanced Tool Architectures Edited and Presented by Edward A. Lee, Co-PI UC Berkeley Chess Review May 10, 2004 Berkeley, CA Tool Projects Concurrent model-based design Giotto (Henzinger) E machine & S
Section 4-1 Congruent Figures. Objectives: recognize congruent figures and their corresponding parts
Section 4-1 Congruent Figures Objectives: recognize congruent figures and their corresponding parts Congruent Polygons Congruent Polygons have congruent corresponding parts Congruent sides Congruent Angles
;/ *. 7 &9*R . C 2 <0* # "2 <AC (:* "' < %)V AB C. Downloaded from qjal.smtc.ac.ir at 23: on Sunday May 13th 2018
( - ) 1394 @R$ 8 %& b ;/ *. 7 1393/12/18 1394/2/28 :6# :G"#a 2 "V*D 1 AB C &9*R "' : > ; *$ id: 0* :6 i: > (:* 0 > ' # *,2 T# "? 0 > # "5 EOAB N*> # "5 UA;
Thunks (continued) Olivier Danvy, John Hatcli. Department of Computing and Information Sciences. Kansas State University. Manhattan, Kansas 66506, USA
Thunks (continued) Olivier Danvy, John Hatcli Department of Computing and Information Sciences Kansas State University Manhattan, Kansas 66506, USA e-mail: (danvy, hatcli)@cis.ksu.edu Abstract: Call-by-name
Parts List, Charging Chart, Wiring Diagrams
Parts List, Charging Chart, Wiring Diagrams PHH150, PHH180 3 Phase PACKAGE HEAT PUMP UNITS TABLE OF CONTENTS PARTS LIST------------ 2-5 PARTS DRAWING - - - - - - -6-16 CHARGING CHARTS - - - - - - - 17
SIMATIC ET 200SP Product information on documentation of the ET 200SP distributed I/O system Product Information
SIMATIC ET 200SP Product information on documentation of the ET 200SP distributed I/O system Product Information General amendments to the documentation Contents This product information includes amendments
Business Processes Modelling MPB (6 cfu, 295AA)
Business Processes Modelling MPB (6 cfu, 295AA) Roberto Bruni http://www.di.unipi.it/~bruni 13 - Workflow nets!1 Object We study some special kind of Petri nets, that are suitable models of workflows Ch.4.4
A variation of Miquel s theorem and its generalization
A variation of Miquel s theorem and its generalization MICHAEL DE VILLIERS An interesting, elementary theorem first stated by Wallace in 1799 and proved by Miquel in 1838 can be stated as follows (see
Testing Distributed Systems
Testing Distributed Systems Part I: Introduction to Model-Based Testing 2012-08-01 Jan Peleska and Wen-ling Huang University of Bremen {jp,huang}@informatik.uni-bremen.de Acknowledgements. This seminar
the +2=6 is the same for any let's take ( 0,0,. g.gg/f*q#ay3idd=ip0lswl9e0 pin
let's MASSACHUSETTS INSTITUTE OF TECHNOLOGY INTERPHASE CALCULUS III MIDTERM I INSTRUCTOR: SAMUEL S WATSON s ~ Problem Find the distance between the planes 3x + 2y + z 0 and 3x + 2y + z 6 Since 32 ) is
WORKPLAN FOR THE ESTABLISHMENT OF AN INTERNATIONAL FORUM OF USERS OF SATELLITE DATA TELECOMMUNICATION SYSTEMS
Prepared by WMO Agenda Item: I.5 Discussed in WG I WORKPLAN FOR THE ESTABLISHMENT OF AN INTERNATIONAL FORUM OF USERS OF SATELLITE DATA TELECOMMUNICATION SYSTEMS Following the decision from the WMO Sixteenth
European Network of Transmission System Operators for Electricity (ENTSO-E) GCRP - November 2009
European Network of Transmission System Operators for Electricity (ENTSO-E) GCRP - November 2009 Contents Who are ENTSO-E? Background and legal standing Activities and Remit European Network Code Development
BMV Text Protocol. Table of contents
BMV Text Protocol Table of contents Introduction... 2 Physical interface... 2 Serial port configuration... 2 Message format... 3 Data integrity... 3 Units... 3 Other statistics... 4 Since firmware version
Introduction. Distributed Systems IT332
Introduction Distributed Systems IT332 2 Outline Definition of A Distributed System Goals of Distributed Systems Types of Distributed Systems 3 Definition of A Distributed System A distributed systems
Monitoring the Sendai Framework - Side Event 30 April, 2017
Monitoring the Sendai Framework - Side Event 30 April, 2017 Monitoring the Sendai Framework for Action 2015-2030 and the 2030 Sustainable Development Agenda Open-ended intergovernmental expert working
Designing for the Cloud
Design Page 1 Designing for the Cloud 3:47 PM Designing for the Cloud So far, I've given you the "solution" and asked you to "program a piece of it". This is a short-term problem! In fact, 90% of the real
Geometry Definitions, Postulates, and Theorems. Chapter 3: Parallel and Perpendicular Lines. Section 3.1: Identify Pairs of Lines and Angles.
Geometry Definitions, Postulates, and Theorems Chapter : Parallel and Perpendicular Lines Section.1: Identify Pairs of Lines and Angles Standards: Prepare for 7.0 Students prove and use theorems involving
COMP Data Structures
Shahin Kamali Topic 1 - Introductions University of Manitoba Based on notes by S. Durocher. 1 / 35 Introduction Introduction 1 / 35 Introduction In a Glance... Data structures are building blocks for designing
Programming Language Concepts 1982, 1987, Outline. Period
Programming Language Concepts 1982, 1987, 1997 Mehdi Jazayeri Distributed Systems Group Technische Universität Wien mjazayeri@alum.mit.edu http://www.infosys.tuwien.ac.at Outline Computer science environment
Introduc)on to the RCE September 21, 2010 Len Wisniewski
Introduc)on to the RCE September 21, 2010 Len Wisniewski IQSS technical services Resource support Research Compu)ng Environment (RCE): cluster compu)ng for sta)s)cal research Desktop support Computer lab
Upcoming EC Systems Research Perspectives
Upcoming EC Systems Research Perspectives Neeraj Suri Dept. of Computer Science TU Darmstadt, Germany Dependable Embedded Systems & SW Group www.deeds.informatik.tu-darmstadt.de EU Computing Systems Strategy
Fire Protection Products Technical Data Book Updating Instructions September 2018
Worldwide Contacts www.tyco-fire.com Fire Protection Products Technical Data Book Updating Instructions September 2018 TABLE OF CONTENTS TOC (08-18) TOC (09-18) New edition Fire Protection Products Technical
CS 101 Computer Science I. CS1101 Computer Science I. Today 1/27/16. Spring Robert Muller Boston College. What this course is about.
1/27/16 CS 101 CS1101 Spring 2016 Robert Muller Boston College Today What this course is about LogisCcs Course administracon 1 Super TA Staff (03 OCaml) Nick Denari Lab 03 Higgins 280 Tuesdays 4PM Meagan
5.4 Medians and Altitudes in Triangles
5.4. Medians and Altitudes in Triangles www.ck12.org 5.4 Medians and Altitudes in Triangles Learning Objectives Define median and find their point of concurrency in a triangle. Apply medians to the coordinate
Formal Methods. CITS5501 Software Testing and Quality Assurance
Formal Methods CITS5501 Software Testing and Quality Assurance Pressman, R. Software Engineering: A Practitioner s Approach. Chapter 28. McGraw-Hill, 2005 The Science of Programming, David Gries, 1981
CS350 Lecture 2 Requirements Engineering. Doo-Hwan Bae
CS350 Lecture 2 Requirements Engineering Doo-Hwan Bae bae@se.kaist.ac.kr Contents Overview of Requirements Engineering OO Analysis: Domain modeling, Use-case, sequence, class Structured Analysis: Dataflow
From: AAAI Technical Report WS Compilation copyright 1997, AAAI (www.aaai.org). All rights reserved. Z to Java.
From: AAAI Technical Report WS-97-01. Compilation copyright 1997, AAAI (www.aaai.org). All rights reserved. Z to Java Stephen I Murrell Robert 2 Plant 1Department of Electrical and Computer Engineering
INTO-CPS Tool Chain User Manual
Grant Agreement: 644047 INtegrated TOol chain for model-based design of CPSs INTO-CPS Tool Chain User Manual Deliverable Number: D4.2a Version: 1.0 Date: December, 2016 Public Document http://into-cps.au.dk