SE420 Software Quality Assurance

Size: px
Start display at page:

Download "SE420 Software Quality Assurance"

Transcription

1 SE420 Software Quality Assurance Lecture 1 - Introduction August 25, 2014 Sam Siewert

2 Dr. Sam Siewert UC Berkeley Philosophy/Physics University of Notre Dame, BS - Aerospace/Mechanical Engineering Johnson Space Center, U. of Houston UHCL Computer Engineering, Mission Control Center U. of Colorado, Boulder, MS/PhD JPL, Colorado Space Grant, Computer Science CU Boulder Senior Instructor, Adjunct Professor, CTO, Architect, Developer/Engineer in Local Start-ups U. of Alaska, Anchorage, Assistant Professor, Computer Systems Engineering, Alaska Space Grant Embry Riddle Prescott, Assistant Professor, CESE Sam Siewert

3 Related Industry Background General Experience (~25 Years in Embedded and Scalable Systems) 12 Years NASA JSC, NASA JPL / CU, Ball Aerospace 12+ Years Commercial Telecomm, Storage/Networks, Embedded, Digital Video Instrumentation and Machine Vision Spitzer Space Telescope Unmanned Aerial Systems Robotics at CU-Boulder, Arctic Sensor Systems at U. of Alaska Anchorage Software Engineering NASA Johnson and JPL (Shuttle Ascent/Entry Guidance, Deep Space) Intel, Emulex, Start-ups Consulting Graphics, Storage and Networking, UAS/UAV Sam Siewert 3

4 Course Goals and Outline Mastering Software Quality Assurance: Best Practices, Tools and Techniques for Software Developers, Murali Chemuturi introduction to the software engineering testing process, describe the quality assurance process and its role in software development. The student will be instructed in a variety of testing techniques, methods, and tools. Syllabus-Fall-14.html Sam Siewert 4

5 PRClab - Linux Option #1 Use PRClab, prclab.pr.erau.edu via SSH Recommend Putty connection with SSH and X11 forwarding Code Development (GCC/g++, Make, etc.) - Debugging C/C++ Source Code using DDD ( ) Verification and Validation of C/C++ Implementations General Linux System (RHEL 6.5) Option #2 Use Virtual-Box Linux with Centos 6.5 Install of Ubuntu LTS (Both Supported) Must Have Windows, Macintosh or Linux Personal PC ux-development-getting-started.pdf Sam Siewert 5

6 Why Work with Linux and Virtual Box From Mobiles to Super-Computing to Datacenters Embedded/Mobile Google Tianhe 33+ Pflops From Android Mobiles to GIS and Digital Video Services Huge Value in Open Source Drivers, Tools, and Applications Speeds Up Time to Market Oracle Virtual Box Great Cross OS Test Environment Sam Siewert 6

7 How We ll Do It 1/3 Theory Lectures/Reading (On-going) Lectures related to MSQA Textbook and Instructor s Experience History of SQA and Current Best Practices Discussions 1/3 Practice PRClab or VB-Linux Linux Coding (C and C++ or Java if you wish) Modification to Add Features, Debug, Inspect, Fix, Regression Test Original Implementations, Walk-throughs, Design Validations 1/3 Project Group Project to Take Application through SQA Life-cycle Final Assignment Sam Siewert 7

8 Administrivia Introductions Instructor (Office Hours) - Fall-2014.pdf Students (Introductions) Please do Collaborate, but cite well! Policies - ERAU Blackboard Primary Assignment Management Tool - Access via ERNIE - Backup to Mercury Website - Course Information list (please sign up on sheet being passed around) Lecture Notes at Will post on Bb as well Must have PRClab account OR VB-Linux I highly recommend both if possible, but PRClab is sufficient Sam Siewert 8

9 Linux Skills Introduction Session August 24, 2004 Sam Siewert

10 C Code Unit Development and Test Examples-Crypto.zip Basic Substitution and Transposition Cypher Code (e.g. Enigma) Download, unzip, make, debug with ddd Barry Boehm Are we building the right product? [validation]; Are we building the product right? [verification] Does it Work? Verification was it properly constructed and logically or mathematically correct? How does it Work? Limitations? Does it Meet Requirements? What are the Requirements? Validation does it meet intended use requirements? Is it Reliable? User friendly? Sam Siewert 10

11 Next Time SQA History (read Chemuturi Chapter #1) Come to Class Prepared to Discuss Gurus (e.g. Edward Demming, Grady Booch, Barry Boehm, Edward Yourdon, Tom DeMarco, ) Organizations for SQA - Process and Validation of Process - Assignment #1 Discussion I will Post Every Other Wednesday, We ll Discuss, Due Following Week on Friday Late Assignments 10% Penalty for Monday Turn-in, After Monday, only with Instructor Permission Sam Siewert 11

CS415 Human Computer Interaction

CS415 Human Computer Interaction CS415 Human Computer Interaction Lecture 1 - Introduction July 21, 2015 Sam Siewert Dr. Sam Siewert UC Berkeley Philosophy/Physics 1984-85 University of Notre Dame, BS - Aerospace/Mechanical Engineering

More information

CSE A215 Assembly Language Programming for Engineers

CSE A215 Assembly Language Programming for Engineers CSE A215 Assembly Language Programming for Engineers Lecture 1 - Introduction August 28, 2012 Sam Siewert Sam Siewert UC Berkeley National Research University, Philosophy/Physics 1984-85 University of

More information

CS A490 Machine Vision and Computer Graphics

CS A490 Machine Vision and Computer Graphics CS A490 Machine Vision and Computer Graphics Lecture 1 - Introduction August 28, 2012 Sam Siewert Sam Siewert UC Berkeley National Research University, Philosophy/Physics 1984-85 University of Notre Dame,

More information

ECEN 5043 Computer and Machine Vision

ECEN 5043 Computer and Machine Vision ECEN 5043 Computer and Machine Vision Lecture 1 Introduction Part-1 January 14, 2014 Sam Siewert The Course An introductory course on computer vision and machine vision. Topics covered include difference

More information

SE310 Analysis and Design of Software Systems

SE310 Analysis and Design of Software Systems SE310 Analysis and Design of Software Systems Lecture 1 - Introduction January 11, 2018 Sam Siewert Introductions What You Want from Course? When You Plan to Take Capstone? Which is your preferred OOP

More information

CEC 450 Real-Time Systems

CEC 450 Real-Time Systems CEC 450 Real-Time Systems Lecture 1 - Introduction August 23, 2015 Sam Siewert Dr. Sam Siewert UC Berkeley Philosophy/Physics 1984-85 University of Notre Dame, BS - Aerospace/Mechanical Engineering Johnson

More information

CS A485 Computer and Machine Vision

CS A485 Computer and Machine Vision CS A485 Computer and Machine Vision Lecture 1 Introduction Part-2 January 14, 2014 Sam Siewert Biological Vision vs. Machine Vision (Why A Honey Bee is Better than HPC for CV) Humans - 100 million Photoreceptors

More information

SE420 - Software Quality Assurance

SE420 - Software Quality Assurance SE420 - Software Quality Assurance http://dilbert.com/strips/comic/2006-01-29/ Lecture 3 Unit Testing, Part-2 January 21, 2019 Sam Siewert Reminders Assignment #2 Posted Thursday [Unit Re-Use] Explore

More information

ECEN 5653/4653 Real-Time Digital Media (A Linux-Based Systems Approach)

ECEN 5653/4653 Real-Time Digital Media (A Linux-Based Systems Approach) ECEN 5653/4653 Real-Time Digital Media (A Linux-Based Systems Approach) Lecture 1 - Introduction January 17, 2012 Sam Siewert Prof. Sam Siewert - My Background Co-Founder of Embedded Certificate Program

More information

SE310 Analysis and Design of Software Systems

SE310 Analysis and Design of Software Systems SE310 Analysis and Design of Software Systems Lecture 2-2 Systems Engineering for OO January 17, 2018 Sam Siewert Learning Objective Software Engineering Process? Lifecycle Phases feedback SPIRAL in Agile

More information

AE Computer Programming for Aerospace Engineers

AE 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 information

BOSTON 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 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 information

San 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 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 information

CS317 File and Database Systems

CS317 File and Database Systems CS317 File and Database Systems Lecture 2 DBMS DDL & DML Part-1 September 3, 2017 Sam Siewert MySQL on Linux (LAMP) Skills http://dilbert.com/strips/comic/2010-08-02/ DBMS DDL & DML Part-1 (Definition

More information

SE420 Software Quality Assurance

SE420 Software Quality Assurance SE420 Software Quality Assurance Lecture 12 Final Review December 3, 2014 Sam Siewert MSQA Chapters 1-6, Notes Through Week 6 SQA FIRST HALF Sam Siewert 2 Coverage As Noted on Syllabus Murali Chapters

More information

ESET 369 Embedded Systems Software, Fall 2017

ESET 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 information

CS 241 Data Organization. August 21, 2018

CS 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 information

Fall Principles of Knowledge Discovery in Databases. University of Alberta

Fall Principles of Knowledge Discovery in Databases. University of Alberta Principles of Knowledge Discovery in Databases Fall 1999 Dr. Osmar R. Zaïane 2 1 Class and Office Hours Class: Mondays, Wednesdays and Fridays from 10:00 to 10:50 Office Hours: Tuesdays from 11:00 to 11:55

More information

CEC 450 Real-Time Systems

CEC 450 Real-Time Systems CEC 450 Real-Time Systems Lecture 1 Introduction Part 2 August 27, 2018 Sam Siewert Questions on Final Projects? Examples here - http://mercury.pr.erau.edu/~siewerts/cec450/documents/video/ Creative Projects

More information

CS415 Human Computer Interaction

CS415 Human Computer Interaction CS415 Human Computer Interaction Lecture 7 Implementation and Testing Tools for HCIs October 4, 2015 Sam Siewert Coming Up Quiz on Wednesday for Part II Chapters 5,6,7,8,9 Review Next Week on Monday, 10/12

More information

Welcome. Orientation to online CPS102 Computer Science 2 (Java 2)

Welcome. Orientation to online CPS102 Computer Science 2 (Java 2) Welcome Orientation to online CPS102 Computer Science 2 (Java 2) All online courses use Blackboard system, as soon as you login Blackboard in college s pipeline, please complete Blackboard Learn Student

More information

Computer Science Technology Houston Community College

Computer 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 information

TCOM 663/CFRS Intrusion Detection and Forensics Department of Electrical and Computer Engineering George Mason University Fall, 2010

TCOM 663/CFRS Intrusion Detection and Forensics Department of Electrical and Computer Engineering George Mason University Fall, 2010 TCOM 663/CFRS 663 - Intrusion Detection and Forensics Department of Electrical and Computer Engineering George Mason University Fall, 2010 Course Syllabus Revised: June. 16, 2010. Instructor Dr. Kafi Hassan

More information

Instructor: Anna Miller

Instructor: Anna Miller Media Graphics ADV 3203 Fall 2016 Advertising Media Graphics - 81584 - ADV 3203 Mondays and Wednesdays 12:15 PM - 1:30 PM room 1011 And Advertising Media Graphics - 82354 - ADV 3203 Mondays and Wednesdays

More information

San 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 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 information

San 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 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 information

Linux Networking and Security

Linux Networking and Security Linux Networking and Security Palomar College CSNT 141 Norman McEntire norman.mcentire@servin.com Copyright (c) 2010 Servin Corporation 1 Acknowledgments A special THANK YOU to: Spring 2010 CSNT-140 Class!

More information

CEC450 Real-Time Systems

CEC450 Real-Time Systems CEC450 Real-Time Systems Lecture 15 Block Diagram Design Examples November 3, 2015 Sam Siewert Design Elements for Proof-of-Concept Top N Capability Oriented Requirements State and Explain Hold Q&A and

More information

The Linux Command Line: A Complete Introduction, 1 st ed., by William E. Shotts, Jr., No Starch Press, 2012.

The Linux Command Line: A Complete Introduction, 1 st ed., by William E. Shotts, Jr., No Starch Press, 2012. Department of Mathematics and Computer Science Adelphi University Fall 2018 0145-275-001 Operating Systems Practicum Dr. R. M. Siegfried 407 Science (516)877-4482 http://home.adelphi.edu/~siegfried/cs271

More information

CONCORDIA UNIVERSITY DEPARTMENT OF CHEMISTRY AND BIOCHEMISTRY CHEM 293 SPECTROSCOPY AND STRUCTURE OF ORGANIC COMPOUNDS. SYLLABUS Winter 2018

CONCORDIA UNIVERSITY DEPARTMENT OF CHEMISTRY AND BIOCHEMISTRY CHEM 293 SPECTROSCOPY AND STRUCTURE OF ORGANIC COMPOUNDS. SYLLABUS Winter 2018 1 of 5 CONCORDIA UNIVERSITY DEPARTMENT OF CHEMISTRY AND BIOCHEMISTRY CHEM 293 SPECTROSCOPY AND STRUCTURE OF ORGANIC COMPOUNDS SYLLABUS Winter 2018 GENERAL INFORMATION Spectroscopy and Structure of Organic

More information

MWF 9:00-9:50AM & 12:00-12:50PM (ET)

MWF 9:00-9:50AM & 12:00-12:50PM (ET) Department of Mathematics and Computer Science Adelphi University Fall 2013 0145-443-001 Database Management Systems Dr. R. M. Siegfried 214 Post Hall (516)877-4482 siegfrie@adelphi.edu Office Hours Course

More information

ESET 369 Embedded Systems Software, Spring 2018

ESET 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 information

Course and Contact Information. Course Description. Course Objectives

Course 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 information

Using Git to Manage I&T Projects and for Code & Design File CMVC

Using Git to Manage I&T Projects and for Code & Design File CMVC Using Git to Manage I&T Projects and for Code & Design File CMVC http://www.stsc.hill.af.mil/resources/tech_docs/gsam4.html GitHub Use October 28, 2014 Sam Siewert Integration and Test Integrate Software

More information

CS 378 (Spring 2003) Linux Kernel Programming. Yongguang Zhang. Copyright 2003, Yongguang Zhang

CS 378 (Spring 2003) Linux Kernel Programming. Yongguang Zhang. Copyright 2003, Yongguang Zhang Department of Computer Sciences THE UNIVERSITY OF TEXAS AT AUSTIN CS 378 (Spring 2003) Linux Kernel Programming Yongguang Zhang (ygz@cs.utexas.edu) Copyright 2003, Yongguang Zhang Read Me First Everything

More information

SE310 Analysis and Design of Software Systems

SE310 Analysis and Design of Software Systems SE310 Analysis and Design of Software Systems Lecture 11 Presentation of Analysis and Design [Level-0,1,2,3] March 21, 2018 Sam Siewert Reminders Assignment #5 Assignment #5 & #6 Posted Questions? Exercise

More information

Computer Science Technology Houston Community College

Computer 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 information

Things A Computer Scientist Rarely Talks About (Lecture Notes) By Donald E. Knuth READ ONLINE

Things A Computer Scientist Rarely Talks About (Lecture Notes) By Donald E. Knuth READ ONLINE Things A Computer Scientist Rarely Talks About (Lecture Notes) By Donald E. Knuth READ ONLINE Let's face it not every lecture, Draw or doodle things on notebook paper in the margins of notes. If you get

More information

CS4410/11: Opera.ng Systems. Rachit Agarwal Anne Bracy

CS4410/11: Opera.ng Systems. Rachit Agarwal Anne Bracy CS4410/11: Opera.ng Systems Rachit Agarwal Anne Bracy Instructors Rachit Agarwal and Anne Bracy Assistant Professor, Cornell (54th day in Ithaca) Previously: Postdoc, UC Berkeley PhD, UIUC Research interests:

More information

School of Computing and Information Sciences. Course Title: Mobile Application Development Date: 8/23/10

School of Computing and Information Sciences. Course Title: Mobile Application Development Date: 8/23/10 Course Title: Date: 8/3/10 Course Number: Number of Credits: 3 Subject Area: Mobile Computing Subject Area Coordinator: Kip Irvine email: irvinek@cs.fiu.edu Catalog Description: Design and development

More information

CSci Introduction to Operating Systems. Administrivia, Intro

CSci Introduction to Operating Systems. Administrivia, Intro CSci 4061 Introduction to Operating Systems Administrivia, Intro Me: Welcome to 4061! Jon Weissman CS Professor circa 1999 Call me Jon TAs: Zach Leidall, Francis Liu, Fei Wu, Parag Panda, Gaurav Khandelwal

More information

San 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 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 information

CPSC 4600 Biometrics and Cryptography Fall 2013, Section 0

CPSC 4600 Biometrics and Cryptography Fall 2013, Section 0 CPSC 4600 Biometrics and Cryptography Fall 2013, Section 0 Course: CPSC4600, Section 0, CRN 42532 Title: Biometrics and Cryptography Class Schedule: EMCS302, MW 2:00 pm-3:15 pm Credit: 3 Faculty: Dr. Li

More information

Using Git to Manage I&T Projects and for Code & Design File CMVC

Using Git to Manage I&T Projects and for Code & Design File CMVC Using Git to Manage I&T Projects and for Code & Design File CMVC http://www.stsc.hill.af.mil/resources/tech_docs/gsam4.html GitHub Use October 28, 2014 Sam Siewert Integration and Test Integrate Software

More information

SE420 - Software Quality Assurance

SE420 - Software Quality Assurance SE420 - Software Quality Assurance http://dilbert.com/strip/2010-08-21 Lecture 9 Negative Testing, Defect Tracking and Root-Cause Analysis March 14, 2016 Sam Siewert Reminders Assignment #4 Remaining Assignments

More information

CS 375 UNIX System Programming Spring 2014 Syllabus

CS 375 UNIX System Programming Spring 2014 Syllabus CS 375 UNIX System Programming Spring 2014 Syllabus Instructor Dr. Deborah Hwang KC 264, 488 2193, hwang@evansville.edu Home page: http://csserver.evansville.edu/~hwang Office Hours: See instructor's home

More information

Linear Algebra Math 203 section 003 Fall 2018

Linear Algebra Math 203 section 003 Fall 2018 Linear Algebra Math 203 section 003 Fall 2018 Mondays and Wednesdays from 7:20 pm to 8:35 pm, in Planetary Hall room 131. Instructor: Dr. Keith Fox Email: kfox@gmu.edu Office: Exploratory Hall Room 4405.

More information

C Programming for Engineers Introduction

C Programming for Engineers Introduction C Programming for Engineers Introduction ICEN 360 Spring 2017 Prof. Dola Saha 1 Introductions Instructor Prof. Dola Saha, PhD University of Colorado Boulder http://www.albany.edu/faculty/dsaha/ dsaha@albany.edu

More information

Course and Contact Information. Course Description. Course Objectives

Course 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 information

Compilers for Modern Architectures Course Syllabus, Spring 2015

Compilers 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 information

FAU. How do I. Post course content? Folders

FAU. How do I. Post course content? Folders How do I Post course content? Content is made up of folders, files, links, and assessments (this will be covered on page ## or see separate documentation). It is basically anything you want to share with

More information

Syllabus CSCI 405 Operating Systems Fall 2018

Syllabus CSCI 405 Operating Systems Fall 2018 Syllabus CSCI 405 Operating Systems Fall 2018 1.0 General Information Class Time: Monday/Wednesday/Friday 11:00 AM - 11:50 AM Class Location: 317 Thompson Instructor: Dr. Deepti Joshi; Office: 224 Thompson;

More information

SE420 Software Quality Assurance

SE420 Software Quality Assurance SE420 Software Quality Assurance Lecture 4 Unit Testing Tools, Part-1 January 21, 2016 Sam Siewert Assignment #1 Avoid Subjective Test Results Cost, Impact, Probability 1. the code is generally bug free

More information

Katsuhiko Ogata Modern Control Engineering

Katsuhiko Ogata Modern Control Engineering We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with katsuhiko ogata modern

More information

COMP 117: Internet-scale Distributed Systems Lessons from the World Wide Web

COMP 117: Internet-scale Distributed Systems Lessons from the World Wide Web COMP 117: Internet Scale Distributed Systems (Spring 2018) COMP 117: Internet-scale Distributed Systems Lessons from the World Wide Web Noah Mendelsohn Tufts University Email: noah@cs.tufts.edu Web: http://www.cs.tufts.edu/~noah

More information

Correctness of specifications. Correctness. Correctness of specifications (2) Example of a Correctness Proof. Testing versus Correctness Proofs

Correctness of specifications. Correctness. Correctness of specifications (2) Example of a Correctness Proof. Testing versus Correctness Proofs CS 390 Lecture 17 Correctness A product is correct if it satisfies its output specifications when operated under permitted conditions Correctness of specifications Incorrect specification for a sort (Figure

More information

CSE 333 Lecture 1 - Systems programming

CSE 333 Lecture 1 - Systems programming CSE 333 Lecture 1 - Systems programming Hal Perkins Department of Computer Science & Engineering University of Washington Welcome! Today s goals: - introductions - big picture - course syllabus - setting

More information

Info Sys 422/722 & ISyE 722. Computer Based Data Management. Fall, 2016

Info Sys 422/722 & ISyE 722. Computer Based Data Management. Fall, 2016 Info Sys 422/722 & ISyE 722 Computer Based Data Management Fall, 2016 1. Instructor: Rafael Lazimy Office: 4269 Grainger Phone #: 262-3950 E-mail: rafi.lazimy@wisc.edu Office Hours: M, W 2:20-3:20 PM or

More information

A: 90% - 100% B: 80% - <90% C: 70% - <80% D: 60% - <70% F: < 60% Important Dates:

A: 90% - 100% B: 80% - <90% C: 70% - <80% D: 60% - <70% F: < 60% Important Dates: Department of Electronics Engineering Technology Division of Architecture, Engineering, & Technology West Campus Building 9, Room 140 (407) 582-1902/1903 http://www.valenciacollege.edu/west/engineering/

More information

CS317 File and Database Systems

CS317 File and Database Systems CS317 File and Database Systems Lecture 9 Intro to Physical DBMS Design October 22, 2017 Sam Siewert Reminders Assignment #4 Due Friday, Monday Late Assignment #3 Returned Assignment #5, B-Trees and Physical

More information

UNIVERSITY OF TORONTO DEPARTMENT OF ECONOMICS St. GEORGE CAMPUS. ECO358 Financial Economics I (Asset Pricing) Course Outline Summer 2013

UNIVERSITY OF TORONTO DEPARTMENT OF ECONOMICS St. GEORGE CAMPUS. ECO358 Financial Economics I (Asset Pricing) Course Outline Summer 2013 UNIVERSITY OF TORONTO DEPARTMENT OF ECONOMICS St. GEORGE CAMPUS ECO358 Financial Economics I (Asset Pricing) Course Outline Summer 2013 Instructor: Dr. Ata Mazaheri Office Hours: Room 344, 150 St. George

More information

Course Syllabus. Course Information

Course Syllabus. Course Information Course Syllabus Course Information Course: MIS 6V99 Special Topics Programming for Data Science Section: 5U1 Term: Summer 2017 Meets: Friday, 6:00 pm to 10:00 pm, JSOM 2.106 Note: Beginning Fall 2017,

More information

CSE A225 Linux with Beagle xm

CSE A225 Linux with Beagle xm CSE A225 Linux with Beagle xm Lecture Howto Basic Tips for Getting Going with Beagle xm September 6, 2012 Sam Siewert Home Lab Setup Home Platforms Ubuntu or Fedora-Core Linux Beagle xm Target System Host

More information

Rochester 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 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 information

CS317 File and Database Systems

CS317 File and Database Systems CS317 File and Database Systems http://dev.mysql.com/downloads/workbench Using MySQL Workbench [PRClab] August 25, 2015 Sam Siewert Resources for MySQL-Workbench Examine Use of MySQL Workbench to Go Between

More information

Syllabus: AIT Information Systems Infrastructure Lifecycle Management

Syllabus: AIT Information Systems Infrastructure Lifecycle Management Syllabus: AIT 671 - Information Systems Infrastructure Lifecycle Management Term: Fall 2014 Instructor: Jay Holcomb, Adjunct Faculty, Department of Applied Information Technology, Volgenau School of Engineering

More information

Programming 1. Outline (111) Lecture 0. Important Information. Lecture Protocol. Subject Overview. General Overview.

Programming 1. Outline (111) Lecture 0. Important Information. Lecture Protocol. Subject Overview. General Overview. Programming 1 (111) Lecture 0 College of Computer Science and Engineering Taibah University S1, 1439 Outline Important Information Lecture Protocol Subject Overview General Overview Course Objectives Studying

More information

Gaetz Aerospace Institute. Student Guide Dual Enrollment Student Registration

Gaetz Aerospace Institute. Student Guide Dual Enrollment Student Registration Gaetz Aerospace Institute Student Guide Dual Enrollment Student Registration Student Application & Enrollment Steps Application Steps for NEW students (Students who have not previously taken an ERAU credit

More information

Operating Systems, Spring 2015 Course Syllabus

Operating Systems, Spring 2015 Course Syllabus Operating Systems, Spring 2015 Course Syllabus Instructor: Dr. Rafael Ubal Email: ubal@ece.neu.edu Office: 140 The Fenway, 3rd floor (see detailed directions below) Phone: 617-373-3895 Office hours: Wednesday

More information

Central Washington University Department of Computer Science Course Syllabus

Central 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 information

Object-Oriented Programming for Managers

Object-Oriented Programming for Managers 95-807 Object-Oriented Programming for Managers 12 units Prerequisites: 95-815 Programming Basics is required for students with little or no prior programming coursework or experience. (http://www.andrew.cmu.edu/course/95-815/)

More information

University of Maryland at College Park Department of Geographical Sciences GEOG 477/ GEOG777: Mobile GIS Development

University of Maryland at College Park Department of Geographical Sciences GEOG 477/ GEOG777: Mobile GIS Development University of Maryland at College Park Department of Geographical Sciences GEOG 477/ GEOG777: Mobile GIS Development Instructor: Dr. Ruibo Han Office: LeFrak Hall (LEF) 1111B Email: ruibo@umd.edu (preferred)

More information

CS 241 Data Organization using C

CS 241 Data Organization using C CS 241 Data Organization using C Fall 2018 Instructor Name: Dr. Marie Vasek Contact: Private message me on the course Piazza page. Office: Farris 2120 Office Hours: Tuesday 2-4pm and Thursday 9:30-11am

More information

CSCI 201L Syllabus Principles of Software Development Spring 2018

CSCI 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 information

Syllabus for HPE 099 Aerobic Proficiency 1 Credit Hour Fall 2012

Syllabus for HPE 099 Aerobic Proficiency 1 Credit Hour Fall 2012 Syllabus for HPE 099 Aerobic Proficiency 1 Credit Hour Fall 2012 I. COURSE DESCRIPTION Designed for seniors who are presently maintaining a physically active lifestyle and can pass the running, cycling,

More information

Web Programming Fall 2011

Web Programming Fall 2011 Web Programming Fall 2011 Course number: M&IS 24065 Section: 002 CRN: 23080 Location: BSA 110 Meeting Day: TR Meeting Time: 12:30-1:45 Instructor Information: Name: Professor Janet Formichelli, MS E-mail:

More information

SE420 Software Quality Assurance

SE420 Software Quality Assurance SE420 Software Quality Assurance Lecture 4 Unit Testing Tools, Part-1 January 29, 2018 Sam Siewert Assignment #1 Avoid Subjective Test Results Cost, Impact, Probability [Not from this year] 1. the code

More information

CS/ENGRD 2110 Object-Oriented Programming and Data Structures Spring 2012 Thorsten Joachims

CS/ENGRD 2110 Object-Oriented Programming and Data Structures Spring 2012 Thorsten Joachims CS/ENGRD 2110 Object-Oriented Programming and Data Structures Spring 2012 Thorsten Joachims Lecture 1: Overview http://courses.cs.cornell.edu/cs2110 1 Course Staff Instructor Thorsten Joachims (tj@cs.cornell.edu)

More information

San José State University Science/Computer Science Database Management System I

San José State University Science/Computer Science Database Management System I Dear CS157A Class: In this big data era, do we still need to study traditional databases? Please look at the article Communications of the ACM, January 2015, pp 18. (see http://xanadu.cs.sjsu.edu/~drtylin/classes/cs157a_fall2015/notes/

More information

San Jose State University College of Science Department of Computer Science CS185C, NoSQL Database Systems, Section 1, Spring 2018

San Jose State University College of Science Department of Computer Science CS185C, NoSQL Database Systems, Section 1, Spring 2018 San Jose State University College of Science Department of Computer Science CS185C, NoSQL Database Systems, Section 1, Spring 2018 Course and Contact Information Instructor: Suneuy Kim Office Location:

More information

Tonight s Agenda. CSC340: Requirements Engineering. Course Objectives. Requirements Engineering. Software Engineering. What is Software Engineering?

Tonight s Agenda. CSC340: Requirements Engineering. Course Objectives. Requirements Engineering. Software Engineering. What is Software Engineering? Tonight s Agenda CSC340: Engineering Jennifer Campbell Lecturer Part 1 Introduction to course content Course information Changes to the SE courses/program Part 2 What are requirements? CSC340 University

More information

Principles Of Operations Management By Heizer, Barry, Jay H.;Render

Principles Of Operations Management By Heizer, Barry, Jay H.;Render Principles Of Operations Management By Heizer, Barry, Jay H.;Render Principles of Operations Management: Sustainability and - Principles of Operations Management: Sustainability and Supply Chain Management,

More information

CourseWorks Syllabus Guide for Instructors

CourseWorks Syllabus Guide for Instructors CourseWorks Syllabus Guide for Instructors Note: In order to setup your CourseWorks syllabus, the Syllabus section has to be enabled in your course site. See the CourseWorks Settings Guide to learn how

More information

SE420 Software Quality Assurance

SE420 Software Quality Assurance SE420 Software Quality Assurance http://dilbert.com/strips/comic/2007-07-30/ Lecture 11 Using Test Automation for Process Improvement [SEI Level 3,4,5 Defined, Repeatable, Measureable, Continuously Improved]

More information

Web Programming Spring 2010

Web Programming Spring 2010 Web Programming Spring 2010 Course number: M&IS 24065 Section: 001/ 002 CRN: 11441/13343 Location: BSA 205/BSA 324 Meeting day: TR Meeting time: 2:15-3:30 PM/5:30-6:45 PM Instructor Name: Professor Janet

More information

Big Sandy Community and Technical College. Course Syllabus

Big Sandy Community and Technical College. Course Syllabus Big Sandy Community and Technical College Course Syllabus PS Number: 49744 Semester: Fall Year: 2017 Faculty Name: Dr. Kathryn Miller Title: Professor Course Prefix and Number: CIT Course Credit Hours:

More information

Programming 2. Outline (112) Lecture 0. Important Information. Lecture Protocol. Subject Overview. General Overview.

Programming 2. Outline (112) Lecture 0. Important Information. Lecture Protocol. Subject Overview. General Overview. Programming 2 (112) Lecture 0 College of Computer Science and Engineering Taibah University S2, 1439 Outline Important Information Lecture Protocol Subject Overview General Overview Course Objectives Studying

More information

Software Engineering Large Practical

Software Engineering Large Practical 1 Software Engineering Large Practical Stephen Gilmore (Stephen.Gilmore@ed.ac.uk) School of Informatics Document version 1.0. Issued on: September 28, 2016 About The Software Engineering Large Practical

More information

COMP-202C: Foundations of Programming

COMP-202C: Foundations of Programming COMP-202C: Foundations of Programming McGill University, Summer 2015 Course Details Instructor: Sandeep Manjanna Office: McConnell Engineering Building (MC) 312 Office hours: Thursday 15:00 17:00 (or by

More information

High Performance Computing in C and C++

High Performance Computing in C and C++ High Performance Computing in C and C++ Rita Borgo Computer Science Department, Swansea University WELCOME BACK Course Administration Contact Details Dr. Rita Borgo Home page: http://cs.swan.ac.uk/~csrb/

More information

Get Started with Blackboard For Instructors

Get Started with Blackboard For Instructors Get Started with Blackboard For Instructors Log in to Blackboard... 2 View a Student Roster... 3 Upload a Syllabus... 4 Upload Files... 5 Set up a Discussion... 6 Create an Assignment... 7 Preview a Course

More information

I. PREREQUISITES For information regarding prerequisites for this course, please refer to the Academic Course Catalog.

I. PREREQUISITES For information regarding prerequisites for this course, please refer to the Academic Course Catalog. Note: Course content may be changed, term to term, without notice. The information below is provided as a guide for course selection and is not binding in any form, and should not be used to purchase course

More information

Calculus Early Transcendentals 6th Edition Solutions Manual Download

Calculus Early Transcendentals 6th Edition Solutions Manual Download Calculus Early Transcendentals 6th Edition Solutions Manual Download We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on

More information

CS415 Human Computer Interaction

CS415 Human Computer Interaction CS415 Human Computer Interaction Lecture 6, Part 2 Implementation and Testing Tools for HCIs October 1, 2018 Sam Siewert Minute Paper Summary - The Gurus Don Norman 1. make it fun (attributed to Fadell?)

More information

Introduction to Information Technology ITP 101x (4 Units)

Introduction to Information Technology ITP 101x (4 Units) Objective Concepts Introduction to Information Technology ITP 101x (4 Units) Upon completing this course, students will: - Understand the fundamentals of information technology - Learn core concepts of

More information

Requirements Specification

Requirements Specification Redesign of the Software Engineering Site (R.O.S.E.S.) Requested by: Dr. Timoth Lederman Professor Department of Computer Science Siena College Delivered By: Prepared By: Kurt Greiner Daniel Rotondo Ryan

More information

Windows Windows 7, Windows 8, Windows 8.1, Windows 10 Browsers

Windows Windows 7, Windows 8, Windows 8.1, Windows 10 Browsers Blackboard Quiz/Test Proctoring using Tegrity IMPORTANT: You must start the Tegrity Take Test Recording before starting the Blackboard Quiz for it show as Proctored to the Instructor in Tegrity. The Quiz

More information

Welcome to Blackboard

Welcome to Blackboard Welcome to Blackboard Logging In To access your course, go to http://online.dbu.edu. Click on Login, and enter your User Name and Password. This will be the same user name and password you use to check

More information

Access Process for New Faculty Hires

Access Process for New Faculty Hires Access Process for New Faculty Hires This document explains the process that relate to new faculty hires and how they receive access in PeopleSoft, CougarNet, and Blackboard, our three most critical systems.

More information

Full version is >>> HERE <<<

Full version is >>> HERE <<< how to create a database in netbeans 6.9; create a database in excel youtube; how to create a database with mysql command line; create a database backup job using sql server management studio Full version

More information