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 ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Strength of Assertions in <<strong>st</strong>rong>Mo<strong>de</strong>ls</<strong>st</strong>rong><br />
Li<strong>st</strong>: <strong>st</strong>rong assertion: <<strong>st</strong>rong>to</<strong>st</strong>rong>tal or<strong>de</strong>r<br />
Tree: <strong>st</strong>ill ab<strong>st</strong>raction possible<br />
Dag: <strong>st</strong>ill layering possible<br />
<<strong>st</strong>rong>Graph</<strong>st</strong>rong>: the wor<strong>st</strong> case<br />
Sequential<br />
Hierarchies<br />
Partial or<strong>de</strong>r<br />
Layered<br />
Un<strong>st</strong>ruc<strong>tu</strong>red<br />
Ease of<br />
Un<strong>de</strong>r<strong>st</strong>anding<br />
Prof. Uwe Aßmann, Softwaretechnologie II<br />
31