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

Loading...
Thumbnail Image

Authors

Gruner, Stefan

Journal Title

Journal ISSN

Volume Title

Publisher

Springer

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.

Description

Keywords

Software methodology, Formal, Agile

Sustainable Development Goals

Citation

Gruner, S 2010, 'FM+AM’09 : workshop on formal methods and agile methods', Innovations Syst Softw Eng, doi:10.1007/s11334-009-0101-8.