Sciweavers

1154 search results - page 144 / 231
» Case Study: Software Product Integration Practices
Sort
View
106
Voted
JODL
2007
98views more  JODL 2007»
15 years 3 months ago
The Florida Digital Archive and DAITSS: a working preservation repository based on format migration
: The Florida Digital Archive is a long-term digital preservation repository for the use of the libraries of the public universities of Florida. It is managed by the Florida Center...
Priscilla Caplan
FASE
2005
Springer
15 years 9 months ago
Ensuring Structural Constraints in Graph-Based Models with Type Inheritance
Graphs are a common means to represent structures in models and meta-models of software systems. In this context, the description of model domains by classifying the domain entitie...
Gabriele Taentzer, Arend Rensink
129
Voted
GECCO
2008
Springer
135views Optimization» more  GECCO 2008»
15 years 4 months ago
Agent-based support for interactive search in conceptual software engineering design
While recent attempts to search a conceptual software engineering design search space with multi-objective evolutionary algorithms have yielded promising results, the practical ap...
Christopher L. Simons, Ian C. Parmee
162
Voted
WALTD
2008
168views Education» more  WALTD 2008»
15 years 5 months ago
Accessible Interfaces for Educational Multimedia Contents
The use of technology is growing in every field of education, and not only in the education of disabled students but also as a learning resource for everybody. The teachers are mo...
Lourdes Moreno, Ana Iglesias, Paloma Martín...
217
Voted
NFM
2011
335views Formal Methods» more  NFM 2011»
14 years 10 months ago
CORAL: Solving Complex Constraints for Symbolic PathFinder
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
Matheus Souza, Mateus Borges, Marcelo d'Amorim, Co...