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

Bibliographic Item (1.0)

Maibaum09

  1. Tom Maibaum
  2. formal methods versus engineering
  3. ACM Inroads & SIGCSE Bulletin V41n2(Jun 2009)pp6-12
  4. =EDITORIAL ENGINEERING SCIENCE MATHEMATICS DESIGN HANDBOOKS EDUCATION METHODOLOGY COOKBOOK
  5. Quotes Vincenti90 and MAJackson. Compare with [Maibaum97]
  6. Engineers need standard cookbook methods and calculations suited to specific kinds of problems.
  7. Fails to mention DDD(JSP, compilers, database, JSD, SSADM etc), Model checking ( SMV Alloy etc.)
  8. Does not discuss the intractability and/or unsolvability of the problem of calculating consequences of requirements.
  9. Implies that given pre/post conditions the code can be generated automatically -- but actually the engineer needs to supply internal invariants, structures, and non-functional requirements to determine the best design for code.
  10. More on the scientific basis for software engineering [JuristoMoreno02] and compare with [HincheyEtAl08] on formal methods in software engineering.

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]