Sciweavers

15253 search results - page 410 / 3051
» Integer-Programming Software Systems
Sort
View
ROBOCUP
2005
Springer
90views Robotics» more  ROBOCUP 2005»
16 years 11 days ago
Real-Time Diagnosis and Repair of Faults of Robot Control Software
Faults in hardware and software are not totally avoidable not even if the components are carefully designed, implemented and tested. In this paper we present a solution for detecti...
Gerald Steinbauer, Martin Mörth, Franz Wotawa
UML
2005
Springer
16 years 11 days ago
Addressing Domain Evolution Challenges in Software Product Lines
It is hard to develop and evolve software product-line architectures (PLAs) for large-scale distributed real-time and embedded (DRE) systems. Although certain challenges of PLAs ca...
Gan Deng, Gunther Lenz, Douglas C. Schmidt
EWSA
2004
Springer
16 years 8 days ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
IWPSE
2003
IEEE
16 years 5 days ago
The Chaos of Software Development
In this paper we present a new perspective on the problem of complexity in software, using sound mathematical concepts from information theory such as Shannon’s Entropy [31]. We...
Ahmed E. Hassan, Richard C. Holt
ISSTA
2000
ACM
15 years 11 months ago
OMEN: A strategy for testing object-oriented software
This paper presents a strategy for structural testing of objectoriented software systems with possibly unknown clients and unknown information about invoked methods. By exploiting...
Amie L. Souter, Lori L. Pollock