| The kernel of any operating system is its most critical component. The remainder of the system depends upon a correctly functioning and reliable kernel for its operation.
The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. The formal refinement process ensures that the code meets the specification in a precise sense.
Two kernels are specified and refined. The first is small and of the kind often used in embedded and real-time systems. It closely resembles the one modelled in our Formal Models of Operating System Kernels. The second is a Separation Kernel, a microkernel architecture devised for cryptographic and other secure applications. Both kernels are refined to the point at which executable code can be extracted. Apart from documenting the process, including proofs, this book also shows how refinement of a realistically sized specification can be undertaken. |
|
|
Steps in Scala: An Introduction to Object-Functional Programming
Scala is a relatively new programming language that was designed by Martin Odersky and released in 2003. The distinguishing features of Scala include a seamless integration of functional programming features into an otherwise objectoriented language. Scala owes its name to its ability to scale, that is, it is a language that can grow by... | | Ergonomics for Beginners: A Quick Reference Guide, Third EditionRevised Contents Addresses Rapid Developments
Loaded with information on the design of work systems, workplaces, and workstations as well as human anthropometics, Ergonomics for Beginners: A Quick Reference Guide, Third Edition provides a useful quick reference and valuable tool for novices and experienced... | | Principles of Data Mining (Undergraduate Topics in Computer Science)Data Mining, the automatic extraction of implicit and potentially useful information from data, is increasingly used in commercial, scientific and other application areas.
This book explains and explores the principal techniques of Data Mining: for classification, generation of association rules and clustering. It is written for readers without... |
|