
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Sue Black, Paul P. Boca, Jonathan P. Bowen, Jason Gorman, Mike Hinchey, "Formal Versus Agile: Survival of the Fittest," Computer, vol. 42, no. 9, pp. 3745, September, 2009.  
BibTex  x  
@article{ 10.1109/MC.2009.284, author = {Sue Black and Paul P. Boca and Jonathan P. Bowen and Jason Gorman and Mike Hinchey}, title = {Formal Versus Agile: Survival of the Fittest}, journal ={Computer}, volume = {42}, number = {9}, issn = {00189162}, year = {2009}, pages = {3745}, doi = {http://doi.ieeecomputersociety.org/10.1109/MC.2009.284}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  MGZN JO  Computer TI  Formal Versus Agile: Survival of the Fittest IS  9 SN  00189162 SP37 EP45 EPD  3745 A1  Sue Black, A1  Paul P. Boca, A1  Jonathan P. Bowen, A1  Jason Gorman, A1  Mike Hinchey, PY  2009 KW  Agile methods KW  Formal methods KW  Software engineering VL  42 JA  Computer ER   
1. B. Boehm, "A View of 20th and 21stCentury Software Engineering," Proc. 28th Int'l Conf. Software Eng., ACM Press, 2006, pp.1229.
2. B. Randell, The Origins of Digital Computers: Selected Papers, SpringerVerlag, 2nd ed., 1975.
3. A.M. Turing, "Checking a Large Routine," Report of a Conference on High Speed Automatic Calculating Machines, University Mathematical Laboratory, Cambridge, 1949, pp. 6769.
4. N. Niu and S. Easterbrook, "On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study," Proc. 3rd Int'l Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, INSTICC Press, 2005, pp. 115117.
5. C. Thomson and M. Holcombe, "Using a Formal Method to Model Software Design in XP Projects," Annals of Mathematics, Computing and Teleinformatics, vol. 1, no. 3, 2005, pp. 4453.
6. D. Dranidis, K. Tigka, and P. Kefalas, "Formal Modeling of Use Cases with XMachines," Proc. 1st SouthEast European Workshop on Formal Methods, CDROM, 2003, pp. 7283.
7. Á. Herranz and J.J. MorenoNavarro, "Formal Agility, How Much of Each?" Taller de Metodologías Ágiles en el Desarrollo del Software, VIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2003), Grupo ISSI, 2003, pp. 4751.
8. J.S. Ostroff, D. Makalsky, and R.F. Paige, "Agile SpecificationDriven Development," Proc. Extreme Programming, LNCS 3092, SpringerVerlag, 2004, pp. 104112.
9. P. Amey, "Correctness by Construction"; https://buildsecurityin.uscert.gov/daisy/bsi/articles/knowledge/sdlc/613BSI.pdf, 2006.
10. A. Hall, "Realising the Benefits of Formal Methods," J. Universal Computer Science, vol. 13, no. 5, 2007, pp. 669678.
11. S. Creese and J. Reed, Verifying EndtoEnd Protocols Using Induction with CSP/FDR, Parallel and Distributed Processing, LNCS 1586, SpringerVerlag, 1999, pp. 12431257.
12. JR. Abrial, "Formal Methods in Industry: Achievements, Problems, Future," Proc. 28th Int'l Conf. Software Engineering, ACM SIGSOFT, 2006, pp. 761768.
13. P.P. Boca, J.P. Bowen, and J.I. Siddiqi eds., , Formal Methods: State of the Art and New Directions, Springer, 2009.
14. M.G. Hinchey et al., "Software Engineering and Formal Methods," Comm. ACM, vol. 51, no. 9, Sept. 2008, pp. 5459.
15. G. Eleftherakis and A.J. Cowling, "An Agile Formal Development Methodology," Proc. 1st SouthEast European Workshop on Formal Methods (SEEFM 03):Agile Formal Methods: Practical, Rigorous Methods for a changing world, CDROM, 2003, pp. 3647.
16. D. Jackson, Software Abstractions: Logic, Language, and Analysis, MIT Press, 2006.
17. G.J. Holzmann, The Spin Model Checker: Primer and Reference Manual, AddisonWesley, 2003.
18. T. Ramananandro, "Mondex, an Electronic Purse: Specification and Refinement Checks with the Alloy ModelFinding Method," Formal Aspects of Computing J., vol. 20, no. 1, 2008, pp. 2139.
19. J.P. Bowen and M.G. Hinchey, "Seven More Myths of Formal Methods," IEEE Software, vol. 12, no. 4, 1995, pp. 3441.
20. M.G. Hinchey and J.P. Bowen eds., Applications of Formal Methods, PrenticeHall, 2005.
21. J.A. Hall, "Seven Myths of Formal Methods," IEEE Software, vol. 5, no. 7, 1990, pp. 1119.
22. L. Rackley, and A. Walker, SSADM in Practice, Palgrave Macmillan, 1995.
23. S.E. Black, "Deriving an Approximation Algorithm for Automatic Computation of Ripple Effect Measures," J. Information and Software Technology, June 2008, pp. 723736.
24. A. Marchenko, P. Abrahamsson, and T. Ihme, "LongTerm Effects of TestDriven Development: A Case Study," Agile Processes in Software Engineering and Extreme Programming, LNBIP, 2009, pp. 1322.
25. E.M. Maximilien and L. Williams, "Assessing TestDriven Development at IBM," Proc. 25th Int'l Conf. Software Eng., IEEE CS Press, 2003, pp. 564569.