[]
readme
course(s)
preface
I
1
2
II
3
4
III
5
6
7
IV
8
9
10
V
11
12
afterthought(s)
appendix
reference(s)
example(s)
resource(s)
_
Resources
- metrics
- www.ifs.univie.ac.at/ISOO/OOCONCEPT/relationships.html -- Relations between Objects
- public.logica.com/~stepneys/int/z.htm -- Formal Methods and Z
- public.logica.com/~stepneys/bib/ss/ooz/bib.htm -- Object-Orientation and Z (bibliography)
- www-ercim.inria.fr/publication/Ercim_News/enw23/abreu.html
- www.sbu.ac.uk/~csse/publications/OOMetrics.html
- www.toa.com/pub/html/moose.html
[]
readme
course(s)
preface
I
1
2
II
3
4
III
5
6
7
IV
8
9
10
V
11
12
afterthought(s)
appendix
reference(s)
example(s)
resource(s)
_
(C) Æliens 04/09/2009
You may not copy or print any of this material without explicit permission of the author or the publisher. In case of other copyright issues, contact the author.