course_outline
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| course_outline [2014/12/15 02:57] – jonathan | course_outline [2014/12/15 02:59] (current) – jonathan | ||
|---|---|---|---|
| Line 51: | Line 51: | ||
| *Developing the functional specification using tabular expressions (mathematical function tables) | *Developing the functional specification using tabular expressions (mathematical function tables) | ||
| * The use of specification and theorem proving tools (PVS) to describe the function tables and using the PVS tool to verify the completeness, | * The use of specification and theorem proving tools (PVS) to describe the function tables and using the PVS tool to verify the completeness, | ||
| + | * PVS Specification of predicates using basic types, tuples, records, datatypes, functions, relations, sets, bags, etc. Reasoning about predicates in these types. | ||
| * How to use function tables to specify safety-critical real-time systems and cyber-physical systems and understanding, | * How to use function tables to specify safety-critical real-time systems and cyber-physical systems and understanding, | ||
| * Using function tables to specify business systems via monitored events and abstract states/ | * Using function tables to specify business systems via monitored events and abstract states/ | ||
course_outline.1418612251.txt.gz · Last modified: 2014/12/15 02:57 by jonathan