15401 search results - page 298 / 3081 » Software in Automotive Systems |
168
click to vote
ICSM
1994
IEEE
15 years 11 months ago
1994
IEEE
Software evolution is usually considered in terms of corrections, improvements and enhancements. While helpful, this approach does not take into account the fundamental dimensions...
203
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we advocate the use of visual tooling for the development and maintenance of component-based software systems. Our contribution is twofold. First, we demonstrate ho...
178
click to vote
ENTCS
2007
15 years 6 months ago
2007
Most software is fragile: even the slightest error, such as changing a single bit, can make it crash. As software complexity has increased, development techniques have kept pace t...
164
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
154
click to vote
ECSA
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a dependency constraint language that allows software architects to restrict the spectrum of dependencies that can be presented in a given software system. The ...