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

Editorial preface and foreword
Original Article
  • 58 Downloads

Abstract

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.

Keywords

Software methodology Formal Agile 

Copyright information

© Springer-Verlag London Limited 2009

Authors and Affiliations

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

Personalised recommendations