2935 search results - page 516 / 587 » An Integrated Approach to High Integrity Software Verificati... |
138
click to vote
IFM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
130
click to vote
ISORC
2003
IEEE
15 years 9 months ago
2003
IEEE
Time triggered methods provide deterministic behaviour suitable for critical real-time systems. They perform less favourably, however, if the arrival times of some activities are ...
147
click to vote
ECRTS
2002
IEEE
15 years 9 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...
132
click to vote
ADC
2000
Springer
15 years 8 months ago
2000
Springer
Advanced object-oriented applications require the management of schema versions, in order to cope with changes in the structure of the stored data. Two types of versioning have be...
147
click to vote
JUCS
2008
15 years 4 months ago
2008
: This paper presents a proposal to tackle the design and development of user interfaces for groupware applications. This proposal includes important design and implementation issu...