Sciweavers

3272 search results - page 25 / 655
» Introduction to Software Performance Engineering
Sort
View
ISESE
2003
IEEE
15 years 7 months ago
Conducting On-line Surveys in Software Engineering
One purpose of empirical software engineering is to enable an understanding of factors that influence software development. Surveys are an appropriate empirical strategy to gather...
Teade Punter, Marcus Ciolkowski, Bernd G. Freimut,...
123
Voted
TASE
2007
IEEE
15 years 8 months ago
Symmetry Reduced Model Checking for B
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
Edd Turner, Michael Leuschel, Corinna Spermann, Mi...
146
Voted
PEPM
1993
ACM
15 years 6 months ago
Binding-Time Analysis and the Taming of C Pointers
The aim of binding-time analysis is to determine when variables, expressions, statements, etc. in a program can be evaluated by classifying these into static (compile-time) and dy...
Lars Ole Andersen
133
Voted
FASE
2011
Springer
14 years 6 months ago
Type-Safe Evolution of Spreadsheets
Abstract. Spreadsheets are notoriously error-prone. To help avoid the introduction of errors when changing spreadsheets, models that capture the structure and interdependencies of ...
Jácome Cunha, Joost Visser, Tiago L. Alves,...
WOSP
1998
ACM
15 years 6 months ago
Performance testing of software systems
ÐAn approach to software performance testing is discussed. A case study describing the experience of using this approach for testing the performance of a system used as a gateway ...
Filippos I. Vokolos, Elaine J. Weyuker