Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Query Based UML Modeling Validation and Verification of the System Model and
 

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

  

Source: Austin, Mark - Institute for Systems Research & Department of Civil and Environmental Engineering, University of Maryland at College Park

 

Collections: Engineering