Sciweavers

801 search results - page 49 / 161
» Robust Software
Sort
View
EMSOFT
2001
Springer
15 years 9 months ago
Embedded Control: From Asynchrony to Synchrony and Back
Abstract. We propose in this paper a historical perspective of programming issues found in the implementation of control systems, based on the author’s observations for more than...
Paul Caspi
FSTTCS
2000
Springer
15 years 8 months ago
Combining Semantics with Non-standard Interpreter Hierarchies
This paper reports on results concerning the combination of non-standard semantics via interpreters. We define what a semantics combination means and identify under which condition...
Sergei M. Abramov, Robert Glück
IWSAS
2000
Springer
15 years 8 months ago
An Architecture for Self-Adaptation and Its Application to Aerial Image Understanding
Abstract. Certain problems in which the environment is not well constrained do not lend themselves to a conventional open loop solution. Image understanding is such a problem domai...
Paul Robertson
ICSE
2003
IEEE-ACM
16 years 4 months ago
Constructing Test Suites for Interaction Testing
Software system faults are often caused by unexpected interactions among components. Yet the size of a test suite required to test all possible combinations of interactions can be...
Myra B. Cohen, Peter B. Gibbons, Warwick B. Mugrid...
ASWEC
2007
IEEE
15 years 11 months ago
Supporting OO Design Heuristics
Heuristics have long been recognised as a way to tackle problems which are intractable because of their size or complexity. They have been used in software engineering for purpose...
Neville Churcher, Sarah Frater, Cong Phuoc Huynh, ...