Sciweavers

417 search results - page 27 / 84
» Measuring the usability of software components
Sort
View
TCAD
2008
103views more  TCAD 2008»
13 years 8 months ago
Using Transfer-Resource Graph for Software-Based Verification of System-on-Chip
The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources. Hence, ...
Xiaoxi Xu, Cheng-Chew Lim
IV
2003
IEEE
92views Visualization» more  IV 2003»
14 years 1 months ago
A Visual Formalism for Graphical User Interfaces based on State Transition Diagrams
In this paper we present a “lightweight” visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, te...
Carsten Maple, Tim French, Marc Conrad
ICSE
2003
IEEE-ACM
14 years 8 months ago
Fragment Class Analysis for Testing of Polymorphism in Java Software
Testing of polymorphism in object-oriented software may require coverage of all possible bindings of receiver classes and target methods at call sites. Tools that measure this cove...
Atanas Rountev, Ana Milanova, Barbara G. Ryder
ENTCS
2007
101views more  ENTCS 2007»
13 years 8 months ago
Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation
Even with todays hardware improvements, performance problems are still common in many software systems. An approach to tackle this problem for component-based software architectur...
Heiko Koziolek, Viktoria Firus
HT
2006
ACM
14 years 2 months ago
Hyperlink assessment based on web usage mining
One of the basic methods of web usage mining are association rules that indicate relationships among common use of web pages. Positive and confined negative association rules are ...
Przemyslaw Kazienko, Marcin Pilarczyk