|
Summary: 1
Query Based UML Modeling
Validation and Verification of the System Model and
Behavior for a Hydraulic Crane
Denny Mathew
ENPM 643
System Validation and Verification
Instructor: Dr. Mark Austin
Fall 2006
2
TABLE OF CONTENTS
1.0 Introduction .......................................................... 3
1.1 Scope .......................................................... 4
1.2 Assumptions .......................................................... 5
1.3 System Description ................................................. 6
2.0 System Architecture ................................................. 9
2.1 Inheritance View Diagram ........................................ 10
2.2 Class Diagram ........................................ 11
2.3 Initial Use Case Diagram ........................................ 12
2.4 Nominal Phase Use Cases ........................................ 12
|
