1082 search results - page 41 / 217 » tools 2000 |
WCRE
2000
IEEE
14 years 2 months ago
2000
IEEE
The purpose of this panel is to report on a structured demonstration for comparing program comprehension tools. Five program comprehension tool designers applied their tools to a ...
ICSE
2000
IEEE-ACM
14 years 1 months ago
2000
IEEE-ACM
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call packageoriented programming (POP). Galileo represents an ongoing evaluatio...
HICSS
2000
IEEE
14 years 2 months ago
2000
IEEE
Easy-to-access and up-to-date project status feedback is an important aspect of effective project management. When project data is collected, a common problem is how to present th...
ISORC
2000
IEEE
14 years 2 months ago
2000
IEEE
We describe a real-time, component-based system for an inspection application. We chose the inspection application and the accompanying task (or scenario) so that we might fully e...
TACAS
2000
Springer
14 years 1 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...