68 search results - page 7 / 14 » Managing the Complexity of Large Free and Open Source Packag... |
ICDE
1999
IEEE
14 years 8 months ago
1999
IEEE
Modern digital libraries require user-friendly and yet responsive access to the rapidly growing, heterogeneous, and distributed collection of information sources. However, the inc...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
ICSM
2008
IEEE
14 years 1 months ago
2008
IEEE
Up-to-date comments are critical for the successful evolution of a software application. When modifying a function, developers may update the comment associated with the function ...
CLUSTER
2007
IEEE
14 years 1 months ago
2007
IEEE
— The service-oriented architecture has come a long way in solving the problem of reusability of existing software resources. Grid applications today are composed of a large numb...
ICSE
2010
IEEE-ACM
14 years 7 days ago
2010
IEEE-ACM
Free and open source software (FOSS) is distributed and made available to users under different software licenses, mentioned in FOSS code by means of licensing statements. Variou...