Sciweavers

1463 search results - page 104 / 293
» Software engineering practices in Singapore
Sort
View
KBSE
2009
IEEE
16 years 1 months ago
Loopfrog: A Static Analyzer for ANSI-C Programs
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...
Daniel Kroening, Natasha Sharygina, Stefano Tonett...
AGILEDC
2008
IEEE
16 years 26 days ago
The Good and Bad of Agile Offshore Development
Companies today are attempting to lower costs and increase their staffing flexibility by taking some [or even all] of their development activities overseas. Simultaneously, many o...
Mike Cottmeyer
AGILEDC
2007
IEEE
16 years 22 days ago
The Social Nature of Agile Teams
Agile methodologies represent a ‘people’ centered approach to delivering software. This paper investigates the social processes that contribute to their success. Qualitative g...
Elizabeth Whitworth, Robert Biddle
AGILEDC
2009
IEEE
15 years 9 months ago
Enabling Agile Testing through Continuous Integration
A Continuous Integration system is often considered one of the key elements involved in supporting an agile software development and testing environment. As a traditional software...
Sean Stolberg
WER
2004
Springer
15 years 11 months ago
Designing Communication-intensive Web Applications: a Case Study
Who uses requirements engineering and design methodologies besides the people who invented them? Are researchers - at least - actually trying to use them in real-world complex proj...
Vito Perrone, Davide Bolchini