11.07.2015 Views

Complete thesis - Murdoch University

Complete thesis - Murdoch University

Complete thesis - Murdoch University

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Table 2.16: SEEK topicsTopic Bloom Category HoursSoftware Modelling and Analysis 53Modelling foundations 19Modelling principles (e.g. decomposition,a Eabstraction, generalization, pro-jection/views, explicitness, use of formalapproaches, etc.)Pre and post conditions, invariants c EIntroduction to mathematical models c Eand specification languages (Z, VDM,etc.)Properties of modelling languages k ESyntax vs. semantics (understanding c Emodel representations)Explicitness (make no assumptions, or k Estate all assumptions)Types of models 12Information modelling (e.g. entityrelationshipa Emodelling, class diagrams,etc.)Behavioural modelling (e.g. structureda Eanalysis, state diagrams, use caseanalysis,interaction diagrams, failuremodes and effects analysis, fault treeanalysis etc.)Structure modelling (e.g. architectural, c Eetc.)Domain modelling (e.g. domain engineeringk Eapproaches, etc.)Functional modelling (e.g. component c Ediagrams, etc.)Enterprise modelling (e.g. businessDprocesses, organizations, goals, etc.)Modelling embedded systems (e.g.Dreal-time schedulability analysis, externalinterface analysis, etc.)Requirements interaction analysis (e.g.Dfeature interaction, house of quality,viewpoint analysis, etc.)Analysis Patterns (e.g. problemDframes, specification re-use, etc.)Analysis fundamentals 6Analysing well-formedness (e.g. completeness,a Econsistency, robustness,etc.)72

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!