|
|
|
Magazine 0-1 (October 1992) |
 |
 |
 |
|
Monday, 02 February 2009 21:52 |
- Voorwoord - prof. dr. Martin Rem ()
- De vereniging xootic - ir. Henk Eemers ()
- De ontwerpersopleiding Technische Informatica - dr.ir. Marloes van Lierop ()
- Hoe u xootic financieel kunt ondersteunen - redactioneel
- Werken bij PTT Research - ir. Luc Gorissen ()
- Van toets tot drukwerk - prof.dr. Don Bouwhuis ()
- Evaluatie van simulatiesoftware voor de N.V. Luchthaven Schiphol - ir. Alex Jansen ()
|
|
Last Updated ( Saturday, 09 January 2010 18:48 )
|
|
Magazine 1-1 (April 1993) |
|
|
|
|
Monday, 02 February 2009 21:52 |
|
Editorial / Eerste lustrum van OOTI () OOTI goes international - ir. Erik Jan Marinissen () Werken op de Universiteit van Swaziland - ir. Eelco Vriezekolk () Een tool voor syntactische patroonherkenning voor de Université Joseph Fourier, Grenoble - ir. Marcel J.A. Peek () Certificerings Commissie evalueert OOTI - ir. Erik Jan Marinissen () Formele specifikatie met PSF - dr. Sjouke Mauw () |
|
Last Updated ( Saturday, 09 January 2010 18:57 )
|
|
|
Magazine 1-2 (September 1993): Five Years OOTI |
|
|
|
|
Monday, 02 February 2009 21:51 |
|
Ex-OOTIs survey 1993 - ir. Henk Eemers and ir. Michiel Kamps ()Putting OOTI knowledge into practice - ir. Michiel Kamps ()From Structured to Object-Oriented Programming - ir. J.J. van Amstel ()Parallel program debugging, a case study at CERN - ir. René Schiefer ()OOTI formally certified - ir. Erik Jan Marinissen () |
|
Last Updated ( Saturday, 09 January 2010 19:03 )
|
|
Magazine 2-1 (April 1994): Formal Specification Methods |
|
|
|
|
Monday, 02 February 2009 21:51 |
|
Specifying; a formality? - ir. Erik Jan Marinissen ()Towards Ph.D. in Design - ir. Ad Peeters ()"There's nothing so practical as a good theory" - interview with dr. Mike Spivey ()Research and Application of Formal Methods - dr.ir. Loe Feijs ()Formal Specification of 'Traffic' - ir. Frank van den Berk () |
|
Last Updated ( Saturday, 09 January 2010 19:08 )
|
|
|
|
|
|
|
Page 1 of 6 |
Publications