Sciweavers

3357 search results - page 278 / 672
» On the Use of Process Trails to Understand Software Developm...
Sort
View
PRIMA
2004
Springer
15 years 12 months ago
Modeling e-Procurement as Co-adaptive Matchmaking with Mutual Relevance Feedback
This paper proposes a new e-procurement model for a large number of buyers and sellers interacting via the Internet. The goal of e-procurement is to create a satisfactory match bet...
Reiko Hishiyama, Toru Ishida
ICSE
2003
IEEE-ACM
16 years 6 months ago
A Compositional Formalization of Connector Wrappers
Increasingly systems are composed of parts: software components, and the interaction mechanisms (connectors) that enable them to communicate. When assembling systems from independ...
Bridget Spitznagel, David Garlan
KBSE
2008
IEEE
16 years 1 months ago
Predicting Effectiveness of Automatic Testing Tools
—Automatic white-box test generation is a challenging problem. Many existing tools rely on complex code analyses and heuristics. As a result, structural features of an input prog...
Brett Daniel, Marat Boshernitsan
ICSM
1996
IEEE
15 years 10 months ago
Preprocessors from an Abstract Point of View
It is well known that the extensive use of preprocessors can lead to serious maintenance problems. However, these tools are still heavily used by developers and maintainers to imp...
Jean-Marie Favre
FORTEST
2008
15 years 8 months ago
From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
Sergiy A. Vilkomir, Jonathan P. Bowen