Software Engineering 2014 Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering a volume of the Computing Curricula Series
Download 1.43 Mb.
|
- Navigate this page:
- Where the course fits into our curriculum Normally taught in
- Normally followed immediately by
- What is the format of the course
- How are students assessed
- Course textbooks and materials
- Software Design 11 Total
- Software verification and validation 3 Total
- Requirements analysis and specification 5 Total
- Security 5 Total
B.30.Formal Methods (RHIT)CSSE 373, Formal Methods Rose-Hulman Institute of Technology, Terre Haute, IN, USA Instructors: Chandan Rupakheti Email Addresses: rupakhet@rose-hulman.edu URL for additional information: Catalog description Introduction to the use of mathematical models of software systems for their specification and validation. Topics include finite state machine models, models of concurrent systems, verification of models, and limitations of these techniques. Expected Outcomes Students who complete this course will be able to: 1 demonstrate formal correctness of simple procedure 2 construct formal models of sequential software systems 3 implement sequential software systems based on formal models 4 verify attributes of formal models 5 describe the costs and benefits of formal methods. Where the course fits into our curriculum Normally taught in: Spring of junior year for most students, though it can be delayed to senior year. Course Prerequisites: CSSE 230 (Fundamentals of Software Development III, our data structures course) or equivalent, and MA275 Discrete and Combinatorial Algebra I). Normally followed immediately by: CSSE 497 (Senior Project - 1), the following fall. Also, by a software-related internship in the summer in-between. What is covered in the course? The course is primarily about rigorous methods of requirements, design, and code analysis. Many students do not use these in their work after graduation, which also is true of other required courses like calculus and physics, not to mention the content of more analytical computer science courses like data structures. Some do, however, and for the rest we believe that the course gives students a deeper understanding about what it takes to know the correctness of the processes they will use. What is the format of the course? The course is taught as an hour discussion / work activity 4 times a week. There is some lecture, but this is not a dominant part of even discussion times. The goal of every class session is for individual students and teams to be able to apply requirements-related and other skills as soon as possible, with growing independence, and to learn from that application. How are students assessed? Homework Assignments - exercises in the application of formal methods Project - Team project in specification and analysis of a safety-critical application, with short individual essay at completion. Exams - three one-hour exams. COURSE ASSESSMENT MATRIX | | *Outcome* | | | 1 | 2 | 3 | 4 | 5 | | *Homework* | X | X | X | X | X | | *Project* | | X | X | | X | | *Exams* | X | | | X | | SUCCESS CRITERIA The course will be considered fully successful if the following statement holds for every tool-outcome pair selected above: Among the students who earn proficient grades in the course, the average grade on the portions of the assessment tools that are relevant to the learning outcome is in the proficient range. Course textbooks and materials Please contact the instructor, above, for current information about resources used. Pedagogical advice Body of Knowledge coverage The course meets for 10 weeks, plus a final exam week. So there are 4 hours per week times 10, or 40 “contact hours” total. The 40 available hours are shown divided up in the table below.
Additional topics Students are expected to participate in course improvement. This means getting their feedback, and taking pre and post-course questionnaires regarding their level of understanding of course topics, among other things. Other comments (none) Directory: cms cms -> Security Survey cms -> 1. naclo 2015 – North American Computational Linguistics Olympiad cms -> 1. naclo 2017 – North American Computational Linguistics Olympiad cms -> Chem I honors Unit 2 Notes: Numbers in Chemistry Measurement cms -> Sanderson High School ap human Geography Summer Assignment 2016 cms -> Find fantastic ousd elementary music programs cms -> Tiger Leaps Progress Update from Tenafly High School March 28, 2012 English cms -> Lorain county board of commissioners cms -> Haiti Relief – esf 15 Support Organization Situation Report # 17 1/28/10 Download 1.43 Mb. Share with your friends:
|