Sciweavers

3330 search results - page 97 / 666
» software 2010
Sort
View
FMAM
2010
223views Formal Methods» more  FMAM 2010»
13 years 7 months ago
Agile Formality: A Mole of Software Engineering Practices
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...
Vieri del Bianco, Dragan Stosic, Joseph R. Kiniry
TC
2010
13 years 3 months ago
Architectures and Execution Models for Hardware/Software Compilation and Their System-Level Realization
We propose an execution model that orchestrates the fine-grained interaction of a conventional general-purpose processor (GPP) and a high-speed reconfigurable hardware accelerator ...
Holger Lange, Andreas Koch
JUCS
2010
134views more  JUCS 2010»
13 years 4 months ago
Systematic Management of Variability in UML-based Software Product Lines
Abstract: This paper presents SMarty, a variability management approach for UMLbased software product lines (PL). SMarty is supported by a UML profile, the SMartyProfile, and a pro...
Edson Alves de Oliveira Junior, Itana Maria de Sou...
TE
2010
95views more  TE 2010»
13 years 3 months ago
Support for Different Roles in Software Engineering Master's Thesis Projects
Like many engineering programs in Europe, the final part of most Swedish software engineering programs is a longer project in which the students write a Master's thesis. These...
Martin Höst, Robert Feldt, Frank Lüders
ICSE
2010
IEEE-ACM
14 years 2 months ago
Eliminating dead-code from XQuery programs
One of the challenges in web software development is to help achieving a good level of quality in terms of code size and runtime performance, for increasingly popular domain speci...
Pierre Genevès, Nabil Layaïda