20 search results - page 1 / 4 » Cache-Aware Development of High-Integrity Systems |
96
Voted
ADAEUROPE
2010
Springer
15 years 3 months ago
2010
Springer
87
Voted
TC
2002
15 years 2 months ago
2002
: In this paper we show how design-level aspects can be used to develop high integrity systems. In our approach, a system designer must first identify the specific mechanisms requi...
122
Voted
HASE
1998
IEEE
15 years 7 months ago
1998
IEEE
We have developed and successfully applied a technique to build a high integrity compiler from Pasp, a Pascal-like language, to Asp, the target language for a high integrity proce...
93
Voted
ISLPED
1998
ACM
15 years 7 months ago
1998
ACM
148
Voted
ADAEUROPE
2007
Springer
15 years 9 months ago
2007
Springer
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...