{"id":"https://openalex.org/W3156741644","doi":"https://doi.org/10.1109/ms.2021.3058026","title":"Keeping It Simple: Agile Analysis","display_name":"Keeping It Simple: Agile Analysis","publication_year":2021,"publication_date":"2021-04-20","ids":{"openalex":"https://openalex.org/W3156741644","doi":"https://doi.org/10.1109/ms.2021.3058026","mag":"3156741644"},"language":"en","primary_location":{"id":"doi:10.1109/ms.2021.3058026","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ms.2021.3058026","pdf_url":null,"source":{"id":"https://openalex.org/S6725529","display_name":"IEEE Software","issn_l":"0740-7459","issn":["0740-7459","1937-4194"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Software","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5006062153","display_name":"Gerard J. Holzmann","orcid":"https://orcid.org/0000-0001-9207-4370"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Gerard J. Holzmann","raw_affiliation_strings":["Nimble Research, Monrovia, California, USA"],"raw_orcid":"https://orcid.org/0000-0001-9207-4370","affiliations":[{"raw_affiliation_string":"Nimble Research, Monrovia, California, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5006062153"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06130281,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"38","issue":"3","first_page":"13","last_page":"16"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9871000051498413,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9871000051498413,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9828000068664551,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10430","display_name":"Software Engineering Techniques and Practices","score":0.9805999994277954,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/agile-software-development","display_name":"Agile software development","score":0.7515771389007568},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7167238593101501},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.6908471584320068},{"id":"https://openalex.org/keywords/structuring","display_name":"Structuring","score":0.6578786969184875},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.6464521288871765},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5435144901275635},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.5288729667663574},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5264887809753418},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.48302802443504333},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.458514928817749},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.45838990807533264},{"id":"https://openalex.org/keywords/software-maintenance","display_name":"Software maintenance","score":0.45103180408477783},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4304260313510895},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17729505896568298}],"concepts":[{"id":"https://openalex.org/C14185376","wikidata":"https://www.wikidata.org/wiki/Q30232","display_name":"Agile software development","level":2,"score":0.7515771389007568},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7167238593101501},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.6908471584320068},{"id":"https://openalex.org/C2775945657","wikidata":"https://www.wikidata.org/wiki/Q381442","display_name":"Structuring","level":2,"score":0.6578786969184875},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6464521288871765},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5435144901275635},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.5288729667663574},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5264887809753418},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.48302802443504333},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.458514928817749},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.45838990807533264},{"id":"https://openalex.org/C101317890","wikidata":"https://www.wikidata.org/wiki/Q940053","display_name":"Software maintenance","level":4,"score":0.45103180408477783},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4304260313510895},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17729505896568298},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ms.2021.3058026","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ms.2021.3058026","pdf_url":null,"source":{"id":"https://openalex.org/S6725529","display_name":"IEEE Software","issn_l":"0740-7459","issn":["0740-7459","1937-4194"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Software","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5899999737739563,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W2072607050","https://openalex.org/W2982489246","https://openalex.org/W3150132563"],"related_works":["https://openalex.org/W377327559","https://openalex.org/W4210653322","https://openalex.org/W4206152185","https://openalex.org/W2969257295","https://openalex.org/W1976804602","https://openalex.org/W4245904369","https://openalex.org/W3006945192","https://openalex.org/W2316077753","https://openalex.org/W2142991486","https://openalex.org/W2145258344"],"abstract_inverted_index":{"Writing":[0],"reliable":[1,30],"software":[2,28],"is":[3,31],"hard.":[4],"No":[5],"matter":[6],"how":[7],"determined":[8,33],"we":[9,15,38,51],"all":[10],"are":[11,87,144],"to":[12,110,149],"avoid":[13],"it,":[14],"do":[16],"make":[17],"mistakes":[18],"and":[19,42,92,136,139],"at":[20],"a":[21,27,44,112],"fairly":[22],"predictable":[23],"rate.":[24],"What":[25],"makes":[26],"system":[29],"not":[32],"just":[34],"by":[35,48,94],"the":[36,49,62,67,81,121,125,140],"care":[37],"take":[39],"in":[40,53],"planning":[41],"structuring":[43],"design":[45],"but":[46],"also":[47],"methods":[50],"use":[52,68],"catching":[54],"those":[55],"pesky":[56],"bugs":[57,124],"that":[58],"come":[59],"along":[60],"for":[61,147],"ride.":[63],"For":[64],"safety-critical":[65],"code,":[66],"of":[69,80,97,114,118,123],"strong":[70],"static":[71],"source":[72],"code":[73],"analyzers":[74,86],"has":[75],"become":[76],"an":[77],"essential":[78],"part":[79],"development":[82],"process.":[83],"The":[84,101,131],"best":[85],"based":[88],"on":[89],"solid":[90],"theory":[91],"maintained":[93],"large":[95],"teams":[96],"highly":[98],"skilled":[99],"developers.":[100],"tools":[102,126,132],"can":[103,133],"patiently":[104],"trace":[105],"through":[106],"complex":[107],"execution":[108],"paths":[109],"reveal":[111],"range":[113],"subtle":[115],"bugs,":[116],"although,":[117],"course,":[119],"only":[120],"types":[122],"have":[127],"been":[128],"trained":[129],"on.":[130],"be":[134],"slow":[135],"costly,":[137],"though,":[138],"warnings":[141],"they":[142],"generate":[143],"sometimes":[145],"difficult":[146],"humans":[148],"evaluate":[150],"accurately.":[151]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}