Paper Details

@InProceedings{GeeWorrall91,
  title = "{D}evelopement methods and occam",
  author= "Gee, David M. and Worrall, Barry P. and Henderson, W. D.",
  editor= "Edwards, Janet",
  pages = "111--122",
  booktitle= "{P}roceedings of {W}o{TUG}-14: {O}ccam and the {T}ransputer-{C}urrent {D}evelopments",
  isbn= "90 5199 063 4",
  year= "1991",
  month= "sep",
  abstract= "Existing structured methods for real-time systems are
     critically reviewed with respect to their suitability for
     direct implementation in occam without transformation. All
     are found to have weaknesses in some respects; consequently
     new notations are proposed. Use of these within an
     appropriate tool framework could assist in the automatic
     generation of occam code."
}

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.