2846 search results - page 149 / 570 » A Software Performance Engineering Tool based on the UML-SPT |
172
click to vote
IUI
1999
ACM
15 years 10 months ago
1999
ACM
Model-based interface development systems have not been able to progress beyond producing narrowly focused interface designs of restricted applicability. We identify a -abstractio...
219
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
—Markov chains with Labelled Transitions can be used to generate test cases in a model-based approach. These test cases are generated by random walks on the model according to pr...
152
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
158
click to vote
ICST
2008
IEEE
16 years 27 days ago
2008
IEEE
Microsoft is producing high-quality documentation for Windows client-server and server-server protocols. Our group in the Windows organization is responsible for verifying the doc...
181
click to vote
EUROMICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we present a web-based Distributed Virtual Learning Environment (DVLE) that could be used as a sophisticated tool for distance education and collaboration between t...