Sciweavers

3837 search results - page 266 / 768
» Concurrent Engineering support in Software Engineering
Sort
View
GECCO
2007
Springer
215views Optimization» more  GECCO 2007»
15 years 8 months ago
Finding safety errors with ACO
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
Enrique Alba, J. Francisco Chicano
GECCO
2007
Springer
132views Optimization» more  GECCO 2007»
15 years 10 months ago
The multi-objective next release problem
This paper is concerned with the Multi-Objective Next Release Problem (MONRP), a problem in search-based requirements engineering. Previous work has considered only single objecti...
Yuanyuan Zhang, Mark Harman, S. Afshin Mansouri
WWW
2007
ACM
16 years 5 months ago
Construction by linking: the linkbase method
The success of many innovative Web applications is not based on the content they produce ? but on how they combine and link existing content. Older Web Engineering methods lack fl...
Johannes Meinecke, Frederic Majer, Martin Gaedke
SEKE
2001
Springer
15 years 8 months ago
Implementing the Experience Factory concepts as a set of Experience Bases
This talk takes the Experience Factory concept, which was originally developed as organizational support for software development and generalizes it to organizational support for ...
Victor R. Basili
UIST
2000
ACM
15 years 8 months ago
SATIN: a toolkit for informal ink-based applications
Software support for making effective pen-based applications is currently rudimentary. To facilitate the creation of such applications, we have developed SATIN, a Java-based toolk...
Jason I. Hong, James A. Landay