[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

CarringtonDukeHayesWelsh93

  1. David Carrington<davec@cs.uq.oz.au> & David Duke<duke@minster.york.ac.uk> & Ian Hayes<ianh@cs.uq.oz.au> & Jim Welsh<jom@cs.uq.oz.au>
  2. Deriving Modular Designs from From Specifications [Notkin93] pp 89-98
  3. =CASE-STUDY FORMAL Design Z
      Case study: UQ2 generic editor of structured documents.

      finding dependencies, gnerating clusters, NuProlog, tools set for analysis of Z etc

      Formula for cohesion and closeness(roughly cohesion)

      promotion can hide the simplicity of connections at lower levels. Example p92-93... tables with rd, wr, ...



Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]