Sciweavers

3920 search results - page 361 / 784
» Challenges in Software Evolution
Sort
View
APSEC
2000
IEEE
15 years 9 months ago
Transatlantic project courses in a university environment
Communication and collaboration is difficult in geographically distributed settings. As a result of globalization, merges and acquisition, and scarce skills, software development...
Bernd Brügge, Allen H. Dutoit, Rafael Kobylin...
CAISE
2010
Springer
15 years 4 months ago
Search Computing Systems
Search computing is a novel discipline whose goal is to answer complex, multi-domain queries. Such queries typically require combining in their results domain knowledge extracted ...
Stefano Ceri, Marco Brambilla
ICSM
2009
IEEE
15 years 11 months ago
Regression model checking
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
Guowei Yang, Matthew B. Dwyer, Gregg Rothermel
AGILEDC
2007
IEEE
15 years 11 months ago
A Strategy for Balancing Business Value and Story Size
What would your Analyst team do when torn between meeting Customer versus Developer demands? When their needs conflict with one another, how do you appease them both? The report o...
Hai Ton
SEFM
2007
IEEE
15 years 11 months ago
Verifying the Mondex Case Study
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
Peter H. Schmitt, Isabel Tonin