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"
m (→Areas for Discussion) |
(→Areas for Discussion) |
||
| Line 9: | Line 9: | ||
*[[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 | 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