15401 search results - page 300 / 3081 » Software in Automotive Systems |
197
click to vote
IEEEARES
2006
IEEE
16 years 24 days ago
2006
IEEE
The raising need for e-government applications leads to many new approaches in this sector. To fulfill the requirement for a flexible government-to-government (G2G) software sys...
164
click to vote
IWPSE
2005
IEEE
16 years 10 days ago
2005
IEEE
As systems evolve their structure change in ways not expected upfront. As time goes by, the knowledge of the developers becomes more and more critical for the process of understan...
185
click to vote
JSW
2007
15 years 6 months ago
2007
Abstract— In many software design and evaluation techniques, either the software evolution problem is not systematically elaborated, or only the impact of evolution is considered...
184
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we describe design motivations and experience with a visual language that treats the architecture of a reactive system as a composition of small, asynchronous softw...
161
click to vote
SIGADA
2005
Springer
16 years 7 days ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...