16725 search results - page 2720 / 3345 » Engineering Software Correctness |
178
click to vote
ICSM
2005
IEEE
16 years 23 days ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
161
click to vote
IWPC
2005
IEEE
16 years 23 days ago
2005
IEEE
Source code can be viewed in many ways, with each view facilitating access to different information contained within the code. In this working session, we will explore the role th...
192
click to vote
IUI
2005
ACM
16 years 22 days ago
2005
ACM
Proactive contextual information systems help people locate information by automatically suggesting potentially relevant resources based on their current tasks or interests. Such ...
206
click to vote
IUI
2005
ACM
16 years 22 days ago
2005
ACM
XML has emerged as the primary standard of data representation and data exchange [13]. Although many software tools exist to assist the XML implementation process, data must be ma...
203
click to vote
PLDI
2005
ACM
16 years 22 days ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...