20 search results - page 1 / 4 » Cache-Aware Development of High-Integrity Systems |
ADAEUROPE
2010
Springer
13 years 6 months ago
2010
Springer
TC
2002
13 years 4 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...
HASE
1998
IEEE
13 years 9 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...
ISLPED
1998
ACM
13 years 9 months ago
1998
ACM
ADAEUROPE
2007
Springer
13 years 11 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 ...