Sciweavers

Share
HOTOS
2007
IEEE
10 years 3 months ago
Towards a Practical, Verified Kernel
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...
Kevin Elphinstone, Gerwin Klein, Philip Derrin, Ti...
ERCIMDL
2007
Springer
91views Education» more  ERCIMDL 2007»
10 years 5 months ago
A User-Centred Approach to Metadata Design
Abstract. The process of development of metadata elements and structures can be approached and supported in a number of diļ¬€erent ways. We sketch a user-centred approach to this p...
Emma Tonkin
books