- SW4500 Introduction to Formal Methods in Software Engineering (3-1) (Prereq. SW3460)
- SW4583 Principles of Software Design (3-1)
- SW4591 Requirements Engineering (3-1)
- SW4592 Software Risk Assessment in DoD (3-1)
Select one of the following Software Engineering & Architecture Track Specialization Sequences:
Software-Intensive System Development – Choose four of the following:
- SW4530 Software Engineering Research and Development in DOD (3-1);
- SW4540 Software Testing (3-1);
- SW4560 Software Evolution (3-0);
- SW4570 Software Reuse (3-0);
- SW4580 Design of Embedded Real-time Systems (3-0);
- SW4581 Software Reliability (3-1);
- SW4582 Weapons System Software Safety (3-1);
- SW4590 Software Architecture (3-1);
- SW4600 Automata, Formal Specification & Verification (3-1);
- SW4920 Advanced Topics in Systems Software Safety (3-0);
- IS4300 Software Engineering and Management (3-2),
- or IS4031 Information Systems Economics (4-0),
- or MN3309 Acquisition of Embedded Weapon Systems Software (4-0),
- or MN3331 Principles of Systems Acquisition and Program Management (5-1).
Autonomous Systems – Choose four of the following:
- CS4313 Robotics (3-2);
- CS4315 Learning Systems and Data Mining (3-1);
- CS4317 Language Systems (3-2);
- CS4330 Introduction to Computer Vision (3-2);
- MV4100 Cognitive Engineering (4-1);
- SW4580 Design of Embedded Real-Time Systems (3-0).
|
