Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "TPTP DMS"
(New page: ==TPTP DMS==) |
(→TPTP DMS) |
||
| Line 1: | Line 1: | ||
==TPTP DMS== | ==TPTP DMS== | ||
| + | ===Requirements Overview=== | ||
| + | ===High Level Structure=== | ||
| + | ===Relationship to heritage TPTP models=== | ||
| + | ====hierarchy model==== | ||
| + | ====statistical model==== | ||
| + | ====log model==== | ||
| + | ====test model==== | ||
| + | ====trace model==== | ||
| + | ====symptom database model==== | ||