656 search results - page 60 / 132 » Parameterized Types for Java |
EUROMICRO
2002
IEEE
14 years 22 days ago
2002
IEEE
In today's software engineering practices, building applications from components is the ongoing trend. What can be noticed however is that there really is not a clear consens...
ISSRE
2002
IEEE
14 years 21 days ago
2002
IEEE
Fault insertion based techniqueshave been used for measuring test adequacy and testability of programs. Mutation analysis inserts faults into a program with the goal of creating m...
ECOOP
2001
Springer
14 years 8 days ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
JOT
2010
13 years 6 months ago
2010
This paper describes how to use annotation to provide semantic information. The applications include the automatic construction of a GUI so that the user input is constrained to a...
ICST
2009
IEEE
13 years 5 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...