This preview shows pages 1–3. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: Lecture 1 - Class Introduction Spring 2010 CSci 5802 1 CSci 5802 Software Engineering II 1 Spring 2010 CSci 5802 Mats Heimdahl Professor, Director of UMSEC Critical Systems Research Group Department of Computer Science and Engineering University of Minnesota 4-192 EE/CS; 200 Union Street SE Minneapolis, MN 55455 ht Topics for Today Course overview Instructor and teaching model What you should already know What to expect tp://www.umsec.umn.edu Spring 2010 CSci 5802 2 What to expect Assignments Questions Finally, Software Engineering II ht Professor Professor Mats Heimdahl Office: EE/CS 6-201 Email: firstname.lastname@example.org Office hour: Monday 2-3, and Friday10-11 tp://www.umsec.umn.edu Spring 2010 CSci 5802 3 TA On the syllabus and web page Class information Class web page available from IT-Labs ht Communicating with Instructor Problems with homework and assignments Contact TA Contact Dr. Heimdahl Problems with TA, problems with TA explanation, problems with homeworks or just want to talk to tp://www.umsec.umn.edu Spring 2010 CSci 5802 4 problems with homeworks, or just want to talk to the instructor Contact Dr. Heimdahl Problem with Dr. Heimdahl Contact TA an she/he will voice your complaints (anonymously) Contact CS front office and they will help you ht Prerequisites You must have an introductory software engineering class CSci 3081, CSci 5801, or similar Some background in discrete mathematics tp://www.umsec.umn.edu Spring 2010 CSci 5802 5 Interest in learning things that are more advanced than what is industry practice ht Topics for the Class Software Testing and Analysis An in-depth look at the topic Formal Modeling How to write things down in an unambiguous manner tp://www.umsec.umn.edu Spring 2010 CSci 5802 6 Maybe some more Suggestions? Lecture 1 - Class Introduction Spring 2010 CSci 5802 2 ht Class Discussions and Class Presentations Learning Modes Lecture Textbooks, articles tp://www.umsec.umn.edu Spring 2010 CSci 5802 7 Homework ht Assignments and Grading Midterm and a Final Tentatively: In Class - Closed book Go to lecture Keep up on the readings and DO YOUR HOMEWORK Homework...
View Full Document