1782 search results - page 167 / 357 » Tool Support for Proof Engineering |
157
click to vote
CSMR
2008
IEEE
16 years 29 days ago
2008
IEEE
In this demonstration, we present an Eclipse plug-in that automatically identifies Type-Checking bad smells in Java source code, and resolves them by applying the “Replace Condi...
164
click to vote
CSSE
2008
IEEE
16 years 29 days ago
2008
IEEE
As a collaborative social tool in web2.0 ear, wiki has a great potential in supporting learners’ collaborative learning. After analyzing the present wiki research on learning ac...
172
click to vote
KBSE
2006
IEEE
16 years 15 days ago
2006
IEEE
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
162
click to vote
WCRE
2006
IEEE
16 years 15 days ago
2006
IEEE
Aspect mining tries to identify crosscutting concerns in existing systems and thus supports the adaption to an aspect-oriented design. This paper describes an automatic static asp...
147
click to vote
WER
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents J-RAn (Java Requirement Analyzer), a tool that implements a novel Content Analysis technique to support the verification of consistency and completeness of a So...