1127 search results - page 38 / 226 » GUI structural metrics |
DAC
2002
ACM
16 years 23 days ago
2002
ACM
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
FM
2009
Springer
15 years 6 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
128
click to vote
ICSM
2006
IEEE
15 years 5 months ago
2006
IEEE
Coupling in software has been linked with maintainability and existing metrics are used as predictors of external software quality attributes such as fault-proneness, impact analy...
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
The Unified Modeling Language (UML) has been widely accepted by application developers, but not so much by user interface (UI) designers. For this reason, the Unified Modeling Lan...
102
click to vote
CISS
2008
IEEE
15 years 1 months ago
2008
IEEE
Inference of the network structure (e.g., routing topology) and dynamics (e.g., traffic matrices, link performance) is an important component in many network design and management ...