Sciweavers

2261 search results - page 42 / 453
» Modeling the Experimental Software Engineering Process
Sort
View
146
Voted
FM
2009
Springer
153views Formal Methods» more  FM 2009»
15 years 10 days ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo
139
Voted
DAMON
2007
Springer
15 years 8 months ago
Vectorized data processing on the cell broadband engine
In this work, we research the suitability of the Cell Broadband Engine for database processing. We start by outlining the main architectural features of Cell and use microbenchmar...
Sándor Héman, Niels Nes, Marcin Zuko...
100
Voted
GI
2009
Springer
15 years 6 months ago
Applying Concept-Driven Engineering for Business Process Specifications
: This paper presents the principles of concept-driven engineering and the ConceptManager tool as an implementation of these principles. Concept-Driven Engineering is capable of el...
Peggy Schmidt, Marion Behrens, Sebastian Kowski
133
Voted
CIKM
2009
Springer
15 years 9 months ago
Group-by skyline query processing in relational engines
The skyline operator was first proposed in 2001 for retrieving interesting tuples from a dataset. Since then, 100+ skyline-related papers have been published; however, we discove...
Ming-Hay Luk, Man Lung Yiu, Eric Lo
114
Voted
ISPW
2006
IEEE
15 years 8 months ago
On Mobility of Software Processes
Abstract. In this paper, the mobility of software processes, a novel concept, is proposed. It is defined as the structural change in a software process resulting from interactions...
Mingshu Li, Qiusong Yang, Jian Zhai, Guowei Yang