FM+AM’09: workshop on formal methods and agile methods

Editorial preface and foreword
  • Stefan GrunerEmail author
Original Article


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.


Software methodology Formal Agile 


  1. 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. 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. 3.
    Dwolatzky B (without date) Agile versus Process. JCSE Information Brochure, Johannesburg, pp 14–15.
  4. 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

Copyright information

© Springer-Verlag London Limited 2009

Authors and Affiliations

  1. 1.Department of Computer ScienceUniversiteit van PretoriaPretoriaRepublic of South Africa

Personalised recommendations