53
54 Further Reading
The standard reference on C# is the book by Hejlsberg et al. (2006).
The most useful literature on the .NET framework is actually about the Common
Language Infrastructure (CLI), the standardized subset. The standard reference is
the book by Miller and Ragsdale (2004). The first chapter in the book by Stutz
et al. (2003) is a good introduction to the CLI and its motivation.
The sockets API is discussed in the book by Stevens (1990).
The xUnit testing framework is the subject of the book by Hamill (2004).
The term model program was used by Beizer (1995), for a program written to act
as an oracle.
We have tried to keep our terminology consistent with the glossaries in the IEEE
standard (1983), Beizer (1990, 1995), and Binder (1999).
Part II
Systems with Finite
Models
5 Model Programs
This chapter introduces model programs. We show how to code model programs
that work with the tools, by using attributes from the modeling library along with
some coding conventions.
In this chaper we also explain the process of writing a model program: the
steps you must go through to understand the implementation and design the model
program. Writing a model program does not mean writing the implementation twice.
By focusing on the purpose of the model, you can write a model program that is
much smaller and simpler than the implementation, but still expresses the features
you want to test or analyze.
Pages:
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96