2662 search results - page 80 / 533 » Tools Demonstrations |
127
click to vote
DEPCOS
2008
IEEE
15 years 10 months ago
2008
IEEE
Achieving and assessing conformity with standards and compliance with various sets of requirements generates significant costs for contemporary economies. Great deal of this is sp...
144
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we discuss and demonstrate how traditional literature reviews may be enriched by computer-assisted research profiling. Research profiling makes use of sophisticated ...
159
click to vote
IWPC
2005
IEEE
15 years 9 months ago
2005
IEEE
Comprehension is a key activity that underpins a variety of software maintenance and engineering tasks. The task of understanding object-oriented systems is hampered by the fact t...
118
click to vote
GRID
2005
Springer
15 years 9 months ago
2005
Springer
— Developing applications for parallel and distributed systems is hard due to their nondeterministic nature; developing debugging tools for such systems and applications is even ...
134
click to vote
SEKE
2005
Springer
15 years 9 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...