Next: About this document ... Up: Spring 1999 Lecture Notes Previous: Reporting

List of Documents

This text will appear during the spring of 1999.
It serves as text material for the authors's advanced course on software abstraction and modelling given at the Technical University of Denmark, February 1 -- May 21, 1999.
Presently Chapters 0-6, 8, 10-13, 15, 19-20 and Appendices A, B, F and G will be completed in a first rather comprehensive version by the summer of 1999.
It is hoped that remaining chapters and appendices will be similarly ``completed'' by the end of 1999.
The Lecture notes and the overhead (OH) foils are generated from the same text. Thus the OH foils are ``intimately'' correlated to the lecture note text.
Late January 1999 The Complete Lecture Notes:
Mid January 1999 Chapter-by-Chapter, Appendix-by-Appendix Lecture Notes:
Page numbering may be ``erroneous'' due to separate, out-of-order compilation. Page numbering should be correct for the above `complete' versions!
- Full size, A4, format:
  
  Cover
  This first document gives you an overall contents listing.
  So I just list chapter numbers:
  0.
  Foreword
  1.
  Chapter 1
  2.
  Chapter 2
  3.
  Chapter 3
  4.
  Chapter 4
  5.
  Chapter 5
  6.
  Chapter 6
  7.
  Chapter 7
  8.
  Chapter 8
  9.
  Chapter 9
  10.
  Chapter 10
  11.
  Chapter 11
  12.
  Chapter 12
  13.
  Chapter 13
  14.
  Chapter 14
  15.
  Chapter 15
  16.
  Chapter 15
  17.
  Chapter 15
  18.
  Chapter 15
  19.
  Chapter 15
  20.
  Chapter 20
  21.
  Chapter 20
  A.
  Appendix A: Railways
  B.
  Appendix B: Air Traffic
  
  Appendices C-E follow ``soon''!
  F.
  Appendix F: ReMaCS
  G.
  Appendix G: GaDIIS/DSSfSD
  
  Appendices H-M follow ``soon''!
- Half-size format: Two pages to one A4 sheet:
Some chapters are presently ``rather empty'': 5, 7, 9, 11, 12, etc.
Other chapters are only ``50% full'' (!): 10, 13, 14, 15, etc.
Lecture Overhead Foils:
- Full size, A4, format:
- Quarter-size formal: Four OH foil pages to one A4 sheet:
- Three ``collections'' of quarter reduced OH foils:

Next: About this document ... Up: Spring 1999 Lecture Notes Previous: Reporting

Dines Bjorner
4/14/1999