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

Bibliographic Item (1.0)

BlackEtAl09

  1. Sue Black & Paul P Boca & Jonathan P Bowen & Jason Gorman & Mike Hinchey
  2. Formal versus agile: Survival of the Fittest
  3. IEEE Computer Magazine V42n9(Sep 2009)pp37-45 + Correspondence V42n11(Nov 2009)p6 by William Adams
  4. =SURVEY RESEARCH AGILE FORMAL MODEL CHECKING Alloy X-Machines SMV CTL KeY
  5. SEEFM2003::acronym="First South East Europe Workshop on formal methods", [ SEEFM03 ]
  6. XFM::="eXtreme Formal Modeling", [ 1109118.1109120 ]
  7. XFun::= See http://delab.csd.auth.gr/~bci1/SEEFM03/seefm03_03.pdf (PDF), Unified Process with X-Machines verified by model checking.
  8. KeY::method= See http://i12www.iti.uni-karlsruhe.de/~key/keysymposium07/slides/haehnle-agile.pdf
  9. Extend TDD by including static-analysis and theorem-proving tools to extend coverage. Example 97% of assertions checked automatically in SPARKAda toolset.
  10. How do formal requirements handle creep?
  11. Machine checked refactoring?
  12. Parallelism: FDR and Coverity [ http://www.coverity.com/ ]
  13. Speed and availability of tools: Rodin [ http://rodin.cs.ncl.ac.uk/ ]
  14. and Deploy [ http://www.deploy-project.eu/ ] projects. Praxis [ http://www.praxis-his.com/ ] has SPARK toolset as open source.
  15. Formal methods lite -- use math at the right times in a project.
  16. Argues that the total cost (effort) for a project is less with up front work getting requirements etc. right.
  17. Agility is not about speed but maneuverability. Producing the highest quality in each iteration/increment. Compared to RAD.
  18. Controlling the technical debt.
  19. No real conflict... given some mutual understanding.

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]