Reference
|
|
k,c,a
|
E,D
|
Hours
|
MAA
|
Software modeling and analysis
|
|
|
28
|
MAA.md
|
Modeling foundations
|
|
|
8
|
MAA.md.1
|
Modeling principles (e.g., decomposition, abstraction, generalization, projection/views, and use of formal approaches)
|
c
|
E
|
|
MAA.md.2
|
Preconditions, postconditions, invariants, and design by contract
|
c
|
E
|
|
MAA.md.3
|
Introduction to mathematical models and formal notation
|
k
|
E
|
|
MAA.tm
|
Types of models
|
|
|
12
|
MAA.tm.1
|
Information modeling (e.g., entity-relationship modeling and class diagrams)
|
a
|
E
|
|
MAA.tm.2
|
Behavioral modeling (e.g., state diagrams, use case analysis, interaction diagrams, failure modes and effects analysis, and fault tree analysis)
|
a
|
E
|
|
MAA.tm.3
|
Architectural modeling (e.g., architectural patterns and component diagrams)
|
c
|
E
|
|
MAA.tm.4
|
Domain modeling (e.g., domain engineering approaches)
|
k
|
E
|
|
MAA.tm.5
|
Enterprise modeling (e.g., business processes, organizations, goals, and workflow)
|
|
D
|
|
MAA.tm.6
|
Modeling embedded systems (e.g., real-time schedule analysis, and interface protocols)
|
|
D
|
|
MAA.af
|
Analysis fundamentals
|
|
|
8
|
MAA.af.1
|
Analyzing form (e.g., completeness, consistency, and robustness)
|
c
|
E
|
|
MAA.af.2
|
Analyzing correctness (e.g., static analysis, simulation, and model checking)
|
a
|
E
|
|
MAA.af.3
|
Analyzing dependability (e.g., failure mode analysis and fault trees)
|
k
|
E
|
|
MAA.af.4
|
Formal analysis (e.g., theorem proving)
|
k
|
E
|
|