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

Bibliographic Item (1.0)

ArdisMataga99

  1. Mark Ardis & Pete Mataga
  2. Formal Methods Through Domain engineering
  3. In [HincheyBowen99] pp315-328
  4. =EXPERIENCE FAST PROCESS DOMAIN technology transfer 5ESS Lucent
  5. Recommends an evolutionary, incremental, introduction of formal methods, that follows informal Domain analysis to identify useful abstractions.
  6. FAST::Process="Family-Oriented Abstraction, Specification, and Translation".

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]