Transcript (powerpoint template)

Project X
Group Y
Presenters:
Demo Given by:
Unique Feature of System
• Description of unique feature of system
(why)?
• Components of unique feature:
– component 1
– component 2
– component 3
What does feature support?
• Functionality of unique feature
– function 1
– function 2
• Sample scenario description
Key Model
• Description of key model of system
• Explain why it is considered key
– reason 1
– reason 2
– reason 3
Model
Critical Properties
• Representative list of critical properties
– Property 1
Promela and XSpin
• Results of analysis
– How did you model
– what kind of analysis did you perform
–…
• Discussion of results
Demo of Prototype
• High-level features of User Interface:
– feature 1
– feature 2
– feature 3
Scenario(s)
• Prose description of scenario illustrating
prototype functionality
– Step 1
– Step 2
– Step 3
– ...