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 User Experiences"
(New page: == Overview == This area is intended to capture details about users' experiences with TPTP. It is an area to * Describe the characteristics of ideal users of existing functionality of TP...) |
m (→Areas for Discussion) |
||
| Line 6: | Line 6: | ||
== Areas for Discussion == | == Areas for Discussion == | ||
| − | [TPTP_User_Experiences_Profiling|Experiences using JVMTI Java Profiling] | + | *[[TPTP_User_Experiences_Profiling|Experiences using JVMTI Java Profiling]] |
| − | [TPTP_User_Experiences_Test|Experiences using the Test Project] | + | *[[TPTP_User_Experiences_Test|Experiences using the Test Project]] |
| − | [TPTP_User_Experiences_Monitoring|Experiences using the Monitoring Project] | + | *[[TPTP_User_Experiences_Monitoring|Experiences using the Monitoring Project]] |
| + | |||
| + | Return to the [[TPTP]] wiki Page | ||
Revision as of 11:33, 31 October 2007
Overview
This area is intended to capture details about users' experiences with TPTP. It is an area to
- Describe the characteristics of ideal users of existing functionality of TPTP
- Document and correct issues that these users encounter
- Hold enhancement ideas from real users
Areas for Discussion
- Experiences using JVMTI Java Profiling
- Experiences using the Test Project
- Experiences using the Monitoring Project
Return to the TPTP wiki Page