[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
part of the everyday toolset
current are theoretically sound but hard to use
littered with sound foundations on which nobody has erected a useful edifice
more work on notation - current is cumbersome and hard to use.
distinguish: model, description, and specification.
unreasonable focus on proof of correctness
more tme spent applying and improving methods, not selling them,
They've been used ( [Parnas94] ...) but not using symbolic logic.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]