Sciweavers

398 search results - page 1 / 80
» Using Benchmarking to Advance Research: A Challenge to Softw...
Sort
View
ICSE
2003
IEEE-ACM
14 years 4 months ago
Using Benchmarking to Advance Research: A Challenge to Software Engineering
Benchmarks have been used in computer science to compare the performance of computer systems, information retrieval algorithms, databases, and many other technologies. The creatio...
Susan Elliott Sim, Steve M. Easterbrook, Richard C...
VSTTE
2010
Springer
13 years 2 months ago
Dafny Meets the Verification Benchmarks Challenge
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
K. Rustan M. Leino, Rosemary Monahan
PDSE
1998
215views more  PDSE 1998»
13 years 6 months ago
Distributed Information Systems - Issues and Challenges for the Software Engineering Research Community
With the ever-increasing use of object-oriented middleware in distributed information systems, new challenges are facing the software engineering profession. Often, it is simply a...
Ian Gorton
ASWEC
2008
IEEE
13 years 11 months ago
Construction by Configuration: Challenges for Software Engineering Research and Practice
The past ten years have seen a radical shift in business application software development. Rather than developing software from scratch using a conventional programming language, ...
Ian Sommerville
EWSA
2004
Springer
13 years 10 months ago
Using Architectural Models at Runtime: Research Challenges
David Garlan, Bradley R. Schmerl