{"id":"https://openalex.org/W2075007000","doi":"https://doi.org/10.1145/1103846.1103855","title":"The affordable application of formal methods to software engineering","display_name":"The affordable application of formal methods to software engineering","publication_year":2005,"publication_date":"2005-11-13","ids":{"openalex":"https://openalex.org/W2075007000","doi":"https://doi.org/10.1145/1103846.1103855","mag":"2075007000"},"language":"en","primary_location":{"id":"doi:10.1145/1103846.1103855","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1103846.1103855","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies","raw_type":"proceedings-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/A5102064681","display_name":"James F. Davis","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"James F. Davis","raw_affiliation_strings":["University of Maryland University College, Adelphia, MD"],"affiliations":[{"raw_affiliation_string":"University of Maryland University College, Adelphia, MD","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5102064681"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4571,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.74854123,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"57","last_page":"62"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11424","display_name":"Security and Verification in Computing","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T10734","display_name":"Information and Cyber Security","score":0.9914000034332275,"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/correctness","display_name":"Correctness","score":0.8430606126785278},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8008999824523926},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.7052926421165466},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.6383556723594666},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.5397947430610657},{"id":"https://openalex.org/keywords/software-development-process","display_name":"Software development process","score":0.49218907952308655},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.46631819009780884},{"id":"https://openalex.org/keywords/systems-development-life-cycle","display_name":"Systems development life cycle","score":0.46237632632255554},{"id":"https://openalex.org/keywords/social-software-engineering","display_name":"Social software engineering","score":0.4208652675151825},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.4015757441520691},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.36681145429611206},{"id":"https://openalex.org/keywords/engineering-management","display_name":"Engineering management","score":0.3398415446281433},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18265435099601746},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.07740849256515503}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8430606126785278},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8008999824523926},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.7052926421165466},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.6383556723594666},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.5397947430610657},{"id":"https://openalex.org/C180152950","wikidata":"https://www.wikidata.org/wiki/Q2904257","display_name":"Software development process","level":4,"score":0.49218907952308655},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.46631819009780884},{"id":"https://openalex.org/C120617098","wikidata":"https://www.wikidata.org/wiki/Q559486","display_name":"Systems development life cycle","level":5,"score":0.46237632632255554},{"id":"https://openalex.org/C182500959","wikidata":"https://www.wikidata.org/wiki/Q7551380","display_name":"Social software engineering","level":5,"score":0.4208652675151825},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.4015757441520691},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.36681145429611206},{"id":"https://openalex.org/C110354214","wikidata":"https://www.wikidata.org/wiki/Q6314146","display_name":"Engineering management","level":1,"score":0.3398415446281433},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18265435099601746},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.07740849256515503}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1103846.1103855","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1103846.1103855","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.167.2487","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.167.2487","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.sigada.org/conf/sigada2005/SIGAda2005-CDROM/SIGAda2005-Proceedings/p57-davis.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.49000000953674316}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W132371169","https://openalex.org/W1526288678","https://openalex.org/W1874370309","https://openalex.org/W2116352900","https://openalex.org/W2166230870","https://openalex.org/W2169248079","https://openalex.org/W6604761587","https://openalex.org/W6605402778"],"related_works":["https://openalex.org/W4294309585","https://openalex.org/W4292756589","https://openalex.org/W3211439315","https://openalex.org/W2641697796","https://openalex.org/W2893925485","https://openalex.org/W4376850252","https://openalex.org/W4388809665","https://openalex.org/W3200180240","https://openalex.org/W3117038359","https://openalex.org/W4385161849"],"abstract_inverted_index":{"The":[0,40],"purpose":[1],"of":[2,32,49,62,137,222,230,262,305,313],"this":[3,44,134,182],"research":[4,42,84,185],"paper":[5,45],"is":[6,110,186,244],"to":[7,37,117,153,157,169,180,188,197,201,205,216,250,267,310],"examine":[8],"(1)":[9,87],"why":[10],"formal":[11,34,155,203,210,252],"methods":[12,35,156,204,211,253],"are":[13,128,195],"required":[14],"for":[15,43,93,114],"software":[16,38,91,120,159,164,175,206,256],"systems":[17,92,265,276,298],"today;":[18],"(2)":[19,108],"the":[20,53,66,75,101,115,178,220,228,255,260,311,314],"Praxis":[21],"High":[22,68],"Integrity":[23],"Systems'":[24],"Correctness-by-Construction":[25,127],"methodology;":[26],"and":[27,55,71,74,96,131,172,193,238,288],"(3)":[28,122],"an":[29,150,213],"affordable":[30,151,199],"application":[31],"a":[33,111,158,167,223,302],"methodology":[36],"engineering.":[39,207],"cultivated":[41],"included":[46],"literature":[47],"reviews":[48,61],"documents":[50],"found":[51],"across":[52],"Internet":[54],"in":[56,105,219],"publications":[57],"as":[58,60,125,142,233,241,279,285],"well":[59],"conference":[63],"proceedings":[64],"including":[65],"2004":[67,76],"Confidence":[69],"Software":[70,281],"Systems":[72],"Conference":[73],"Special":[77],"Interest":[78],"Group":[79],"on":[80,90],"Ada":[81],"Conference.":[82],"This":[83],"realized":[85],"that":[86,274,295],"our":[88,106,119,263,272],"reliance":[89],"national,":[94],"business":[95],"personal":[97],"critical":[98],"processes":[99],"outweighs":[100],"trust":[102,118,218,273,308],"we":[103],"have":[104,166,177],"systems;":[107,121],"there":[109],"growing":[112],"demand":[113,170,294],"ability":[116,215],"methodologies":[123,192,231],"such":[124,141,232,240,284],"Praxis'":[126,143,234],"readily":[129],"available":[130,196],"can":[132,148],"provide":[133,181,198,212],"needed":[135],"level":[136,304],"trust;":[138],"(4)":[139],"tools":[140,194,239],"SparkAda":[144],"when":[145],"appropriately":[146],"applied":[147],"be":[149,299],"approach":[152],"applying":[154,202],"system":[160,224,282],"development":[161,229],"process;":[162],"(5)":[163],"users":[165],"responsibility":[168,179],"correctness;":[171],"finally,":[173],"(6)":[174],"engineers":[176],"correctness.":[183],"Further":[184],"necessary":[187],"determine":[189],"what":[190],"other":[191,290],"approaches":[200],"In":[208],"conclusion,":[209],"unprecedented":[214],"build":[217],"correctness":[221,306],"or":[225,307],"component.":[226],"Through":[227],"Correctness":[235],"by":[236],"Construction":[237],"SparkAda,":[242],"it":[243],"becoming":[245],"ever":[246],"more":[247],"cost":[248],"advantageous":[249],"implement":[251],"within":[254],"engineering":[257],"lifecycle.":[258],"As":[259],"criticality":[261,312],"IT":[264,291,297],"continues":[266],"steadily":[268],"increase,":[269],"so":[270],"must":[271,293],"these":[275],"will":[277],"perform":[278],"expected.":[280],"clients,":[283],"government,":[286],"businesses":[287],"all":[289],"users,":[292],"their":[296],"delivered":[300],"with":[301],"proven":[303],"commensurate":[309],"function":[315],"they":[316],"perform.":[317]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}