HOTOS
2007
IEEE
14 years 3 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
ERCIMDL
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. The process of development of metadata elements and structures can be approached and supported in a number of different ways. We sketch a user-centred approach to this p...