2878 search results - page 176 / 576 » Analyzing the Uses of a Software Modeling Tool |
168
click to vote
CHI
2007
ACM
15 years 9 months ago
2007
ACM
Software developers must modify their programs to keep up with changing requirements and designs. Often, a conceptually simple change can require numerous edits that are similar b...
146
click to vote
ANOR
2007
15 years 5 months ago
2007
The profitability and morale of many organizations (such as factories, hospitals and airlines) are affected by their ability to schedule their personnel properly. Sophisticated an...
198
click to vote
QEST
2009
IEEE
16 years 15 days ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...
167
click to vote
VTS
2002
IEEE
15 years 10 months ago
2002
IEEE
We present a software-based weighted random pattern scheme for testing delay faults in IP cores of programmable SoCs. We describe a method for determining static and transition pr...
158
click to vote
SPIN
2000
Springer
15 years 9 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...