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

Bibliographic Item (1.0)

RomanWilcox94

  1. Gruia-Catalan Roman & C Donald Wilcox
  2. Architecture-Directed Refinement
  3. IEEE Trans SE-30n4(Apr 1994)pp239-258
  4. =DEMO Swarm Formal Program vs specification concurrent
  5. PurposeQuality->(Tech)->System
      Focussed on program derivation from spec (by creative but verifiable steps) Description of formal process on p239
      1. formal treatment
      2. Better Understanding of the fundamental issues
      3. development of tools

      Ignores Feijs93

      Ignores formal methods for specs: Z, VDM, ... "Current program derivation methods simply exclude considerations regarding target architecture from the formal framework"!?!

      Shows that Swarm/UNITY can discuss architectural constraints



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]