Sciweavers

770 search results - page 51 / 154
» Experience in e-Science Requirements Engineering
Sort
View
FASE
2012
Springer
12 years 5 months ago
Integration Testing of Software Product Lines Using Compositional Symbolic Execution
Software product lines are families of products defined by feature commonality and variability, with a well-managed asset base. Recent work in testing of software product lines ha...
Jiangfan Shi, Myra B. Cohen, Matthew B. Dwyer
EWSA
2005
Springer
14 years 3 months ago
On the Systematic Conformance Check of Software Artefacts
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...
Hylke W. van Dijk, Bas Graaf, Rob Boerman
HOTSWUP
2009
ACM
14 years 2 months ago
Online Application Upgrade Using Edition-Based Redefinition
This paper describes Edition-Based Redefinition (EBR) in the Oracle database — a novel technology and methodology to build database application patches so that installation of t...
Alan Choi
KBSE
1999
IEEE
14 years 2 months ago
Towards Adaptive Web Agents
There is an increasingly large demand for software systems which are able to operate effectively in dynamic environments. In such environments, automated software engineering is e...
J. William Murdock, Ashok K. Goel
SAC
2008
ACM
13 years 9 months ago
Proposing metrics of difficulty of domain knowledge using usecase diagrams
In a system development, the knowledge of a target business is very important factor for the success of a development. The needed part of such knowledge is different for each stak...
Akira Osada, Daigo Ozawa, Naoyuki Kitazawa, Haruhi...