15401 search results - page 323 / 3081 » Software in Automotive Systems |
185
click to vote
ACMSE
2007
ACM
15 years 10 months ago
2007
ACM
As a software system evolves to accommodate new features and repair bugs, changes are needed. Software components are interdependent, changes made to one component can require cha...
217
click to vote
CSMR
2000
IEEE
15 years 11 months ago
2000
IEEE
The assessment of the changeability of software systems is of major concern for buyers of the large systems found in fast-moving domains such as telecommunications. One way of app...
176
click to vote
UPP
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. System family engineering seeks to exploit the commonalities among systems from a given problem domain while managing the variabilities among them in a systematic way. In...
187
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Software distributed shared memory (DSM) systems have successfully provided the illusion of shared memory on distributed memory machines. However, most software DSM systems use th...
182
click to vote
SIGSOFT
1996
ACM
15 years 11 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...