15401 search results - page 346 / 3081 » Software in Automotive Systems |
151
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
se Analysis of Discrete Systems Based on Conditional Abstractions Felice Balarin Cadence Berkeley Laboratories
139
click to vote
FSTTCS
1998
Springer
15 years 11 months ago
1998
Springer
In [NO88], a particular trace monoid M is constructed such that for the class of length
152
click to vote
TASE
2010
IEEE
15 years 1 months ago
2010
IEEE
System and program verification has been a large
178
click to vote
SELMAS
2005
Springer
16 years 9 days ago
2005
Springer
Software reuse technologies have been a driving force in significantly reducing both the time and cost of software specification, development, maintenance and evolution. However, t...
156
click to vote
ICSM
2003
IEEE
16 years 3 days ago
2003
IEEE
Version control and bug tracking systems contain large amounts of historical information that can give deep insight into the evolution of a software project. Unfortunately, these ...