MTV: METHODS & TOOLS 4 VERIFICATION MASTER COMPUTER SCIENCE MARIEKE HUISMAN: STUDY ADVISOR MY NAME: JACO VAN DE POL
|
|
- Bertram Lynch
- 5 years ago
- Views:
Transcription
1 MTV: METHODS & TOOLS 4 VERIFICATION MASTER COMPUTER SCIENCE MARIEKE HUISMAN: STUDY ADVISOR MY NAME: JACO VAN DE POL
2 OVERVIEW Motivation Program Tools and Techniques Why choose MTV? (or avoid it)
3 MoTiVation: ICT creates a new technology & a new society so it better be reliable is it? Software bugs cost millions and even lives
4 Large Hadron Collider, CERN WHY? METHODS & TOOLS 4 VERIFICATION Complexity of systems is increasing Networks & Devices IoT Parallel Computing, Big Data, MRI scanner ICT is crucial everywhere in society How do we justify that software is: Correct? Safe & Secure? Efficient? Reliable? Ariana 5 Before After
5 VERIFICATION ENGINEERS & SCIENTISTS METHODS & TOOLS 4 VERIFICATION verification engineer : hits in Google Skills that we love to teach you: 1. Modeling software, systems, requirements 2. Reasoning by logic, theorem proving, model checking 3. Systematic testing, run-time monitoring 4. Algorithm design for high-performance, automated reasoning
6 OVERVIEW Motivation Program Tools and Techniques Why choose MTV? (or avoid it)
7 PROGRAM FIRST YEAR METHODS & TOOLS 4 VERIFICATION 5 Basic Courses (5EC): Advanced Logic Testing Techniques System Validation Modeling & Analysis of Concurrent Systems Computer Ethics 7 Elective Courses (5EC) : E.g.: in math (graph theory) & quantitative analysis (optimization) E.g.: in software technology, risk analysis, E.g.: in embedded systems E.g.: individual projects, industrial internship
8 PROGRAM SECOND YEAR METHODS & TOOLS 4 VERIFICATION 4 Advanced Courses (5EC): Building a high-performance model checker Program Verification Advanced Programming Concepts Limits to Computing Choose 2 out of 4 Optimization Modeling Principles of Model Checking Final Project (40EC): International Research Orientation / Research Topics Final Thesis
9 OVERVIEW Motivation Program Tools and Techniques Why choose MTV? (or avoid it)
10 SPECIFYING CONCURRENT DATA STRUCTURES Tools and Techniques: Software Specification and Verification Annotated Java programs ( assert ) public class Animal implements Gendered { //... protected /*@ int age = 0; Web pages Unit tests jmldoc jmlunit /*@ requires 0 <= a && a <= ensures age == requires a < ensures age == public void setage(final int a) { if (0 <= a) { age = a; } } } Bogor Model checking Warnings ESC/Java2 JACK, Jive, Krakatoa, KeY, LOOP Correctness proof Generation of specifications Verification of concurrent software Verification of bytecode Annotation of java.util.concurrent! By courtesy of Gary Leavens
11 HIGH PERFORMANCE MODEL CHECKING Binary decision diagram Multi-core graph algorithms
12 QUANTITATIVE SYSTEM ASPECTS IMPORTANT FOR ALL APPLICATIONS How many tries needed on average? How fast is your system? Are all deadlines met? Probing Sending every over unreliable 3 seconds channel until ack 0.9 Success cl == 3 RecAck? SendProbe! Retry 0.1 cl :=0 Not only: does it work correctly? But also: How reliable is my system? What is the probability of failure How much is my performance / throughput / is it on time? How much costs/energy? Survive until next battery recharge?
13 APPLICATIONS ANALYSIS & SYNTHESIS & OPTIMIZATION Safety: A safe railway system, with smart maintenance and high capacity Also: health, storm surge barrier, automotive, nuclear, Energy / optimization: Design a schedule so your phone-battery / a nano-satellite runs longer Design a maintenance strategy: cheap and efficient High-performance computing: How to verify GP-GPU applications? Also: use GP-GPU, Multi-core, Hadoop,
14 OVERVIEW Motivation Program Techniques & Tools Why choose MTV? (or avoid it)
15 WHY CHOOSE MTV? (AND WHEN BETTER AVOID IT) You want more computer science (not less) following up on: Software Systems, Discrete Structures & Algorithms, Programming Paradigms Next level: logical reasoning, modeling and analysis, algorithms Many problem challenges and world-wide competitions You could start a good track towards a scientific career Staff members are dedicated, internationally reputed researchers We also offer practical internships in verification engineering Vb: BetterBe, Nedap, ProRail/Movares, NASA Ames, Neopost, Great teachers, and a great team of MSc and PhD students
16 TEACHERS AND RESEARCHERS
17 YOU ARE WELCOME JOIN MTV! We look forward to you: To teach you Develop research together Have fun in a nice group Society needs you: Reliable Software to drive society As a professional: verification engineer verification scientist
18 More information Do not forget the flyer MTV webpage Overview of past, present and future final projects Talk with the programme mentor Marieke Huisman Zilverling, room 5031, tel. 4662
JML tool-supported specification for Java Erik Poll Radboud University Nijmegen
JML tool-supported specification for Java Erik Poll Radboud University Nijmegen Erik Poll - JML p.1/41 Overview The specification language JML Tools for JML, in particular runtime assertion checking using
More informationFormal Methods for Java
Formal Methods for Java Lecture 30: Conclusion Jochen Hoenicke Software Engineering Albert-Ludwigs-University Freiburg Feb 17, 2012 Jochen Hoenicke (Software Engineering) FM4J Feb 17, 2012 1 / 21 Topics
More informationJava Modelling Language (JML) References
Java Modelling Language (JML) References G. T. Leavens and Y. Cheon. Design by Contract with JML, August 2005. L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G. T. Leavens, K. R. M. Leino, and E. Poll.
More informationUvA Master Evening February 15, 2018 Computer Science
UvA Master Evening February 15, 2018 Computer Science A Joint Master Degree offered by: Alban Ponse, University of Amsterdam UvA Master Evening 2018/02/15: Computer Science 1/19 UvA Master Evening February
More informationJML. Outline. Métodos Formais em Engenharia de Software. MI, Braga these slides were prepared by adopting/adapting teaching material
Métodos Formais em Engenharia de Software JML José Carlos Bacelar Almeida Departamento de Informática Universidade do Minho MI, Braga 2008 Outline Design by Contract and JML Design by Contract Java Modeling
More informationJML. Java Modeling Language
JML Java Modeling Language Overview About the JML Project DBC Design By Contract JML concepts, examples, syntax and capabilities Basics Exceptions Invariants Assertions Quantifiers Other keywords JML hiding
More informationAn Aspect-Oriented Approach. Henrique Rebêlo Informatics Center
An Aspect-Oriented Approach to implement JML Features Henrique Rebêlo Informatics Center Federal University of Pernambuco Summary jmlc problems bigger code, slower code, no suppport for Java ME, and bad
More informationAcademic Reference Standards (ARS) for Electronics and Electrical Communications Engineering, B. Sc. Program
Academic Reference Standards (ARS) for Electronics and Electrical Communications Engineering, B. Sc. Program Faculty of Electronic Engineering Menoufya University MARCH 2015 1 st Edition Contents Introduction.....2
More informationCATALOG 2018/2019 BINUS UNIVERSITY. Computer Science. Introduction. Vision. Mission
Computer Science Introduction In the new millennium and the global era, the role of information and automation in the various domains and activities of the business industry are becoming more important.
More informationBachelor of Computer Science (Course Code: C2001)
Bachelor of Computer Science (Course Code: C2001) Bachelor of Computer Science Double degrees with: Commerce (Course Code: B2008) Science (Course Code: S2004) Enrolment Information 2019 Faculty of Information
More informationJava Modelling Language (JML) References
Java Modelling Language (JML) References www.jmlspecs.org G. T. Leavens and Y. Cheon, Design by Contract with JML, August 2005. C. Marché, C. Paulin-Mohring, and X. Urbain, The Krakatoa Tool for Cerification
More informationWelcome to Maastricht University. School of Business and Economics
Welcome to Maastricht University School of Business and Economics MSc Business Intelligence and Smart Services (BISS) Service design and development in cyber-society Dr. Alexander Grigoriev Why should
More informationMSc(IT) Program. MSc(IT) Program Educational Objectives (PEO):
MSc(IT) Program Master of Science (Information Technology) is an intensive program designed for students who wish to pursue a professional career in Information Technology. The courses have been carefully
More informationJML s Rich, Inherited Specifications for Behavioral Subtypes
JML s Rich, Inherited Specifications for Behavioral Subtypes Gary T. Leavens TR #06-22 August 11, 2006 Keywords: Supertype abstraction, behavioral subtype, behavioral subtyping, modularity, specification
More informationMatching the Present and the Future!
R esilient and S ecure C yber P hysical S ystems: Matching the Present and the Future! Prof. Andrea Bondavalli DIMAI Firenze, 11/7/2017 R esilient and S ecure C yber P hysical S ystems Outline Key elements
More informationEndorsement: Business & Industry
Endorsement: Business & Industry Students will learn about a variety of IT concepts including computer software, computer hardware, careers in IT, and how to prepare and give presentations. Students will
More informationAdvances in Programming Languages
T O Y H Advances in Programming Languages APL4: JML The Java Modeling Language David Aspinall (slides originally by Ian Stark) School of Informatics The University of Edinburgh Thursday 21 January 2010
More informationDepartment of Computer Science and Engineering
Department of Computer Science and Engineering 1 Department of Computer Science and Engineering Department Head: Professor Edward Swan Office: 300 Butler Hall The Department of Computer Science and Engineering
More informationCurriculum Mapping for National Curriculum Statement Grades R-12 and Oracle Academy.
Curriculum Mapping for National Curriculum Statement Grades R-12 and Oracle Academy. Contents Executive Summary... 3 IT Curriculum Overview... 3 Aims... 3 Oracle Academy Introduction to Computer Science...
More informationSchool of Engineering and Technology. Department of Engineering
1 2 School of Engineering and Technology Department of Engineering 3 Bachelor of Science in Communication Engineering The program focuses on the technical aspects of digital and analog communications,
More informationCOMPUTER SCIENCE INTERNET SCIENCE AND TECHOLOGY HUMAN MEDIA INTERACTION BUSINESS INFORMATION TECHNOLOGY
COMPUTER SCIENCE INTERNET SCIENCE AND TECHOLOGY HUMAN MEDIA INTERACTION BUSINESS INFORMATION TECHNOLOGY UNIVERSITY OF DIGITAL REVOLUTION. Fourth industrial revolution is upon us and you can be part of
More informationProgram Verification (6EC version only)
Program Verification (6EC version only) Erik Poll Digital Security Radboud University Nijmegen Overview Program Verification using Verification Condition Generators JML a formal specification language
More informationCATALOG 2017/2018 BINUS UNIVERSITY. Cyber Security. Introduction. Vision. Mission
Cyber Security Introduction Cyber attack is raising and threaten ubiquitous world on internet today. Industry and government need cyber security expert to counter and defend from this threaten. Cyber Security
More informationCourse Information
Course Information 2018-2020 Master of Information Systems: Management and Innovation Institutt for teknologi / Department of Technology Index Index... i 1... 1 1.1 Content... 1 1.2 Name... 1 1.3 Programme
More informationStudents in the 12-course program will have the following degree requirements:
The (MPCS) at the is a professionally-oriented Masters in Computer Science degree in applied computing. The program combines the foundations of computer science with the applied skills necessary for careers
More informationUndergraduate Program for Specialty of Software Engineering
Undergraduate Program for Specialty of Software Engineering Ⅰ. Length of Schooling Standard: 4 years; Length of Schooling: 3-6 years Ⅱ. Degree Bachelor of Engineering Ⅲ. Specialty Orientation School of
More informationMASTER OF SCIENCE (M.S.) MAJOR IN COMPUTER SCIENCE (NON-THESIS OPTION)
Master of Science (M.S.) Major in Computer Science (Non-thesis Option) 1 MASTER OF SCIENCE (M.S.) MAJOR IN COMPUTER SCIENCE (NON-THESIS OPTION) Major Program The Master of Science (M.S.) degree with a
More informationDEPARTMENT OF COMPUTER SCIENCE
Department of Computer Science 1 DEPARTMENT OF COMPUTER SCIENCE Office in Computer Science Building, Room 279 (970) 491-5792 cs.colostate.edu (http://www.cs.colostate.edu) Professor L. Darrell Whitley,
More informationEstablishment of new Department of Informatics, UNIRI and experiences in teaching SE course
Establishment of new Department of Informatics, UNIRI and experiences in teaching SE course Nataša Hoić-Božić, natasah@inf.uniri.hr Sanja Čandrlić, sanjac@inf.uniri.hr Odjel za informatiku, Sveučilište
More informationEndorsement: Business & Industry
Endorsement: Business & Industry Students will learn about a variety of IT concepts including computer software, computer hardware, careers in IT, and how to prepare and give presentations. Students will
More informationRegistration Workshop. Nov. 1, 2017 CS/SE Freshman Seminar
Registration Workshop Nov. 1, 2017 CS/SE Freshman Seminar Computer Science Department Website: http://cs.mtech.edu Program descriptions under Degrees & Options Mission statements under Accreditation &
More informationThe Information Technology Program (ITS) Contents What is Information Technology?... 2
The Information Technology Program (ITS) Contents What is Information Technology?... 2 Program Objectives... 2 ITS Program Major... 3 Web Design & Development Sequence... 3 The Senior Sequence... 3 ITS
More informationASSIUT UNIVERSITY. Faculty of Computers and Information Department of Information Technology. on Technology. IT PH.D. Program.
ASSIUT UNIVERSITY Faculty of Computers and Information Department of Information Technology Informatiio on Technology PhD Program IT PH.D. Program Page 0 Assiut University Faculty of Computers & Informationn
More informationB.TECH(COMPUTER) Will be equipped with sound knowledge of mathematics, science and technology useful to build complex computer engineering solutions.
B.TECH(COMPUTER) PROGRAMME EDUCATIONAL OBJECTIVES: PEO1 PEO2 PEO3 PEO4 Will be equipped with sound knowledge of mathematics, science and technology useful to build complex computer engineering solutions.
More informationPROFESSIONAL MASTER S IN
I m in a new job I love. ERIC LAFONTAINE Service Operations Manager GE Healthcare Class of 2013 PROFESSIONAL MASTER S IN APPLIED SYSTEMS ENGINEERING GAIN A COMPETITIVE EDGE WITH A GEORGIA TECH DEGREE TODAY
More informationCATALOG 2016/2017 BINUS UNIVERSITY
Computer Science Introduction In the new millennium and the global era, the role of information and automation in the various domains and activities of the business industry are becoming more important.
More informationContents. Program 1. Java s Integral Types in PVS (p.4 of 37)
Java s Integral Types in PVS Bart Jacobs bart@cs.kun.nl www.cs.kun.nl/ bart www.verificard.org. Dep. Computer Science, Univ. Nijmegen, NL Contents I. Example programs II. Integral types in Java (implementations)
More informationPROGRAMME SPECIFICATION POSTGRADUATE PROGRAMMES
PROGRAMME SPECIFICATION POSTGRADUATE PROGRAMMES KEY FACTS Programme name Telecommunications and Networks Award MSc School School of Engineering and Mathematical Sciences Department or equivalent School
More informationSTUDENT AND ACADEMIC SERVICES
PROGRAMME SPECIFICATION Part 1: Information Awarding Institution Teaching Institution Delivery Location Study abroad / Exchange / Credit recognition Faculty responsible for programme Department responsible
More informationDesign by Contract and JML: concepts and tools
Métodos Formais em Engenharia de Software Design by Contract and JML: concepts and tools José Carlos Bacelar Almeida Departamento de Informática Universidade do Minho MI/MEI 2008/2009 1 Talk Outline Design
More informationStatic program checking and verification
Chair of Software Engineering Software Engineering Prof. Dr. Bertrand Meyer March 2007 June 2007 Slides: Based on KSE06 With kind permission of Peter Müller Static program checking and verification Correctness
More informationMSc Econometrics. VU Amsterdam School of Business and Economics. Academic year
MSc Econometrics VU Amsterdam School of Business and Economics Academic year 2018 2019 MSc Econometrics @ SBE VU Amsterdam prof. dr. Siem Jan Koopman (s.j.koopman@vu.nl) 2 of 27 MSc Econometrics @ SBE
More informationCRITERIA FOR ACCREDITING COMPUTING PROGRAMS
CRITERIA FOR ACCREDITING COMPUTING PROGRAMS Effective for Reviews During the 2014-2015 Accreditation Cycle Incorporates all changes approved by the ABET Board of Directors as of October 26, 2013 Computing
More informationThe JML Tool. Faculty of Engineering Pontificia Universidad Javeriana. The JML Tool p.1/23
The JML Tool Néstor Cataño ncatano@puj.edu.co Faculty of Engineering Pontificia Universidad Javeriana The JML Tool p.1/23 Tools for JML 1. Parsing and type-checking 2. Checking assertions at runtime 3.
More informationThank you in advance for your interest and we look forward to working together!
Dear Sir/Madam, In collaboration with Mitacs, Ericsson Garage Montreal has the pleasure of inviting Graduate Masters and Ph.D. candidates from your institution to participate in this National Call for
More informationAdvances in Programming Languages
O T Y H Advances in Programming Languages APL8: ESC/Java2 David Aspinall (including slides by Ian Stark and material adapted from ESC/Java2 tutorial by David Cok, Joe Kiniry and Erik Poll) School of Informatics
More informationProgram Analysis and Code Verification
Program Analysis and Code Verification http://d3s.mff.cuni.cz Pavel Parízek CHARLES UNIVERSITY IN PRAGUE faculty of mathematics and physics Language Lectures: English Labs: English Homework: Czech/English
More informationINNOVATIVE COMMUNICATION TECHNOLOGIES AND ENTREPRENEURSHIP (ICTE)
INNOVATIVE COMMUNICATION TECHNOLOGIES AND ENTREPRENEURSHIP (ICTE) MASTER OF SCIENCE (MSc) IN ENGINEERING HENNING OLESEN ASSOCIATE PROFESSOR, COORDINATOR OF ICTE OLESEN@CMI.AAU.DK Presentation for ICTE
More informationCONCENTRATIONS: HIGH-PERFORMANCE COMPUTING & BIOINFORMATICS CYBER-SECURITY & NETWORKING
MAJOR: DEGREE: COMPUTER SCIENCE MASTER OF SCIENCE (M.S.) CONCENTRATIONS: HIGH-PERFORMANCE COMPUTING & BIOINFORMATICS CYBER-SECURITY & NETWORKING The Department of Computer Science offers a Master of Science
More informationGesamtbericht PIASTA Seminare und Workshops PhD SoSe16 (Komm.) Erfasste Fragebögen = 26
Gesamtbericht PIASTA Seminare und Workshops PhD SoSe (Komm.) Erfasste Fragebögen = Gesamtbericht PIASTA Seminare und Workshops PhD SoSe (Komm.) Legende Relative Häufigkeiten der Antworten Std.-Abw. Mittelwert
More informationIntroduction to JML David Cok, Joe Kiniry, and Erik Poll Eastman Kodak Company, University College Dublin, and Radboud University Nijmegen
Introduction to JML David Cok, Joe Kiniry, and Erik Poll Eastman Kodak Company, University College Dublin, and Radboud University Nijmegen David Cok, Joe Kiniry & Erik Poll - ESC/Java2 & JML Tutorial p.1/30
More informationCommunication (COMM) Communication (COMM) 1
Communication (COMM) 1 Communication (COMM) COMM 110. Fundamentals of Public Speaking. 3 Credits. Theory and practice of public speaking with emphasis on content, organization, language, delivery, and
More informationSecond Semester. Third Semester
B.E. (Computer Engineering) 2017 Course Scheme (ALL YEARS) after Modifications as suggested in HEADS/UG Cooordinators meeting with DOAA on February 16, 2017 (20+X) Model First Semester UCB008 APPLIED CHEMISTRY
More informationAP Computer Science A (Java) Scope and Sequence
AP Computer Science A (Java) Scope and Sequence The CodeHS AP Java course is a year-long course designed to help students master the basics of Java and equip them to successfully pass the AP Computer Science
More informationMing Chuan University Procedures for 10 Pillars Competency Evaluation
Ming Chuan University Procedures for 10 Pillars Competency Evaluation Passed at Administrative Council Meeting on April 27, 2015 Article 1 In order to achieve the Ming Chuan University (herein referred
More informationcertification.setac.org Certification Contact of Environmental Risk Assessors Phone: certification.setac.
certification.setac.org Certification Contact Phone: +32 2 772 72 81 Email: CRA@setac.org certification.setac.org of Environmental Risk Assessors The SETAC Europe Certification of Environmental Risk Assessors
More informationProgram Proposal for a Direct Converted Program. BS in COMPUTER SCIENCE
Program Proposal for a Direct Converted Program BS in COMPUTER SCIENCE Document Page number Curriculum Sheet p. 2 p. -year Roadmap p. p. 5 Two Year Course Schedule p. 6 (2018 2019 AY and 2019 2020 AY)
More informationBachelor of Information Technology (Network Security)
Course information for Bachelor of Information Technology (Network Security) Course Number HE20524 Location Meadowbank Course Design The Bachelor of Information Technology (Network Security) is a three-year
More informationComputing Accreditation Commission Version 2.0 CRITERIA FOR ACCREDITING COMPUTING PROGRAMS
Computing Accreditation Commission Version 2.0 CRITERIA FOR ACCREDITING COMPUTING PROGRAMS Optional for Reviews During the 2018-2019 Accreditation Cycle Mandatory for Reviews During the 2019-2020 Accreditation
More informationPRESENTED BY. Abertay Ethical Hacking Secretary Harley
2018 PROGRAMME PRESENTED BY Abertay Ethical Hacking Society team@hacksoc.co.uk @AbertayHackers President Kyle Vice-President Mikey Treasurer Declan Secretary Harley DESIGN BY Cari Watterton cari-erica-watterton.com
More informationLesson Guides PRE-INTERMEDIATE
Lesson Guides PRE-INTERMEDIATE British Council 2018 The British Council is the United Kingdom s international organisation for cultural relations and educational opportunities. PRE-INTERMEDIATE LESSON
More informationThe Oracle Academy Introduction to Computer Science
The Oracle Academy Introduction to Computer Science The Oracle Academy Welcome! Caron Newman Senior Curriculum Manager The Oracle Academy www.sitwithme.org 2 2012 Oracle Corporation The Oracle Academy
More informationMaster s Programme in Service Design and Engineering
Master s Programme in Service Design and Engineering Degree Programme in Computer Science and Engineering Degree: Master of Science in Technology - M.Sc. (Tech) 120 ECTS Major: Service Design and Engineering
More informationAll LJMU programmes are delivered and assessed in English
PROGRAMME SPECIFICATION Master of Science in Computer Forensics Awarding institution Teaching institution JACS Code Programme Duration Language of Programme Subject benchmark statement Programme accredited
More informationCurriculum (Structure) for. M. Tech. With Effect From. Academic Year (F. Y. M. Tech.) (S. Y. M. Tech.)
Curriculum (Structure) for M. Tech. Computer Science and Information Technology With Effect From Academic Year 2018-2019 (F. Y. M. Tech.) 2019-2020 (S. Y. M. Tech.) Teaching and Evaluation Scheme First
More informationCGS 1920 Introduction to Computing. Overview CS, CE, IT, MIS
CGS 1920 Introduction to Computing Overview CS, CE, IT, MIS Content Overview of CS,CE,MIS,IT. Curriculum of CS,CE,MIS,IT. FIU CS and CE Course Comparison MIS undergraduate and graduate level curriculum
More informationDoctoral School: József Hatvany Doctoral School for Computer Science and Engineering
University of Miskolc Faculty of Mechanical Engineering and Doctoral School: József Hatvany Doctoral School for Computer Science and Engineering Name of the Study Program: Computer Science and Engineering
More informationComputer Science (COMP)
2017-2018 Prairie View A & M University 1 Computer Science (COMP) Courses COMP 1003 Digital Communication: 3 semester hours. Efficient communication in the digital world, including multi-media editing,
More informationPART-TIME MASTER S DEGREE PROGRAM. Information Systems. Choose from seven specializations study on campus and online.
PART-TIME MASTER S DEGREE PROGRAM Information Systems Choose from seven specializations study on campus and online. The IT program for leaders MASTER OF SCIENCE IN INFORMATION SYSTEMS The part-time MSIS
More informationCourse Information
Course Information 2018-2020 Master of Information Systems: Digital Business System Institutt for teknologi / Department of Technology Index Index... i 1 s... 1 1.1 Content... 1 1.2 Name... 1 1.3 Programme
More informationThe Use of JML in Embedded Real-Time Systems
The Use of JML in Embedded Real-Time Systems Joseph Kiniry Technical University of Denmark JTRES 2012 24 October 2012 Acknowledgements Some content based on an OOPSLA tutorial by: Gary T. Leavens, Curtis
More informationHonours in Information Systems
Honours in Information Systems Contents Admission - Honours ( Information Systems)... 2 Application... 2 Degree Overview... 2 Programme Objectives... 2 Programme Structure... 3 Programme Details... 4 Delivery...
More informationFormale Entwicklung objektorientierter Software
Formale Entwicklung objektorientierter Software Praktikum im Wintersemester 2008/2009 Prof. P. H. Schmitt Christian Engel, Benjamin Weiß Institut für Theoretische Informatik Universität Karlsruhe 5. November
More informationCSCI 201L Syllabus Principles of Software Development Spring 2018
L Syllabus Principles of Software Development Spring 2018 Instructor: Jeffrey Miller, Ph.D. Email: jeffrey.miller@usc.edu Web Page: http://www-scf.usc.edu/~csci201 Office: SAL 342 Phone: 213-740-7129 Lectures:
More informationAcademic Course Description
BEC003 Integrated Services Digital Network Academic Course Description BHARATH UNIVERSITY Faculty of Engineering and Technology Department of Electronics and Communication Engineering BEC002INTEGRATED
More informationSTUDIES IN DIGITAL SYSTEMS INVESTMENT ON KNOWLEDGE OF DIGITAL SYSTEMS
STUDIES IN DIGITAL SYSTEMS INVESTMENT ON KNOWLEDGE OF DIGITAL SYSTEMS Presentation Overview Location of the Department s premises The Department in a Nutshell Studies and Education: Offered in the context
More informationASSIUT UNIVERSITY. Faculty of Computers and Information Department of Information Systems. IS Ph.D. Program. Page 0
ASSIUT UNIVERSITY Faculty of Computers and Information Department of Information Systems Informatiio on Systems PhD Program IS Ph.D. Program Page 0 Assiut University Faculty of Computers & Informationn
More informationBachelor of Engineering Technology (Electronics & Controls) Curriculum Document. Australian College of Kuwait. (September 2015) BEEF15 - Version 5.
Bachelor of Engineering Technology (Electronics & Controls) Curriculum Document Australian College of Kuwait (September 2015) BEEF15 - Version 5.1 FOREWORD In this document, a curriculum for Bachelor of
More informationEuropean Risk Management Certification. Candidate Information Guide
European Risk Management Certification Candidate Information Guide Presentation of FERMA Certification 3 Benefits 4 Eligibility criteria 5 Application and fees Examination details Syllabus: FERMA rimap
More informationJava Modeling Language (JML)
CIS 771: Software Specifications Introduction to JML Java Modeling Language (JML) A behavioral interface specification language for Java supporting design-by-contract (DBC)... invented by Gary T. Leavens
More informationCyber Security School
Cyber Cyber Security School FUTURE PROOF Y SECURITY TALENT "The UK needs to tackle the systemic issues at the heart of the Cyber skills shortage..." National Cyber Security Strategy 2016-2021, HM Government
More informationComputer Science & Engineering Department, School of Engineering UG Prospectus
Computer Science & Engineering Department, School of Engineering UG Prospectus Department of Computer Science & Engineering, School of Engineering at Shiv Nadar University offers B.Tech programs in, Computer
More informationOverview of the ECE Computer Software Curriculum. David O Hallaron Associate Professor of ECE and CS Carnegie Mellon University
Overview of the ECE Computer Software Curriculum David O Hallaron Associate Professor of ECE and CS Carnegie Mellon University The Fundamental Idea of Abstraction Human beings Applications Software systems
More informationCOMPUTER SCIENCE, BACHELOR OF SCIENCE (B.S.)
Computer Science, Bachelor of Science (B.S.) 1 COMPUTER SCIENCE, BACHELOR OF SCIENCE (B.S.) The Bachelor of Science in Computer Science is built on a rigorous, highly concentrated, accredited curriculum
More informationWhy use Remind? Get students and parents to sign up for your Remind class! How is Remind safe?
remind.com Why use Remind? Remind helps you connect instantly with students and parents on their mobile devices. SAVE TIME Send or schedule quick Announcements to your class, sports team, school club,
More informationSCU SEEDs Workshop Angela Musurlian
SCU SEEDs Workshop Angela Musurlian Lecturer Department of Computer Engineering Santa Clara University amusurlian@scu.edu 1 This Talk Part I Computing Part II Computing at SCU Part III Today s activity
More information(FHEQ) level 6] 3 years full-time; 4 years full-time including a year of study abroad and/or work placement. I301 (4-years) Computing, Engineering
Faculty of Engineering and Informatics Programme Specification Programme title: BEng (Hons) Software Engineering Academic Year: 2018/19 Degree Awarding Body: Partner(s), delivery organisation or support
More informationINFORMATION TECHNOLOGY, BS
Information Technology, BS 1 INFORMATION TECHNOLOGY, BS Banner Code: VS-BS-INFT Academic Advising 5400 Nguyen Engineering Building Fairfax Campus 101 Bull Run Hall Science and Technology Campus Phone:
More informationMLIS eportfolio Guidelines
ST. CATHERINE UNIVERSITY MLIS eportfolio Guidelines APRIL 15, 2018 LIS 8900 EPORTFOLIO (0 CREDIT) All students are required to complete an eportfolio in order to fulfill graduation requirements. Students
More informationWhat Do. the space program a rock concert and your favorite team. have in common? INTERNATIONAL
What Do the space program a rock concert and your favorite team have in common? infocomm INTERNATIONAL They all depend on AV professionals to connect to their fans infocomm INTERNATIONAL In search of an
More informationCURRICULUM BACHELOR OF SCIENCE IN COMPUTER SCIENCE AMACC Makati
PROGRAM DESCRIPTION The Bachelor of Science in Computer Science program is designed to provide outcome-based training in computing that is not only nationally accredited but also globally competitive and
More informationComputing Yi Fang, PhD
Computing Yi Fang, PhD Department of Computer Engineering Santa Clara University yfang@scu.edu http://www.cse.scu.edu/~yfang/ 1 This Talk Part I Computing Part II Computing at SCU Part III Data Science
More informationB.TECH IN COMPUTER SCIENCE AND ENGINEERING
B.TECH IN COMPUTER SCIENCE AND ENGINEERING III SEMESTER (2017-21 BATCH) Code Title Hours / week 1 UE17CS201 Digital Design and Organization 2 UE17CS202* Data Structures 3 UE17CS203 Data Science 4 UE17CS204
More informationDepartment of Computer Science
College of Science and Mathematics Department of Computer Science Dr. Vasil Hnatyshin Department Head Advising brochures also available online at: https://rucsm.org/cs/advising/brochures/ Fall 2017 Computer
More informationFaculty of Engineering and Informatics. Programme Specification. School of Electrical Engineering and Computer Science
School of Electrical Engineering and Computer Science Programme Specification Faculty of Engineering and Informatics Programme title: BSc (Hons) Computer Science for Business Academic Year: 2017/18 Degree
More informationVISVESVARAYA TECHNOLOGICAL UNIVERSITY, BELAGAVI Scheme of Teaching and Examination Choice Based Credit System (CBCS)
Scheme of and Examination 2017-2018 III SEMESTER Hours /Week Examination Credits in hours 1 17MAT31 Engineering Mathematics - III Maths 04 03 60 40 100 4 2 17CS32 Analog and Digital Electronics 04 03 60
More informationInformation Technology
Information Technology 2017-2018 Well connected. Right here 2 Contents weltec.ac.nz/it Introductory NZ Certificate in Information Technology Essentials 6 NZ Diploma in Information Technology (Technical
More informationAugust 18-19, 2018 (Saturday-Sunday)
August 18-19, 2018 (Saturday-Sunday) ORGANIZED BY: HUMAN RESOURCE DEVELOPMENT CENTER & SCHOOL OF COMPUTER & SCIENCE ENGINEERING LOVELY PROFESSIONAL UNIVERSITY PHAGWARA, PUNJAB. BACK DROP AND RATIONALE
More informationSCHOOL OF APPLIED HANDS ON. HIGH VALUE. TECHNOLOGY LIVE AND ONLINE COURSES
G R A D U A T E P R O G R A M S SCHOOL OF APPLIED TECHNOLOGY HANDS ON. HIGH VALUE. LIVE AND ONLINE COURSES At IIT School of Applied Technology (SAT) our focus is on the future. Our distinctive programs
More informationLecture 24 Wrap Up. Final Logistics CSE 331. Today. CSE 331 Software Design and Implementation. Wednesday, 8:30-10:20 AM
CSE 331 Software Design and Implementation Final Logistics Wednesday, 8:30-10:20 AM Lecture 24 Wrap Up Comprehensive, weighted towards 2 nd half Old exams on the web; some questions won t apply if we didn
More information