Sciweavers

1040 search results - page 101 / 208
» The Role of Controlled Experiments in Software Engineering R...
Sort
View
EMSOFT
2006
Springer
15 years 6 months ago
Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
Venkita Subramonian, Christopher D. Gill, Cé...
VAMOS
2010
Springer
15 years 6 months ago
Tool Support for Incremental Consistency Checking on Variability Models
The complexity of variability models makes it hard for product line engineers to maintain their consistency over time. Engineers need support to detect and resolve inconsistencies....
Michael Vierhauser, Deepak Dhungana, Wolfgang Heid...
HOTSWUP
2009
ACM
15 years 9 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
CSCW
2002
ACM
15 years 4 months ago
Activity Theory and System Design: A View from the Trenches
An activity theory model and a mediating artifacts hierarchy were employed to help identify the needs for tools for customer support engineers who documented solutions to customer...
Patricia Collins, Shilpa Shukla, David F. Redmiles
APSEC
2004
IEEE
15 years 8 months ago
Extending a Graphic Modeling Language to Support Partial and Evolutionary Specification
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
Yong Xia, Martin Glinz