Specification Techniques for Automatic Performance Analysis Tools.

Michael Gerndt Hans-Georg Eßer

Published in: IPDPS Workshops (2000)

Keyphrases

semi automatic
software tools
fully automatic
formal methods
user friendly
real time
formal specification
building blocks
data driven
tool suite
modelling language
design decisions
design principles
decision support
end users
e learning
information retrieval