FM+AM’09 : workshop on formal methods and agile methods
Loading...
Date
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.