|
|||||||||||||||||||||||||||||||||||
|
1 Review
|
Average Customer Review
Share your thoughts with other customers
Create your own review
|
|
Most Helpful First | Newest First
|
|
0 of 2 people found the following review helpful:
5.0 out of 5 stars
This book is written by Z notation. I want to use B methods.,
By kaizen (Japan) - See all my reviews
This review is from: Formal Refinement for Operating System Kernels (Hardcover)
This book include two specification of operating system, micro C/OS and a kernel for cryptographic systems using Z schemata.
Z is ISO/IEC standards.ISO/IEC 13568:2002 Information technology -- Z formal specification notation -- Syntax, type system and semantics. And related standard is followint. ISO/IEC 10165-4:1992/Amd 3:1998 Guidelines for the use of Z in formalizing the behaviour of managed objects . I am no Z specialist nor OS specialist. And I do not have Z translator to C language.So I cannot understand main part of this book. So I request my colleague to rewrite this Z example to be utilized B methods. Also I request another colleague to write TOPPERS/SSP(smallest set profile) specification using Z. It should be rewrite to be utilised B methods. This is the first book who can start to formally designe and evaluate the architecture of operating system. |
|
Most Helpful First | Newest First
|
|
Formal Refinement for Operating System Kernels by I. Craig (Hardcover - July 25, 2007)
$119.00 $94.89
Usually ships in 1 to 3 weeks | |
 
| ||
