Sciweavers

1080 search results - page 45 / 216
» Software metrics: roadmap
Sort
View
ICSM
2009
IEEE
15 years 4 months ago
Senseo: Enriching Eclipse's static source views with dynamic metrics
Maintaining object-oriented systems that use inheritance and polymorphism is difficult, since runtime information, such as which methods are actually invoked at a call site, is n...
David Röthlisberger, Marcel Harry, Alex Villa...
VISSOFT
2005
IEEE
15 years 3 months ago
DependencyViewer - A Tool for Visualizing Package Design Quality Metrics
DependencyViewer helps to control package dependencies to avoid degeneration of package designs. To this end it computes design quality metrics including stabilabstractness for ea...
Michael Wilhelm, Stephan Diehl
FSEN
2007
Springer
15 years 1 months ago
Model Checking Temporal Metric Specifications with Trio2Promela
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...
Domenico Bianculli, Paola Spoletini, Angelo Morzen...
ECBS
2007
IEEE
111views Hardware» more  ECBS 2007»
15 years 4 months ago
Model-Based Empirical Performance Evaluation Based on Relational Traces
Empirical performance evaluation is the process of measuring and calculating performance metrics of deployed software systems. It is a part of performance validation during testin...
Marko Boskovic
ICSE
2000
IEEE-ACM
15 years 1 months ago
Producing more reliable software: mature software engineering process vs. state-of-the-art technology?
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
James C. Widmaier