Sciweavers

344 search results - page 34 / 69
» Validity concerns in software engineering research
Sort
View
SIGSOFT
2001
ACM
14 years 8 months ago
WREN---an environment for component-based development
Prior research in software environments focused on three important problems-- tool integration, artifact management, and process guidance. The context for that research, and hence...
Chris Lüer, David S. Rosenblum
FLAIRS
2009
13 years 5 months ago
Unit Testing for Qualitative Spatial and Temporal Reasoning
Researchers in commonsense, qualitative spatial and temporal reasoning (QSTR) provide flexible and intuitive methods for reasoning about vague and uncertain information including ...
Carl P. L. Schultz, Robert Amor, Hans W. Guesgen
VSTTE
2005
Springer
14 years 1 months ago
Linking the Meaning of Programs to What the Compiler Can Verify
We formulate some research and development challenges that relate what a verifying compiler can verify to the deļ¬nition and analysis of the application-content of programs, where...
Egon Börger
DAGSTUHL
2007
13 years 9 months ago
End-User Development Techniques for Enterprise Resource Planning Software Systems
Abstract. The intent of this position paper is to present the focus of interest of our end-user development (EUD) related research at SAP Research CEC Darmstadt, enabling other par...
Michael Spahn, Stefan Scheidl, Todor Stoitsev
UML
2004
Springer
14 years 1 months ago
5th International Workshop on Aspect-Oriented Modeling
This report summarizes the outcome of the 5th Workshop on AspectOriented Modeling (AOM) held in conjunction with the 7th International Conference on the Unified Modeling Language ā...
Dominik Stein, Jörg Kienzle, Mohamed Kand&eac...