Magazine 2-1 (April 1994): Formal Specification Methods

  • Specifying; a formality? – ir. Erik Jan Marinissen (PDF)
  • Towards Ph.D. in Design – ir. Ad Peeters  (PDF)
  • “There’s nothing so practical as a good theory” – interview with dr. Mike Spivey  (PDF)
  • Research and Application of Formal Methods – Loe Feijs  (PDF)
  • Formal Specification of ‘Traffic’ – ir. Frank van den Berk (PDF)
  • Leave a comment