The University of Iowa. 22c181: Formal Methods in Software Engineering. Spring Course Overview
|
|
- Neal Caldwell
- 5 years ago
- Views:
Transcription
1 The University of Iowa 22c181: Formal Methods in Software Engineering Spring 2011 Course Overview Copyright Cesare Tinelli. These notes are copyrighted materials and may not be used in other course settings outside of the University of Iowa in their current form or modified form without the express written permission of one of the copyright holders. 22c181: Formal Methods in Software Engineering, Spring 11 p. 1/9
2 Staff Instructor: Cesare Tinelli Office hours (201D MLH): Mon 3:30 5pm, Thu 4:00 5:30pm, and by appointment Teaching Assistant: Ben Berman Office hours (201C MLH): Tue, Thu 10:30-12noon, and by appointment 22c181: Formal Methods in Software Engineering, Spring 11 p. 2/9
3 Course Info and Material All the relevant information about the course, including the syllabus, will be available on this website: Textbook: none. Class notes and additional reading material will be posted on the website Suggested reference for background in logic: M. Huth and M. Ryan. Logic in Computer Science. Cambridge University Press, 2004 (2nd edition) Distance education students will also have access to recorded lectures Check the website regularly! 22c181: Formal Methods in Software Engineering, Spring 11 p. 3/9
4 Course Design Goals Understand how formal methods (FM) help produce high-quality software Learn about formal modeling and specification languages Write and understand formal requirement specifications Learn about main approaches in formal software verification Know which formal methods to use and when Use automated and interactive tools to validate models and code 22c181: Formal Methods in Software Engineering, Spring 11 p. 4/9
5 Software Specification High-level semantic design Course Topics System design and behavioral properties Code-level properties Software Validation Model Finding/Checking: often automatic, abstract Deductive Verification: typically semi-automatic, precise (source code level) 22c181: Formal Methods in Software Engineering, Spring 11 p. 5/9
6 Course Organization Most of the course devoted to high-level semantic design and code-level properties Emphasis on tool-based specification and validation methods A few ungraded exercises Hands-on homeworks where you specify, design, and verify For each main topic An individual introductory homework A team mini-project 1 written midterm, 1 final exam More details on the syllabus and the website 22c181: Formal Methods in Software Engineering, Spring 11 p. 6/9
7 Language: Alloy Part I: High-level Design Lightweight modeling language for software design Amenable to a fully automatic analysis Aimed at expressing complex structural constraints and behavior in a software system Intuitive structural modeling tool based on first-order logic Automatic analyzer based on SAT solving technology Learning Outcomes Design and model software systems in the Alloy language Check models and their properties with the Alloy Analizer Understand what can and what cannot be expressed in Alloy 22c181: Formal Methods in Software Engineering, Spring 11 p. 7/9
8 Part II: Model-based Development Language: Lustre Executable specification language for synchronous reactive systems Designed for efficient compilation and formal verification Used in safety-critical applications industry Automatic analysis with tools based on model-checking techniques Learning Outcomes: Write system and property specifications in Lustre Perform simulations and verifications of Lustre models Understand what can and what cannot be expressed in Lustre 22c181: Formal Methods in Software Engineering, Spring 11 p. 8/9
9 Part III: Code-level Specification Languages: JML and/or Dafny Behavioral interface specification for Java/Dafny modules Based on the design by contract paradigm Formal semantics, same syntax as host programming lang. Specifications embedded in source code Various verification tools available Learning Outcomes: Write formal specifications and contracts in JML/Dafny Understand how source code and specs are represented in logic Verify functional properties of programs with automated tools 22c181: Formal Methods in Software Engineering, Spring 11 p. 9/9
In this course, you need to use Pearson etext. Go to "Pearson etext and Video Notes".
**Disclaimer** This syllabus is to be used as a guideline only. The information provided is a summary of topics to be covered in the class. Information contained in this document such as assignments, grading
More informationSan José State University Computer Science CS 122 Advanced Python Programming Spring 2018
Course and Contact Information San José State University Computer Science CS 122 Advanced Python Programming Spring 2018 Instructor: Office Location: Telephone: Email: Office Hours: Class Days/Time: Classroom:
More informationIn this course, you need to use Pearson etext. Go to "Pearson etext and Video Notes".
**Disclaimer** This syllabus is to be used as a guideline only. The information provided is a summary of topics to be covered in the class. Information contained in this document such as assignments, grading
More informationOverview of the Class
Overview of the Class Copyright 2014, Pedro C. Diniz, all rights reserved. Students enrolled in the Compilers class at the University of Southern California (USC) have explicit permission to make copies
More informationCSE 504: Compiler Design
http://xkcd.com/303/ Compiler Design Course Organization CSE 504 1 / 20 CSE 504: Compiler Design http://www.cs.stonybrook.edu/~cse504/ Mon., Wed. 2:30pm 3:50pm Harriman Hall 116 C. R. Ramakrishnan e-mail:
More informationOverview of the KeY System
22c181: Formal Methods in Software Engineering The University of Iowa Spring 2008 Overview of the KeY System Copyright 2007-8 Reiner Hähnle and Cesare Tinelli. Notes originally developed by Reiner Hähnle
More informationSan José State University College of Science/Department of Computer Science CS 152, Programming Language Paradigms, Section 03/04, Fall, 2018
San José State University College of Science/Department of Computer Science CS 152, Programming Language Paradigms, Section 03/04, Fall, 2018 Course and Contact Information Instructor: Thomas Austin Office
More informationOverview of the Class
Overview of the Class Copyright 2015, Pedro C. Diniz, all rights reserved. Students enrolled in the Compilers class at the University of Southern California (USC) have explicit permission to make copies
More informationCASPER COLLEGE COURSE SYLLABUS MSFT 1600 Managing Microsoft Exchange Server 2003 Semester/Year: Fall 2007
CASPER COLLEGE COURSE SYLLABUS MSFT 1600 Managing Microsoft Exchange Server 2003 Semester/Year: Fall 2007 Lecture Hours: 2 Lab Hours: 2 Credit Hours: 3 Class Time: Saturday 8:30 AM - 12:00 PM Room: BU
More informationKOMAR UNIVERSITY OF SCIENCE AND TECHNOLOGY (KUST)
Programming Concepts & Algorithms Course Syllabus Course Title Course Code Computer Department Pre-requisites Course Code Course Instructor Programming Concepts & Algorithms + lab CPE 405C Computer Department
More informationSan José State University Computer Science Department CS49J, Section 3, Programming in Java, Fall 2015
Course and Contact Information San José State University Computer Science Department CS49J, Section 3, Programming in Java, Fall 2015 Instructor: Aikaterini Potika Office Location: MacQuarrie Hall 215
More informationCMPS 182: Introduction to Database Management Systems. Instructor: David Martin TA: Avi Kaushik. Syllabus
CMPS 182: Introduction to Database Management Systems Instructor: David Martin TA: Avi Kaushik Syllabus Course Content Relational database features & operations Data definition, queries and update Indexes,
More informationReal-Time Operating Systems M. Course Syllabus, Spring 2013
Real-Time Operating Systems M Course Syllabus, Spring 2013 (For all students who passed the 2nd Midterm) NOTE: it is always possible to opt for the complete exam, even if the 2nd Midterm was successful.
More informationSan José State University Computer Science Department CS157A: Introduction to Database Management Systems Sections 5 and 6, Fall 2015
San José State University Computer Science Department CS157A: Introduction to Database Management Systems Sections 5 and 6, Fall 2015 Course and Contact Information Instructor: Ron Gutman Office Location:
More information22c:181 / 55:181 Formal Methods in Software Engineering
22c:181 / 55:181 Formal Methods in Software Engineering Design by Contract Copyright 2001-11, Matt Dwyer, John Hatcliff, Rod Howell, and Cesare Tinelli. Produced by Cesare Tinelli at the University of
More informationComputer Science Technology Department
Computer Science Technology Department Houston Community College Department Phone Number: ab Houston Community College ITSC 1309 Integrated Software Applications I Course Syllabus Instructor Course Reference
More informationBIO 139 HUMAN ANATOMY AND PHYSIOLOGY II LABORATORY SYLLABUS
BLUEGRASS COMMUNITY AND TECHNICAL COLLEGE NATURAL SCIENCES Spring 2013 BIO 139 HUMAN ANATOMY AND PHYSIOLOGY II LABORATORY SYLLABUS 0 CREDIT HOURS 2 CONTACT HOURS PREREQUISITE: BIO 137 COURSE DESCRIPTION:
More informationAE Computer Programming for Aerospace Engineers
AE 030 - Computer Programming for Aerospace Engineers Instructor Information: Credit: Professor Long Lu Long.Lu@sjsu.edu 2 units Class Times & Locations: Section 01 (Lecture): M 16:30-17:20 in CL 226 Section
More informationSan José State University Department of Computer Science CS049J, Programming in Java, Section 2, Fall, 2016
Course and Contact Information San José State University Department of Computer Science CS049J, Programming in Java, Section 2, Fall, 2016 Instructor: Office Location: Fabio Di Troia DH282 Telephone: Email:
More informationESET 369 Embedded Systems Software, Spring 2018
ESET 369 Embedded Systems Software, Spring 2018 Syllabus Contact Information: Professor: Dr. Byul Hur Office: Fermier 008A Telephone: (979) 845-5195 FAX: E-mail: byulmail@tamu.edu Web: rftestgroup.tamu.edu
More informationBOSTON UNIVERSITY Metropolitan College MET CS342 Data Structures with Java Dr. V.Shtern (Fall 2011) Course Syllabus
BOSTON UNIVERSITY Metropolitan College MET CS342 Data Structures with Java Dr. V.Shtern (Fall 2011) Course Syllabus 1. Course Objectives Welcome to MET CS342 Data Structures with Java. The intent of this
More informationISM 324: Information Systems Security Spring 2014
ISM 324: Information Systems Security Spring 2014 Instructor: Co-Instructor: Office: E-Mail: Phone: Office Hours: Jeffrey Wall Hamid Nemati 392 Bryan Building jdwall2@uncg.edu (email is the preferred method
More informationISATI 231: Windows Client (4 credits) Spring 2018 Mon, Tue, Wed, Thu, 13:10-14:40, MTB 105
INSTRUCTOR INFORMATION: ISATI 231: Windows Client (4 credits) Spring 2018 Mon, Tue, Wed, Thu, 13:10-14:40, MTB 105 Name: Joshua L. Rogers Office: Mechanical-Technical Building (MTB) 105A Tel: (208) 792-2817
More informationB. Subject-specific skills B1. Problem solving skills: Supply the student with the ability to solve different problems related to the topics
Zarqa University Faculty: Information Technology Department: Computer Science Course title: Programming LAB 1 (1501111) Instructor: Lecture s time: Semester: Office Hours: Course description: This introductory
More informationCentral Washington University Department of Computer Science Course Syllabus
Central Washington University Department of Computer Science Course Syllabus CS 110: Programming Fundamentals I December 27, 2015 1 Course Information Course Information Lecture: Mo,Tu,We: 10:00AM - 10:50AM,
More informationRochester Institute of Technology Golisano College of Computing and Information Sciences Department of Information Sciences and Technologies
Rochester Institute of Technology Golisano College of Computing and Information Sciences Department of Information Sciences and Technologies 4002-360.01 ~ Introduction to Database & Data Modeling ~ Spring
More informationTesting & Verification of Digital Circuits ECE/CS 5745/6745. Hardware Verification using Symbolic Computation
Testing & Verification of Digital Circuits ECE/CS 5745/6745 Hardware Verification using Symbolic Computation Instructor: Priyank Kalla (kalla@ece.utah.edu) 3 Credits Mon, Wed 1:25-2:45pm, WEB 2250 Office
More informationComputer Technology Division. Course Syllabus for: COMT Spring Instructor: Joe Bolen
Computer Technology Division Course Syllabus for: COMT 11009 Spring 2013 Instructor: Joe Bolen Course: Computer Assembly & Configuration COMT 11009 Spring 2013 / Tuscarawas / Call # 12133 / Section 800
More informationCoSci 440 SYLLABUS Programming in C++ INSTRUCTOR Mari Rettke cell SECTION : and 13345
CoSci 440 SYLLABUS Programming in C++ INSTRUCTOR Mari Rettke samusher@aol.com 818.470.8419 - cell SECTION : 13327 and 13345 Course Description Covers C++ language and object-oriented programming paradigm.
More informationOperating Systems (ECS 150) Spring 2011
Operating Systems (ECS 150) Spring 2011 Raju Pandey Department of Computer Science University of California, Davis CA 95616 pandey@cs.ucdavis.edu http://www.cs.ucdavis.edu/~pandey Course Objectives After
More informationOverview of the Course
Overview of the Course Critical Facts Welcome to CISC 471 / 672 Compiler Construction Topics in the design of programming language translators, including parsing, semantic analysis, error recovery, code
More informationObject-Oriented Programming CSCI-UA
Object-Oriented Programming CSCI-UA 0470-001 Instructor: Thomas Wies Spring 2017 Class 1 - Introduction Object-oriented programming is an exceptionally bad idea which could only have originated in California.
More informationSan Jose State University College of Science Department of Computer Science CS151, Object-Oriented Design, Sections 1,2 and 3, Spring 2017
San Jose State University College of Science Department of Computer Science CS151, Object-Oriented Design, Sections 1,2 and 3, Spring 2017 Course and Contact Information Instructor: Dr. Kim Office Location:
More informationAPM Introductory Certificate. Project Management. Course Guide
APM Introductory Certificate in Project Management Course Guide Thales Training & Consultancy, October 2012 1 Thales Training & Consultancy, 2012 All rights reserved. This document may be used by students
More informationSyllabus of ENPM 691: Secure Programming in C
Syllabus of ENPM 691: Secure Programming in C Spring Semester 2018 Instructor: Dharmalingam Ganesan, PhD Contact: dganesan@umd.edu Class hours: Thursday 7:00 PM to 9:40 PM Class location: TBA Course Description:
More informationCS415 Compilers Overview of the Course. These slides are based on slides copyrighted by Keith Cooper, Ken Kennedy & Linda Torczon at Rice University
CS415 Compilers Overview of the Course These slides are based on slides copyrighted by Keith Cooper, Ken Kennedy & Linda Torczon at Rice University Critical Facts Welcome to CS415 Compilers Topics in the
More informationSYLLABUS. Departmental Syllabus
SYLLABUS DATE OF LAST REVIEW: 02/2013 CIP CODE: 11.0901 SEMESTER: COURSE TITLE: COURSE NUMBER: SQL Server CIST-0226 CREDIT HOURS: 4 INSTRUCTOR: OFFICE LOCATION: OFFICE HOURS: TELEPHONE: EMAIL: PREREQUISITE(S):
More informationCS 682: Computer Vision
CS 682: Computer Vision Dr. Zoran Duric CS Dept. GMU January 27, 2009 Office: S&T II, Rm. 427 email: zduric@cs.gmu.edu Office Hours: Tue. 2:00-4:00pm, Thu 1:30-2:30pm or by app. URL: http://www.cs.gmu.edu/
More informationSan José State University College of Science / Department of Computer Science Introduction to Database Management Systems, CS157A-3-4, Fall 2017
San José State University College of Science / Department of Computer Science Introduction to Database Management Systems, CS157A-3-4, Fall 2017 Course and Contact Information Instructor: Dr. Mike Wu Office
More informationBIO 139 HUMAN ANATOMY AND PHYSIOLOGY II LABORATORY SYLLABUS
BLUEGRASS COMMUNITY AND TECHNICAL COLLEGE NATURAL SCIENCES Spring 2011 BIO 139 HUMAN ANATOMY AND PHYSIOLOGY II LABORATORY SYLLABUS 0 CREDIT HOURS 2 CONTACT HOURS PREREQUISITE: BIO 137 COURSE DESCRIPTION:
More informationCS:5810 Formal Methods in Software Engineering
CS:5810 Formal Methods in Software Engineering Introduction to Alloy Part 1 Copyright 2001-17, Matt Dwyer, John Hatcliff, Rod Howell, Laurence Pilard, and Cesare Tinelli. Created by Cesare Tinelli and
More informationITSY Information Technology Security Course Syllabus Spring 2018
ITSY 1342 - Information Technology Security Course Syllabus Spring 2018 Instructor Course Reference Number (CRN) Course Description: Name: Fidelis Ngang Tel: 713-718-5552 Office: Spring Branch, Room 900L
More informationComputer Science Technology Department
Computer Science Technology Department Houston Community College Department Phone Number: ab Houston Community College ITMT 1370 Windows Client Operating System - Windows 10 Course Syllabus Summer 2017
More informationSchool of Computer Science
School of Computer Science Computer Science (CS) modules CS1002 Object-Oriented Programming Computer Science - 1000 & 2000 Level - 2016/7 - December 2016 SCOTCAT Credits: 20 SCQF Level 7 Semester: 1 3.00
More informationBIO 139 HUMAN ANATOMY AND PHYSIOLOGY II LABORATORY SYLLABUS
BLUEGRASS COMMUNITY AND TECHNICAL COLLEGE NATURAL SCIENCES Summer 2011 BIO 139 HUMAN ANATOMY AND PHYSIOLOGY II LABORATORY SYLLABUS 0 CREDIT HOURS 2 CONTACT HOURS PREREQUISITE: BIO 137 COURSE DESCRIPTION:
More informationSan José State University College of Science/Department of Computer Science CS152, Programming Paradigms, Sections 1 & 2 Spring Semester, 2018
Course and Contact Information San José State University College of Science/Department of Computer Science CS152, Programming Paradigms, Sections 1 & 2 Spring Semester, 2018 Instructor: Office Location:
More informationECE 156A - Syllabus. Description
ECE 156A - Syllabus Lecture 0 ECE 156A 1 Description Introduction to HDL (Hardware Description Language) basic elements, HDL simulation concepts, HDL concurrent statements with examples and applications,
More informationEmergency Vehicle Operation FIRE 106 Fire Training Certification. Course Outline
Emergency Vehicle Operation FIRE 106 Fire Training Certification Course Outline COURSE IMPLEMENTATION DATE: September 2015 OUTLINE EFFECTIVE DATE: September 2015 COURSE OUTLINE REVIEW DATE: April 2020
More informationSYLLABUS, MAJOR TOPICS & COMPUTERS
Introduction REINFORCED CONCRETE Reinforced Concrete Design A Fundamental Approach - Fifth Edition Fifth Edition SYLLABUS, MAJOR TOPICS & COMPUTERS A. J. Clark School of Engineering Department of Civil
More informationBeijing Jiaotong University CS-23: C++ Programming Summer, 2019 Course Syllabus
Beijing Jiaotong University CS-23: C++ Programming Summer, 2019 Course Syllabus Course Personnel: Instructor Name: Jovan Ilić Office: TBD Phone: TBD e-mail: TBD Teaching Assistants Name: TBD Office: TBD
More informationMarshall University MTH 100 Syllabus
Marshall University MTH 100 Syllabus Course Title/Number Preparation for College Mathematics A MTH 100 Semester/Year Spring 2016 Section/CRN 208 / 3975 Days/Time TR 12:30 1:45 PM Location SH 621 Instructor
More informationDatabase Security MET CS 674 On-Campus/Blended
Database Security MET CS 674 On-Campus/Blended George Ultrino gultrino@bu.edu Office hours: by appointment Course Description The course provides a strong foundation in database security and auditing.
More informationET345P Control Systems [Onsite]
ET345P Control Systems [Onsite] Course Description: Students examine the control of systems with programmable units. Applying digital logic to control industrial processes is emphasized. Prerequisite(s)
More informationVerifying Safety Property of Lustre Programs: Temporal Induction
22c181: Formal Methods in Software Engineering The University of Iowa Spring 2008 Verifying Safety Property of Lustre Programs: Temporal Induction Copyright 2008 Cesare Tinelli. These notes are copyrighted
More informationCS 3030 Scripting Languages Syllabus
General Information CS 3030 Scripting Languages Semester: Summer 2013 Textbook: Location: Instructor Info: Website: None. We will use freely available resources from the Internet. Online Ted Cowan tedcowan@weber.edu
More informationComputer Science Technology Department
Computer Science Technology Department Houston Community College Department Phone Number:713-718-6776 ab Houston Community College ITSW 2334Advanced Spreadsheets Course Syllabus Instructor Course Reference
More informationBIO 139 HUMAN ANATOMY AND PHYSIOLOGY II LABORATORY SYLLABUS
BLUEGRASS COMMUNITY AND TECHNICAL COLLEGE NATURAL SCIENCES Fall 2011 BIO 139 HUMAN ANATOMY AND PHYSIOLOGY II LABORATORY SYLLABUS 0 CREDIT HOURS 2 CONTACT HOURS PREREQUISITE: BIO 137 COURSE DESCRIPTION:
More informationIntroduction to UNIX
Introduction to UNIX Class time and location COP 3353, Spring 2011 Department of Computer Science, Florida State University Tuesday, 9:30AM-10:20 AM, 201 Milton Carothers Hall (MCH). (Note that this is
More informationSan Jose State University College of Science Department of Computer Science CS151, Object-Oriented Design, Sections 1, 2, and 3, Spring 2018
San Jose State University College of Science Department of Computer Science CS151, Object-Oriented Design, Sections 1, 2, and 3, Spring 2018 Course and Contact Information Instructor: Suneuy Kim Office
More informationCPS352 - DATABASE SYSTEMS. Professor: Russell C. Bjork Spring semester, Office: KOSC 242 x4377
CATALOG DESCRIPTION: CPS352 - DATABASE SYSTEMS Professor: Russell C. Bjork Spring semester, 2018-2019 Office: KOSC 242 x4377 MWF 11:25-12;25 Jenks 120 russell.bjork@gordon.edu Hours: MWF 2:10-3:10 pm;
More informationECE 467 Section 201 Network Implementation Laboratory
ECE 467 Section 201 Network Implementation Laboratory Spring 2015 Class Meets: Day: Wednesday Time: 4:30 PM to 7:10 PM Where: Johnson Center, Room G10C Instructor: Ben Allen My Contact Information: E-mail
More informationITT Technical Institute. VC130P Digital Type and Image Manipulation Onsite Course SYLLABUS
ITT Technical Institute VC130P Digital Type and Image Manipulation Onsite Course SYLLABUS Credit hours: 4 Contact/Instructional hours: 66 (46 Theory Hours, 20 Lab Hours) Prerequisite(s) and/or Corequisite(s):
More informationIvy Tech Community College of Indiana
Ivy Tech Community College of Indiana POLICY TITLE Testing Services POLICY NUMBER ASOM 4.7 PRIMARY RESPONSIBILITY Testing Centers CREATION/REVISION/EFFECTIVE DATES Created January 2016/effective immediately;
More informationSyllabus COSC-051-x - Computer Science I Fall Office Hours: Daily hours will be entered on Course calendar (or by appointment)
Syllabus COSC-051-x - Computer Science I Fall 2018 Instructor: Jeremy Bolton, Ph.D. Asst Teaching Professor Department of Computer Science Office: TBD (see Course calendar for office hours) Email: jeremy.bolton@georgetown.edu
More informationab Houston Community College
Computer Science Technology Department ab Houston Community College ITNW 1313 Computer Virtualization Course Syllabus Instructor Course Reference Number (CRN) Course Description: Course Prerequisite(s)
More informationFundamentals of Digital System Design ECE 3700, CPSC 3700
Fundamentals of Digital System Design ECE 3700, CPSC 3700 Instructor: Priyank Kalla (kalla@ece.utah.edu) 4 Credits Tue, Thu 1:25-1:45pm, WEB 1230 Office Hours: Tue, Thu: 2:30-4pm, or by appointment Office:
More informationCPS352 - DATABASE SYSTEMS. Professor: Russell C. Bjork Spring semester, Office: KOSC 242 x4377
CPS352 - DATABASE SYSTEMS Professor: Russell C. Bjork Spring semester, 2016-2017 Office: KOSC 242 x4377 MWF 3:20-4:20 pm KOSC 126 russell.bjork@gordon.edu Hours: MWF 2:10-3:10 pm; Tu 9:00 am - noon and
More informationCourse Syllabus MECHANICAL ENGINEERING LABORATORY I Spring 2006
Course Syllabus 22.302 - MECHANICAL ENGINEERING LABORATORY I Spring 2006 Classes: Instructors: Teaching Assistants: Textbook: Tuesday at 12:30 2:30 PM Majid Charmchi, B224, 934-2969; Majid_Charmchi@uml.edu
More informationIS Spring 2018 Database Design, Management and Applications
IS 331-004 Spring 2018 Database Design, Management and Applications Class Time: Monday/Wednesday 1:00 PM -2:25 PM Location: PC MALL 37 Instructor Information: Name: Dr. Art Hendela Office: 5108 GITC Phone
More informationCourse and Contact Information. Course Description. Course Objectives
San Jose State University College of Science Department of Computer Science CS157A, Introduction to Database Management Systems, Sections 1 and 2, Fall2017 Course and Contact Information Instructor: Dr.
More informationESET 369 Embedded Systems Software, Fall 2017
ESET 369 Embedded Systems Software, Fall 2017 Syllabus Contact Information: Professor: Dr. Byul Hur Office: Fermier 008A Telephone: (979) 845-5195 FAX: E-mail: byulmail@tamu.edu Web: rftestgroup.tamu.edu
More informationSan Jose State University College of Science Department of Computer Science CS185C, Introduction to NoSQL databases, Spring 2017
San Jose State University College of Science Department of Computer Science CS185C, Introduction to NoSQL databases, Spring 2017 Course and Contact Information Instructor: Dr. Kim Office Location: MacQuarrie
More informationProgramming Languages CSCE
Programming Languages CSCE 314 500 Class schedule: MW, 04:10pm 05:25pm Room: HECC 100 Homepage: http://courses.cs.tamu.edu/gdr/2013/314/ Prerequisite: CSCE 221 Instructor: Dr. Gabriel Dos Reis (gdr@cse.tamu.edu)
More informationCMPT 354 Database Systems I. Spring 2012 Instructor: Hassan Khosravi
CMPT 354 Database Systems I Spring 2012 Instructor: Hassan Khosravi Textbook First Course in Database Systems, 3 rd Edition. Jeffry Ullman and Jennifer Widom Other text books Ramakrishnan SILBERSCHATZ
More informationComputer Science Technology Department
Computer Science Technology Department Houston Community College Department Phone Number: 713-718-6776 ab Houston Community College ITSC 1301 Introduction to Computers Course Syllabus summer 2 nd 8 weeks,
More informationET285 Digital Electronics II [Onsite]
ET285 Digital Electronics II [Onsite] Course Description: This course continues the study of digital electronics. The focus in this course is on sequential logic. In lab, students construct, test and troubleshoot
More informationSan José State University Department of Computer Science CS151, Section 04 Object Oriented Design Spring 2018
San José State University Department of Computer Science CS151, Section 04 Object Oriented Design Spring 2018 Course and Contact Information Instructor: Vidya Rangasayee Office Location: MH 213 Telephone:
More informationCSCI 6312 Advanced Internet Programming
CSCI 6312 Advanced Internet Programming Section 01, Spring 2018, W, 5:55pm - 8:25pm Instructor: Emmett Tomai Office: ENGR 3.2100 Phone: 665-7229 Email: emmett.tomai@utrgv.edu Office hours: W 1 3pm, TR
More informationCourse and Contact Information. Course Description. Course Objectives
San Jose State University College of Science Department of Computer Science CS157A, Introduction to Database Management Systems, Sections 1 and 2, Fall2016 Course and Contact Information Instructor: Dr.
More informationCS 241 Data Organization. August 21, 2018
CS 241 Data Organization August 21, 2018 Contact Info Instructor: Dr. Marie Vasek Contact: Private message me on the course Piazza page. Office: Room 2120 of Farris Web site: www.cs.unm.edu/~vasek/cs241/
More informationEECS 647: Introduction to Database Systems
EECS 647: Introduction to Database Systems Instructor: Luke Huan Spring 2009 Queries for Today What is a database? What is a database management system? Why take a database course? Who will teach? How
More informationCNG 140 C Programming. Syllabus. Course Info Fall Semester. Catalog Description
CNG 140 C Programming 2012-2013 Fall Semester Syllabus Course Info Catalog Description Advanced programming with C: Storage and control structures, recursion and programming with dynamic data structures.
More informationCompilers for Modern Architectures Course Syllabus, Spring 2015
Compilers for Modern Architectures Course Syllabus, Spring 2015 Instructor: Dr. Rafael Ubal Email: ubal@ece.neu.edu Office: 140 The Fenway, 3rd floor (see detailed directions below) Phone: 617-373-3895
More informationCIS* Programming
CIS*1300 - Programming CALENDAR DESCRIPTION This course examines the applied and conceptual aspects of programming. Topics may include data and control structures, program design, problem solving and algorithm
More informationComputer Science Technology Department
Computer Science Technology Department Houston Community College Department Phone Number: ab Houston Community College ITMT 2301 - Windows Server 2008 Network Infrastructure Configuration Administering
More informationCourse Syllabus Web Page Design I IMED 1316
Course Syllabus Web Page Design I IMED 1316 Semester with Course Reference Number (CRN Instructor contact information (phone number and email address) Office Location and Hours Course Location/Times Course
More informationCOURSE SYLLABUS. Course Name NETWORK+ Course Number ITNW Y Lecture - Lab - Credit. NONE Prerequisite
Course Syllabus _ Page 1 COURSE SYLLABUS Course Name NETWORK+ Course Number ITNW 1358 46Y1 2-4 - 3 Lecture - Lab - Credit NONE Prerequisite This syllabus has been reviewed and is current on the date indicated.
More informationData Structures and Algorithms
Data Structures and Algorithms Lecture 1: Course Overview Lilia Georgieva 2004 Goodrich, Tamassia What is this course about? We will study moderately complex data structures and algorithms that are essential
More informationCourse Administration
CS 246: Software Abstraction and Specification (Software Engineering Section) Lecture 1 Course Administration http://www.student.cs.uwaterloo.ca/~cs247 Calendar Description CS 247 Software Engineering
More informationCPS352 Database Systems Syllabus Fall 2012
CPS352 Database Systems Syllabus Fall 2012 Professor: Simon Miner Fall Semester 2012 Contact: Simon.Miner@gordon.edu Thursday 6:00 9:00 pm KOSC 128 978-380- 2626 KOSC 243 Office Hours: Thursday 4:00 6:00
More informationCSci 4211: Data Communications and Computer Networks. Time: Monday and Wednesday 1 pm to 2:15 pm Location: Vincent Hall 16 Spring 2016, 3 Credits
CSci 4211: Data Communications and Computer Networks Time: Monday and Wednesday 1 pm to 2:15 pm Location: Vincent Hall 16 Spring 2016, 3 Credits 1 Instructor David Hung-Chang Du Email: du@cs.umn.edu Office:
More informationSan José State University College of Science/Department of Computer Science CS152, Programming Paradigms, Sections 3 & 4, Fall Semester, 2016
Course and Contact Information San José State University College of Science/Department of Computer Science CS152, Programming Paradigms, Sections 3 & 4, Fall Semester, 2016 Instructor: Office Location:
More informationBIO 139 HUMAN ANATOMY AND PHYSIOLOGY II LABORATORY SYLLABUS
BLUEGRASS COMMUNITY AND TECHNICAL COLLEGE NATURAL SCIENCES Fall 2015 BIO 139 HUMAN ANATOMY AND PHYSIOLOGY II LABORATORY SYLLABUS 0 CREDIT HOURS 2 CONTACT HOURS PREREQUISITE: BIO 137 COURSE DESCRIPTION:
More informationIntroduction To Data Processing COMP 153 Business Administration Program/Administrative Studies. Course Outline
Introduction To Data Processing COMP 153 Business Administration Program/Administrative Studies Course Outline COURSE IMPLEMENTATION DATE: Pre 1998 OUTLINE EFFECTIVE DATE: September 2016 COURSE OUTLINE
More informationAvi Silberschatz, Henry F. Korth, S. Sudarshan, Database System Concept, McGraw- Hill, ISBN , 6th edition.
Instructor: James Markulic Lecture: Distance Learning Office Hour: By appointment E-Mail: Markulic@njit.edu Course textbook: Avi Silberschatz, Henry F. Korth, S. Sudarshan, Database System Concept, McGraw-
More informationSpring 2017 FRE-GY 6883 Financial Computing Song Tang, Ph.D
Spring 2017 FRE-GY 6883 Financial Computing Song Tang, Ph.D. st290@nyu.edu, 646-283-4578 Overview: This course covers programming applications to financial engineering, including C++ and Java and the various
More informationSan José State University College of Science/Department of Computer Science CS152, Programming Paradigms, Sections 1 & 2, Fall Semester, 2017
Course and Contact Information San José State University College of Science/Department of Computer Science CS152, Programming Paradigms, Sections 1 & 2, Fall Semester, 2017 Instructor: Office Location:
More informationComputer Science Technology Houston Community College
Computer Science Technology Houston Community College UNIX Operating Systems I Course Syllabus Instructor Course Reference Number (CRN) WECM Course Description: Course Prerequisite(s) Course Semester Credit
More informationPlease Turn Your Mobile Phone Silent. August 29, 2017 CSc 242 1
Please Turn Your Mobile Phone Silent August 29, 2017 CSc 242 1 CSc 242 Computer-Aided Systems Design and Verification Dr. Behnam Arad 5044 Riverside Hall (916) 278-7160 arad@csus.edu http://ecs.csus.edu/~arad
More informationEE3315 Internet Technology EE3315 Internet Technology Overview Slide 1
EE3315 Internet Technology http://www.cityu.edu.hk/ug/current/course/ee3315.htm EE3315 Internet Technology Overview Slide 1 Course Aim This course aims to provide students with the knowledge of key protocols
More information