EECS4312

User Tools

Site Tools

You are here: EECS4312 Fall 2014: Software Engineering Requirements » Course Outline
Trace:
course_outline

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
course_outline [2014/12/15 02:57] – jonathancourse_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, disjointness and well- definedness of the functional requirements.   * The use of specification and theorem proving tools (PVS) to describe the function tables and using the PVS tool to verify the completeness, disjointness and well- definedness of the functional requirements.
 +  * 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, Timing Resolution and Response Allowances.   * How to use function tables to specify safety-critical real-time systems and cyber-physical systems and understanding, Timing Resolution and Response Allowances.
   * Using function tables to specify business systems via monitored events and abstract states/controlled variables.   * Using function tables to specify business systems via monitored events and abstract states/controlled variables.
course_outline.txt · Last modified: by jonathan