Sciweavers

335 search results - page 52 / 67
» Arguing safety with Problem Oriented Software Engineering
Sort
View
KBSE
2007
IEEE
15 years 3 months ago
Adaptation hiding modularity
Growth in the complexity of computing systems, in the dynamism of the environments they operate in, and the need for timely adaptations as conditions change, now pose significant...
Yuanyuan Song
70
Voted
AUIC
2004
IEEE
15 years 1 months ago
Display and Presence Disparity in Mixed Presence Groupware
Mixed Presence Groupware (MPG) supports both colocated and distributed participants working over a shared visual workspace. It does this by connecting multiple single-display grou...
Anthony Tang, Michael Boyle, Saul Greenberg
FATES
2004
Springer
15 years 2 months ago
Using Model Checking for Reducing the Cost of Test Generation
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
Hyoung Seok Hong, Hasan Ural
96
Voted
KBSE
2006
IEEE
15 years 3 months ago
Detecting Precedence-Related Advice Interference
Aspect-Oriented Programming (AOP) has been proposed in literature to overcome modularization shortcomings such as the tyranny of the dominant decomposition. However, the new langu...
Maximilian Storzer, Florian Forster
XPU
2005
Springer
15 years 2 months ago
Agile Methods for Embedded Systems
The main goal to be answered by this Ph.D. thesis is whether there is a potential for a successful and powerful application of agile methods and related techniques to embedded syst...
Dirk Wilking