[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Rachel Harrison & Colin Snook
- Practitioners Views on the Use of Formal Methods: An Industrial Survey by Structured Interview
- Information & Software Technology 43(4) : 275-283 (2001)
[ rharrison.pdf ]
- =POLL EMPIRICAL UML Z B VDM CSP CCS in Marconi Prasix IBM Phillips
- Using these methods typically needs trained customers. Most customers accept that software is error prone.
- "Some customers do not want to be tied down to what they require,"[so that they don't]"take responsibility for the systems validity".
- IBM and Praxis claim evidence of higher quality (eg fewer post-delivery failures).
- Praxis notes you get more efficient code that does less!
- No change in (traditional) life cycle but specification takes longer (and is most difficult) but reduces later effort.
- size of system is not a problem. Understandability of the notation was not a problem. Finding useful abstractions is a problem.
- Need style as well as formal notation. comments help. Making implicit changes explicit helps.
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]