Project XUnique Feature of SystemWhat does feature support?Key ModelModelCritical PropertiesPromela and XSpinDemo of PrototypeScenario(s)Project XGroup YPresenters:Demo Given by:Unique Feature of System•Description of unique feature of system (why)?•Components of unique feature:–component 1–component 2–component 3What does feature support?•Functionality of unique feature–function 1–function 2•Sample scenario descriptionKey Model•Description of key model of system•Explain why it is considered key–reason 1–reason 2–reason 3ModelCritical 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 resultsDemo of Prototype•High-level features of User Interface:–feature 1–feature 2–feature 3Scenario(s)•Prose description of scenario illustrating prototype functionality–Step 1–Step 2–Step
View Full Document