[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Sue Black & Paul P Boca & Jonathan P Bowen & Jason Gorman & Mike Hinchey
- Formal versus agile: Survival of the Fittest
- IEEE Computer Magazine V42n9(Sep 2009)pp37-45 + Correspondence V42n11(Nov 2009)p6 by William Adams
- =SURVEY RESEARCH AGILE FORMAL MODEL CHECKING Alloy X-Machines SMV CTL KeY
- SEEFM2003::acronym="First South East Europe Workshop on formal methods",
[ SEEFM03 ]
- XFM::="eXtreme Formal Modeling",
[ 1109118.1109120 ]
- XFun::= See http://delab.csd.auth.gr/~bci1/SEEFM03/seefm03_03.pdf
(PDF), Unified Process with X-Machines verified by model checking.
- KeY::method= See http://i12www.iti.uni-karlsruhe.de/~key/keysymposium07/slides/haehnle-agile.pdf
- Extend TDD by including static-analysis and theorem-proving tools to extend coverage. Example 97% of assertions checked automatically in SPARKAda toolset.
- How do formal requirements handle creep?
- Machine checked refactoring?
- Parallelism: FDR and Coverity
[ http://www.coverity.com/ ]
- Speed and availability of tools:
[ http://rodin.cs.ncl.ac.uk/ ]
[ http://www.deploy-project.eu/ ]
[ http://www.praxis-his.com/ ]
as open source.
- Formal methods lite -- use math at the right times in a project.
- Argues that the total cost (effort) for a project is less with up front work getting requirements etc. right.
- Agility is not about speed but maneuverability. Producing the highest quality in each iteration/increment. Compared to RAD.
- Controlling the technical debt.
- No real conflict... given some mutual understanding.
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]