Project XSlide 2Overview of FeaturesDescription of Class ModelClass ModelProblems with AnalysisHow Problems Were SolvedCritical System PropertiesPromela and XSpinProject XGroup YPresenters:Project X•System provides functionality X•Motivation for project–Address problem with–Facilitates what…Overview of Features•Feature 1•Feature 2•Feature 3Description of Class Model•General layout of class model•Why model is constructed this wayClass ModelProblems with Analysis•Problem one–why was this a problem? •Problem twoHow Problems Were Solved•Approach to problem one–Maybe a unique approach?•Approach to problem twoCritical System Properties•Representative list of critical properties–Property 1Promela and XSpin•Results of analysis–How did you model–what kind of analysis did you perform–…•Discussion of
View Full Document