Readers need not have any previous exposure to these topics. Readers
should have some familiarity with an object-oriented programming language
such as Java, C++, or C#, as could be gained in a year of introductory computer
science courses. Student readers need not have taken courses on data structures
and algorithms, computing theory, programming language semantics, or software
engineering. This book touches on those topics, but provides self-contained explanations.
It also explains the C# language features that it uses that are not found in
other popular languages, such as attributes and events.
Although this book is accessible to students, it will also be informative to experienced
professionals and researchers. It applies some familiar ideas in novel ways,
and describes new techniques that are not yet widely used, such as on-the-fly testing
and model composition.
When used with the NModel framework, C# can express the same kind of statebased
models as many formal specification languages, including Alloy, ASMs, B,
Promela, TLA,Unity, VDM, and Z, and also some diagramming notations, including
Statecharts and the state diagrams of UML. Exploration is similar to the analysis
performed by model checkers such as Spin and SMV. We have experience with
several of these notations and tools, and we believe that modeling and analysis do
not have to be esoteric topics.
Pages:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25