Please be advised that the site will be down for maintenance on Sunday, September 1, 2024, from 08:00 to 18:00, and again on Monday, September 2, 2024, from 08:00 to 09:00. We apologize for any inconvenience this may cause.
dc.contributor.author | Gruner, Stefan![]() |
|
dc.date.accessioned | 2010-06-07T11:57:40Z | |
dc.date.available | 2010-06-07T11:57:40Z | |
dc.date.issued | 2010-12 | |
dc.description.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. | en_US |
dc.identifier.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. | en_US |
dc.identifier.issn | 1614-5046 | |
dc.identifier.other | 10.1007/s11334-009-0101-8 | |
dc.identifier.uri | http://hdl.handle.net/2263/14223 | |
dc.language.iso | en | en_US |
dc.publisher | Springer | en_US |
dc.rights | Springer | en_US |
dc.subject | Software methodology | en_US |
dc.subject | Formal | en_US |
dc.subject | Agile | en_US |
dc.subject.lcsh | Software engineering | |
dc.subject.lcsh | Computer software -- Development | |
dc.title | FM+AM’09 : workshop on formal methods and agile methods | en_US |
dc.type | Postprint Article | en_US |