FM+AM’09: workshop on formal methods and agile methods
- 60 Downloads
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.
KeywordsSoftware methodology Formal Agile
- 1.Meyer, B, Nawrocki, JR, Walter, B (eds) (2008) IFIP workshop on balancing agility and formalism in software engineering. Lecture notes in computer science, vol 5082. Springer, BerlinGoogle Scholar
- 2.Black S, Boca PP, Bowen JP, Gorman J, Hinchey M (2009) Formal versus agile: survival of the fittest?. IEEE Comput 42(9): 37–45Google Scholar
- 3.Dwolatzky B (without date) Agile versus Process. JCSE Information Brochure, Johannesburg, pp 14–15. http://www.jcse.org.za/
- 4.Augusto J, Howard Y, Gravell A, Ferreira C, Gruner S, Leuschel M (2004) Model-based approaches for validating business-critical systems. In: STEP’04. Proceedings of the eleventh annual international workshop in software technology and engineering practice. IEEE Computer Society Press, Los Alamitos, pp 225–233Google Scholar