Formal Versus Agile: Survival of the Fittest
暂无分享,去创建一个
Jonathan P. Bowen | Michael G. Hinchey | Sue Black | Jason Gorman | Paul Boca | S. Black | M. Hinchey | P. Boca | Jason Gorman
[1] Jonathan P. Bowen,et al. Seven More Myths of Formal Methods , 1994, FME.
[2] Jonathan P. Bowen,et al. Applications of Formal Methods , 1995 .
[3] M. Holcombe,et al. Using a formal method to model software design in XP projects , 2005 .
[4] Brian Randell,et al. The origins of digital computers: Selected papers , 1975 .
[5] Laurie A. Williams,et al. Assessing test-driven development at IBM , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..
[6] Barry Boehm,et al. A view of 20th and 21st century software engineering , 2006, ICSE.
[7] Daniel Jackson,et al. Software Abstractions - Logic, Language, and Analysis , 2006 .
[8] Checking a Large Routine Report of a Conference on High Speed Automatic Calculating machines Universal Turing Machine , 2011 .
[9] HallAnthony,et al. Correctness by Construction , 2002 .
[10] Gerard J. Holzmann,et al. The SPIN Model Checker - primer and reference manual , 2003 .
[11] Sue Black,et al. Deriving an approximation algorithm for automatic computation of ripple effect measures , 2008, Inf. Softw. Technol..
[12] Dimitris Dranidis,et al. Formal modelling of use cases with X-machines , 2003 .
[13] Tahina Ramananandro,et al. Mondex, an electronic purse: specification and refinement checks with the Alloy model-finding method , 2007, Formal Aspects of Computing.
[14] Juan José Moreno-Navarro,et al. Formal Agility . How much of each ? , 2003 .
[15] Richard F. Paige,et al. Agile Specification-Driven Development , 2004, XP.
[16] Nan Niu,et al. On the Use of Model Checking in Verification of Evolving Agile Software Frameworks: An Exploratory Case Study , 2005, MSVVEIS.
[17] George Eleftherakis,et al. An Agile Formal Development Methodology , 2003 .
[18] Joyce Duncan,et al. SSADM in Practice , 1995 .
[19] Gerard J. Holzmann,et al. The SPIN Model Checker , 2003 .
[20] A. M. Turing,et al. Checking a large routine , 1989 .
[21] Tiziana Margaria,et al. Software engineering and formal methods , 2008, CACM.
[22] Anthony Hall,et al. Seven myths of formal methods , 1990, IEEE Software.
[23] 오준석,et al. Correctness by Construction 을 적용한 안전필수 시스템 개발 , 2009 .
[24] Brian Randell,et al. The Origins of Digital Computers , 1973, Springer Berlin Heidelberg.
[25] S. J. Creese,et al. Verifying End-to-End Protocols using Induction with CSP/FDR , 1999, IPPS/SPDP Workshops.
[26] Jean-Raymond Abrial,et al. Formal methods in industry: achievements, problems, future , 2006, ICSE.
[27] Anthony Hall,et al. Realising the Benefits of Formal Methods , 2005, J. Univers. Comput. Sci..
[28] Pekka Abrahamsson,et al. Long-Term Effects of Test-Driven Development A Case Study , 2009, XP.
[29] Jonathan P. Bowen,et al. Formal Methods: State of the Art and New Directions , 2009 .