How to Analyze Graph-Based Models - Www-st.inf.tu-dresden.de ...
How to Analyze Graph-Based Models - Www-st.inf.tu-dresden.de ...
How to Analyze Graph-Based Models - Www-st.inf.tu-dresden.de ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Example 3: UML Specifications in Software<br />
Engineering<br />
► Imagine a UML mo<strong>de</strong>l of the Java Development Kit JDK.<br />
► 7000 classes<br />
► Inheritance tree on classes<br />
► Inheritance dag on interfaces<br />
► Definition-use graph: how big?<br />
► Task: You are the release manager of the new JDK 1.6. It has 1000<br />
classes more.<br />
■ Ensure consi<strong>st</strong>ency please. - <<strong>st</strong>rong>How</<strong>st</strong>rong>?<br />
Prof. Uwe Aßmann, Softwaretechnologie II<br />
83