Sciweavers

SIGOPS
2011
255views Hardware» more  SIGOPS 2011»
13 years 7 months ago
Bridging functional heterogeneity in multicore architectures
Heterogeneous processors that mix big high performance cores with small low power cores promise excellent single– threaded performance coupled with high multi–threaded through...
Dheeraj Reddy, David A. Koufaty, Paul Brett, Scott...
AOSD
2011
ACM
13 years 7 months ago
Experiences documenting and preserving software constraints using aspects
Software systems are increasingly being built as compositions of reusable artifacts (components, frameworks, toolkits, plug-ins, APIs, etc) that have non-trivial usage constraints...
Roberto Silveira Silva Filho, François Bron...
INTERACTIONS
2010
92views more  INTERACTIONS 2010»
13 years 9 months ago
PUX: patterns of user experience
s from a concrete to a new abstract level of description [1]. Rises in abstraction level happen regularly in all fields, but the key difference in Alexander's work was that ra...
Alan F. Blackwell, Sally Fincher
INFSOF
2010
146views more  INFSOF 2010»
13 years 9 months ago
Links between the personalities, views and attitudes of software engineers
Successful software development and management depends not only on the technologies, methods and processes employed but also on the judgments and decisions of the humans involved....
Robert Feldt, Lefteris Angelis, Richard Torkar, Ma...
ICSE
2010
IEEE-ACM
13 years 9 months ago
Capturing the long-term impact of changes
Developers change source code to add new functionality, fix bugs, or refactor their code. Many of these changes have immediate impact on quality or stability. However, some impact...
Kim Sebastian Herzig
EMSOFT
2010
Springer
13 years 9 months ago
Components, platforms and possibilities: towards generic automation for MDA
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...
Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Di...
CLEIEJ
2010
13 years 9 months ago
Empirical Validation of Component-based Software Systems Generation and Evaluation Approaches
Component-based software development needs to formalize a process of generation, evaluation and selection of Composite COTS-based Software Systems (CCSS), enabling software archit...
Victor Sagredo, Carlos Becerra, Gonzalo Valdes
CLEIEJ
2010
13 years 9 months ago
Implementation of an Improvement Cycle using the Competisoft Methodological Framework and the Tutelkan Platform
Formalizing and institutionalizing software processes has become a necessity in recent years requiring the management and enhancement of software production and, at the same time,...
Rodolfo Villarroel, Yessica Gómez, Roman Ga...
CACM
2010
97views more  CACM 2010»
13 years 10 months ago
Certified software
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
Zhong Shao
IFIP12
2009
13 years 10 months ago
Semantic Annotation, Publication and Discovery of Java Software Components: an Integrated Approach
: Component-based software development has matured into standard practice in software engineering. Among the advantages of reusing software modules are lower costs, faster developm...
Zinon Zygkostiotis, Dimitris Dranidis, Dimitrios K...