ICST
2008
IEEE
13 years 11 months ago
2008
IEEE
Automated static analysis is a promising technique to detect defects in software. However, although considerable effort has been spent for developing sophisticated detection possi...
ICALT
2008
IEEE
13 years 11 months ago
2008
IEEE
This paper discusses the Betty’s Brain system and our ongoing work on developing a suite of tools that assist students and teachers in classroom learning in science domains. We ...
COMPSAC
2009
IEEE
13 years 11 months ago
2009
IEEE
In software engineering projects, there are two different types of modeling tools. On the one hand, there are tools to model the system under construction, i.e. tools for requirem...
ICSE
2009
IEEE-ACM
13 years 11 months ago
2009
IEEE-ACM
Tools support is crucial for the acceptance of a new programming language. However, providing such tool support is a huge investment that can usually not be provided for a researc...