Sciweavers

5961 search results - page 242 / 1193
» Design Science and Software Engineering
Sort
View
132
Voted
KBSE
1997
IEEE
15 years 6 months ago
Modular Flow Analysis for Concurrent Software
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
Matthew B. Dwyer
114
Voted
CSMR
2006
IEEE
15 years 4 months ago
Search-Based Software Maintenance
The high cost of software maintenance could potentially be greatly reduced by the automatic refactoring of object-oriented programs to increase their understandability, adaptabili...
Mark Kent O'Keeffe, Mel Ó Cinnéide
108
Voted
WWW
2007
ACM
16 years 3 months ago
SOBOLEO -- Social Bookmarking and Lighweight Engineering of Ontologies
We present SOBOLEO, a system for the webbased collaborative engineering of SKOS ontologies and annotation of web resources. SOBOLEO enables the simple creation, extension and main...
Valentin Zacharias, Simone Braun
OOPSLA
2009
Springer
15 years 9 months ago
S.P.L.O.T.: software product lines online tools
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...
Marcílio Mendonça, Moises Branco, Do...
116
Voted
FSTTCS
2009
Springer
15 years 9 months ago
Iterative Methods in Combinatorial Optimization
We describe a simple iterative method for proving a variety of results in combinatorial optimization. It is inspired by Jain’s iterative rounding method (FOCS 1998) for designing...
R. Ravi