{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,17]],"date-time":"2026-05-17T20:06:49Z","timestamp":1779048409422,"version":"3.51.4"},"reference-count":4,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2011,8,4]],"date-time":"2011-08-04T00:00:00Z","timestamp":1312416000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2011,8,4]]},"abstract":"<jats:p>This editorial message describes further details about the history and the circumstances of this special section of the Software Engineering Notes on the topic of combining formal methods with agile methods in the context of our contemporary software development methodologies.<\/jats:p>","DOI":"10.1145\/1988997.1989009","type":"journal-article","created":{"date-parts":[[2011,8,10]],"date-time":"2011-08-10T12:16:22Z","timestamp":1312978582000},"page":"26-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Editorial"],"prefix":"10.1145","volume":"36","author":[{"given":"Stefan","family":"Gruner","sequence":"first","affiliation":[{"name":"University of Pretoria, Republic of South Africa"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,8,4]]},"reference":[{"key":"e_1_2_1_1_1","series-title":"Lecture Notes in Informatics","volume-title":"Proceedings FM+AM'2010: 2nd International Workshop on Formal Methods and Agile Methods","author":"Gruner S.","year":"2010","unstructured":"S. Gruner & B. Rumpe (eds.), Proceedings FM+AM'2010: 2nd International Workshop on Formal Methods and Agile Methods. Lecture Notes in Informatics, Vol. 179, GI Publ., September 2010."},{"key":"e_1_2_1_2_1","volume-title":"Proceedings FM+AM'2009: 1st International Workshop on Formal Methods and Agile Methods. Innovations in Systems and Software Engineering","volume":"6","author":"S.","year":"2010","unstructured":"S. Gruner (guest-ed.), Proceedings FM+AM'2009: 1st International Workshop on Formal Methods and Agile Methods. Innovations in Systems and Software Engineering, Vol. 6, Springer Verlag, March 2010."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.284"},{"key":"e_1_2_1_4_1","doi-asserted-by":"crossref","unstructured":"B. Meyer & J.R. Nawrocki & B. Walter (eds) Proceedings of the 2007 IFIP Workshop on Balancing Agility and Formalisms in Software Engineering. Lecture Notes.","DOI":"10.1007\/978-3-540-85279-7"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1988997.1989009","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1988997.1989009","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,17]],"date-time":"2026-05-17T19:36:49Z","timestamp":1779046609000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1988997.1989009"}},"subtitle":["special section on formal plus agile methods"],"short-title":[],"issued":{"date-parts":[[2011,8,4]]},"references-count":4,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,8,4]]}},"alternative-id":["10.1145\/1988997.1989009"],"URL":"https:\/\/doi.org\/10.1145\/1988997.1989009","relation":{},"ISSN":["0163-5948"],"issn-type":[{"value":"0163-5948","type":"print"}],"subject":[],"published":{"date-parts":[[2011,8,4]]},"assertion":[{"value":"2011-08-04","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}