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

Bibliographic Item (1.0)

Parnas96a

  1. David Lorge Parnas
  2. Mathematical Methods: What we need and don't need
  3. IEEE Computer Magazine V29N4(Apr 1996)pp28-29
  4. =ESSAY MATHEMATICS ENGINEERING model description specification
      not "formal" but "mathematical", as in other areas of engineering.

      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 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]