Sciweavers

3547 search results - page 288 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
APSEC
2001
IEEE
15 years 11 months ago
Expert Maintainers' Strategies and Needs when Understanding Software: A Case Study Approach
Accelerating the learning curve of software maintainers working on systems with which they have little familiarity motivated this study. A working hypothesis was that automated me...
Christos Tjortjis, Paul J. Layzell
KBSE
2008
IEEE
16 years 1 months ago
Type-Checking Software Product Lines - A Formal Approach
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
Christian Kästner, Sven Apel
HICSS
2006
IEEE
120views Biometrics» more  HICSS 2006»
16 years 1 months ago
Reconciling the Irreconcilable? A Software Development Approach that Combines Agile with Formal
Unstable software requirements are common and call for Agile practices. On the other hand, quality standards and recommendations, to which companies must adhere to play in selecte...
José Gonçalo A. Oliveira Basto da Si...
233
Voted
RTAS
2006
IEEE
16 years 1 months ago
Adaptive Allocation of Software and Hardware Real-Time Tasks for FPGA-based Embedded Systems
Operating systems for reconfigurable devices enable the development of embedded systems where software tasks, running on a CPU, can coexist with hardware tasks running on a recon...
Rodolfo Pellizzoni, Marco Caccamo
APSEC
2005
IEEE
16 years 1 months ago
Understanding the Nature of Collaboration in Open-Source Software Development
Our approach to better understand the nature of collaboration in open-source software (OSS) development is to view it as a participative system, where people and artifacts are int...
Kumiyo Nakakoji, Kazuaki Yamada, Elisa Giaccardi