[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Mark Ardis & Pete Mataga
- Formal Methods Through Domain engineering
- In
[HincheyBowen99]
pp315-328
- =EXPERIENCE FAST PROCESS DOMAIN technology transfer 5ESS Lucent
- Recommends an evolutionary, incremental, introduction of formal methods, that follows informal Domain analysis to identify useful abstractions.
- FAST::Process="Family-Oriented Abstraction, Specification, and Translation".
Search for bibliographic items containing a matching string. Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]