At MITRE we are developing tools to aid analysts in assessing the operational usability and quality of object-oriented code. Our tools statically examine source code, automaticall...
Angel Asencio, Sam Cardman, David Harris, Ellen La...
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...
erse approaches at all levels of abstraction starting from the physical level up to the system level. Experience shows that a highlevel method may have a larger impact since the de...
This paper presents an approach to designing interactive systems that enables critical performance parameters to be identified and models of performance to be constructed. The met...
William M. Newman, Alex S. Taylor, Christopher R. ...