A user interface specification for a program debugging and measuring environment