Fermenting and Distilling

  • Robert Worden
Conference paper
Part of the Workshops in Computing book series (WORKSHOPS COMP.)


I shall make a few remarks on the relation between formality and object orientation; but, using a keynote speaker’s privilege, approaching it in a roundabout way. Before regaling you with my prejudices, first a couple of minutes’ background on where those prejudices come from.


Formal Method Distillation Column Distillation Process Object Orientation Mathematical Abstraction 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Bill Curtis, Herb Krasner and Neil Iscoe, `A Field Study of the Software Design Process for Large Systems’ Communications of the ACM, Vol 31, no 11, 1268–1287, November 1988.Google Scholar

Copyright information

© British Computer Society 1994

Authors and Affiliations

  • Robert Worden
    • 1
  1. 1.Logica Cambridge LimitedCambridgeUK

Personalised recommendations