{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,8]],"date-time":"2023-08-08T16:29:20Z","timestamp":1691512160794},"reference-count":42,"publisher":"American Institute of Aeronautics and Astronautics (AIAA)","issue":"8","content-domain":{"domain":["arc.aiaa.org"],"crossmark-restriction":true},"short-container-title":["Journal of Aerospace Information Systems"],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.2514\/1.i010601","type":"journal-article","created":{"date-parts":[[2018,7,17]],"date-time":"2018-07-17T11:18:21Z","timestamp":1531826301000},"page":"471-484","update-policy":"http:\/\/dx.doi.org\/10.2514\/aiaa_crossmarkpolicy","source":"Crossref","is-referenced-by-count":5,"title":["Review of Formal Agile Methods as Cost-Effective Airworthiness Certification Processes"],"prefix":"10.2514","volume":"15","author":[{"given":"Mouza Al","family":"Blooshi","sequence":"first","affiliation":[{"name":"Embry-Riddle Aeronautical University, Daytona Beach, Florida 32114-3900"}]},{"given":"Shafer","family":"Jafer","sequence":"additional","affiliation":[{"name":"Embry-Riddle Aeronautical University, Daytona Beach, Florida 32114-3900"}]},{"given":"Krishan","family":"Patel","sequence":"additional","affiliation":[{"name":"Embry-Riddle Aeronautical University, Daytona Beach, Florida 32114-3900"}]}],"member":"1387","reference":[{"key":"r4","doi-asserted-by":"publisher","DOI":"10.2514\/6.2015-2741"},{"key":"r6","doi-asserted-by":"publisher","DOI":"10.1109\/52.57891"},{"key":"r10","doi-asserted-by":"publisher","DOI":"10.1145\/348019.348093"},{"key":"r11","volume-title":"Scrum: Agile Software Development","author":"Schwaber K.","year":"2002"},{"key":"r12","volume-title":"Extreme Programming Explained: Embrace Change","author":"Beck K.","year":"2000"},{"key":"r13","volume-title":"Crystal Clear: A Human-Powered Methodology for Small Teams","author":"Cockburn A.","year":"2004"},{"key":"r14","volume-title":"A Practical Guide to Feature-Driven Development","author":"Palmer S. R.","year":"2001"},{"key":"r15","volume-title":"Test-Driven Development: By Example","author":"Beck K.","year":"2003"},{"key":"r16","volume-title":"Adaptive Software Development: A Collaborative Approach to Managing Complex Systems","author":"Highsmith J.","year":"2013"},{"key":"r18","doi-asserted-by":"publisher","DOI":"10.1002\/1538-7305(199621)1:1<138::AID-BLTJ2010>3.0.CO;2-P"},{"key":"r20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16416-3_4"},{"key":"r25","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592436"},{"key":"r26","doi-asserted-by":"publisher","DOI":"10.1109\/52.57887"},{"key":"r27","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"r28","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1993.0025"},{"key":"r29","doi-asserted-by":"publisher","DOI":"10.1145\/1592434.1592436"},{"key":"r31","unstructured":"\u201cFormal Methods Supplement to DO-178C and DO-278A,\u201d Radio Technical Commission for Aeronautic, Inc. STD DO-333, Washington, D.C. Dec.\u00a02011."},{"key":"r32","unstructured":"RTCA (Firm), \u201cModel-Based Development and Verification Supplement to DO-178C and DO-278A,\u201d SC-205, and EUROCAE (Agency), Working Group 71, RTCA, Inc. 2011."},{"key":"r33","volume-title":"Model Checking","author":"Clarke E. M.","year":"1999"},{"key":"r35","unstructured":"\u201cSoftware Tool Qualification Considerations,\u201d Radio Technical Commission for Aeronautic, Inc. STD DO-330, Washington, D.C. Dec.\u00a02011."},{"key":"r36","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2004.05.005"},{"key":"r37","doi-asserted-by":"publisher","DOI":"10.1109\/52.57891"},{"key":"r38","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2015.810050"},{"key":"r43","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646372"},{"key":"r46","volume-title":"Patterns: Model-Driven Development Using IBM Rational Software Architect","author":"Swithinbank P.","year":"2005"},{"key":"r50","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.284"},{"key":"r51","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2014.74029"},{"key":"r53","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-009-0114-3"},{"key":"r59","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-013-0120-4"},{"key":"r60","unstructured":"VoelterM.BenzS.DietrichC.EngelmannB.HelanderM.KatsL. C.VisserE.WachsmuthG., DSL Engineering: Designing, Implementing and Using Domain-Specific Languages, 2013, pp.\u00a01\u2013558, dslbook.org."},{"key":"r64","volume-title":"Modeling and Simulation in SCILAB","author":"Campbell S. L.","year":"2006"},{"key":"r65","volume-title":"The SPIN Model Checker: Primer and Reference Manual","volume":"1003","author":"Holzmann G. J.","year":"2004"},{"key":"r68","doi-asserted-by":"publisher","DOI":"10.1145\/2560217.2560218"},{"issue":"7","key":"r69","first-page":"4845","volume":"3","author":"Chopra N.","year":"2015","journal-title":"International Journal on Recent and Innovation Trends in Computing and Communication (IJRITCC)"},{"key":"r70","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_29"},{"key":"r73","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19249-9_20"},{"key":"r76","first-page":"425","volume-title":"Proof, Language, and Interaction","author":"Berry G.","year":"1998"},{"key":"r82","unstructured":"FearyM. S. \u201cA Toolset for Supporting Iterative Human Automation: Interaction in Design,\u201d NASA Ames Research Center TR 20100012861, Mountain View, CA, 2010."},{"key":"r83","doi-asserted-by":"publisher","DOI":"10.1109\/THMS.2015.2424851"},{"key":"r84","doi-asserted-by":"publisher","DOI":"10.1145\/1039813.1039816"},{"key":"r85","doi-asserted-by":"publisher","DOI":"10.2514\/6.2005-6913"},{"key":"r90","volume-title":"Real-Time Agility: The Harmony\/ESW Method for Real-Time and Embedded Systems Development","author":"Douglass B. P.","year":"2009"}],"container-title":["Journal of Aerospace Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/arc.aiaa.org\/doi\/pdf\/10.2514\/1.I010601","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,1]],"date-time":"2021-03-01T07:39:55Z","timestamp":1614584395000},"score":1,"resource":{"primary":{"URL":"https:\/\/arc.aiaa.org\/doi\/10.2514\/1.I010601"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8]]},"references-count":42,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2018,8]]}},"alternative-id":["10.2514\/1.I010601"],"URL":"https:\/\/doi.org\/10.2514\/1.i010601","relation":{},"ISSN":["2327-3097"],"issn-type":[{"value":"2327-3097","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,8]]},"assertion":[{"value":"2017-08-29","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-04-19","order":1,"name":"revised","label":"Revised","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-06-01","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-07-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}