211 search results - page 26 / 43 » Safe Automotive Software Development |
147
click to vote
FSTTCS
2000
Springer
15 years 10 months ago
2000
Springer
This paper reports on results concerning the combination of non-standard semantics via interpreters. We define what a semantics combination means and identify under which condition...
168
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
The influence of architecture in assurance of system safety is being increasingly recognised in mission-critical software applications. Nevertheless, most architectural strategies...
139
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization description that specifies how t...
201
click to vote
TSE
2011
15 years 1 months ago
2011
— We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization specification that describe...
175
click to vote
ECRTS
2002
IEEE
15 years 11 months ago
2002
IEEE
In today’s technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity o...