FM+AM’09: workshop on formal methods and agile methods
暂无分享，去创建一个
This workshop aimed at bringing two orthogonal viewpoints about development methods in software engineering together. We were seeking new contributions towards making formal software development faster, and rapid software development more formally sound.
[1] Jonathan P. Bowen,et al. Formal Versus Agile: Survival of the Fittest , 2009, Computer.
[2] Bertrand Meyer,et al. Balancing Agility and Formalism in Software Engineering, Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers , 2008, CEE-SET.
[3] Juan Carlos Augusto,et al. Model-based approaches for validating business critical systems , 2003, Eleventh Annual International Workshop on Software Technology and Engineering Practice.