{"id":"https://openalex.org/W1963871921","doi":"https://doi.org/10.1145/2532352.2532353","title":"Document driven certification of computational science and engineering software","display_name":"Document driven certification of computational science and engineering software","publication_year":2013,"publication_date":"2013-11-06","ids":{"openalex":"https://openalex.org/W1963871921","doi":"https://doi.org/10.1145/2532352.2532353","mag":"1963871921"},"language":"en","primary_location":{"id":"doi:10.1145/2532352.2532353","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2532352.2532353","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering","raw_type":"proceedings-article"},"type":"conference-paper","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/A5073273007","display_name":"Spencer Smith","orcid":"https://orcid.org/0000-0002-0760-0987"},"institutions":[{"id":"https://openalex.org/I98251732","display_name":"McMaster University","ror":"https://ror.org/02fa3aq29","country_code":"CA","type":"education","lineage":["https://openalex.org/I98251732"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Spencer Smith","raw_affiliation_strings":["McMaster University, Hamilton, Ontario, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"McMaster University, Hamilton, Ontario, Canada","institution_ids":["https://openalex.org/I98251732"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087274066","display_name":"Nirmitha Koothoor","orcid":null},"institutions":[{"id":"https://openalex.org/I98251732","display_name":"McMaster University","ror":"https://ror.org/02fa3aq29","country_code":"CA","type":"education","lineage":["https://openalex.org/I98251732"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Nirmitha Koothoor","raw_affiliation_strings":["McMaster University, Hamilton, Ontario, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"McMaster University, Hamilton, Ontario, Canada","institution_ids":["https://openalex.org/I98251732"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006886777","display_name":"Nedialko S. Nedialkov","orcid":"https://orcid.org/0000-0001-8697-4428"},"institutions":[{"id":"https://openalex.org/I98251732","display_name":"McMaster University","ror":"https://ror.org/02fa3aq29","country_code":"CA","type":"education","lineage":["https://openalex.org/I98251732"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Nedialko Nedialkov","raw_affiliation_strings":["McMaster University, Hamilton, Ontario, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"McMaster University, Hamilton, Ontario, Canada","institution_ids":["https://openalex.org/I98251732"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I98251732"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"25","last_page":"32"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10260","display_name":"Software Engineering Research","score":0.9939000010490417,"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/software-engineering","display_name":"Software engineering","score":0.7809088230133057},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7326872944831848},{"id":"https://openalex.org/keywords/documentation","display_name":"Documentation","score":0.6844137907028198},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.6669259071350098},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.5378934144973755},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4793066084384918},{"id":"https://openalex.org/keywords/traceability","display_name":"Traceability","score":0.46736428141593933},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.45442724227905273},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"Verification and validation","score":0.44459396600723267},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.4376016855239868},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.4227059483528137},{"id":"https://openalex.org/keywords/software-requirements-specification","display_name":"Software requirements specification","score":0.42122629284858704},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.36147305369377136},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12884381413459778}],"concepts":[{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.7809088230133057},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7326872944831848},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.6844137907028198},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.6669259071350098},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.5378934144973755},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4793066084384918},{"id":"https://openalex.org/C153876917","wikidata":"https://www.wikidata.org/wiki/Q899704","display_name":"Traceability","level":2,"score":0.46736428141593933},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.45442724227905273},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.44459396600723267},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.4376016855239868},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.4227059483528137},{"id":"https://openalex.org/C102780508","wikidata":"https://www.wikidata.org/wiki/Q1761598","display_name":"Software requirements specification","level":5,"score":0.42122629284858704},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.36147305369377136},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12884381413459778},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2532352.2532353","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2532352.2532353","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.5799999833106995}],"awards":[],"funders":[{"id":"https://openalex.org/F4320311526","display_name":"McMaster University","ror":"https://ror.org/02fa3aq29"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1537202","https://openalex.org/W23099859","https://openalex.org/W1539249567","https://openalex.org/W1546799639","https://openalex.org/W1564611446","https://openalex.org/W1830089857","https://openalex.org/W1977626599","https://openalex.org/W2011019319","https://openalex.org/W2032273637","https://openalex.org/W2048069425","https://openalex.org/W2051185212","https://openalex.org/W2056331670","https://openalex.org/W2096360482","https://openalex.org/W4256238177"],"related_works":["https://openalex.org/W2090249529","https://openalex.org/W2123460498","https://openalex.org/W1571231229","https://openalex.org/W2406746345","https://openalex.org/W234065253","https://openalex.org/W2971103475","https://openalex.org/W270826027","https://openalex.org/W143046585","https://openalex.org/W2798306226","https://openalex.org/W2146844712"],"abstract_inverted_index":{"This":[0,100],"paper":[1,146],"presents":[2],"a":[3,45,55,64,114,136],"documentation":[4,76],"and":[5,15,42,87,109,125,143,164,170,200,205,207,213],"development":[6,169],"methodology":[7],"to":[8,27,104,154],"facilitate":[9],"the":[10,36,73,75,90,98,105,118,128,132,141,161,165,168,171,175,178,190,196,209,214],"certification":[11,43],"of":[12,31,211],"Computational":[13],"Science":[14],"Engineering":[16],"(CSE)":[17],"software":[18,52,108,112],"that":[19,123],"is":[20,185],"produced":[21],"by":[22,54],"professional":[23],"end":[24],"user":[25],"developers":[26],"solve":[28],"mathematical":[29],"models":[30],"physical":[32],"systems.":[33],"To":[34],"study":[35,47,107],"problems":[37],"faced":[38],"during":[39],"quality":[40],"assurance":[41],"activities,":[44],"case":[46,91,106],"was":[48,85],"performed":[49],"on":[50],"legacy":[51],"used":[53],"nuclear":[56,65],"power":[57],"generating":[58],"company":[59],"for":[60,81,117,135],"safety":[61],"analysis":[62],"in":[63,72,174,187],"reactor.":[66],"Although":[67],"no":[68],"errors":[69],"were":[70,95],"uncovered":[71],"code,":[74],"still":[77],"needed":[78],"significant":[79],"updating":[80],"certification,":[82],"since":[83],"its":[84],"incomplete":[86],"inconsistent.":[88],"During":[89],"study,":[92],"27":[93],"issues":[94],"found":[96],"with":[97,189],"documentation.":[99],"work":[101],"proposes":[102],"improvements":[103],"other":[110],"CSE":[111],"via":[113],"new":[115],"template":[116],"Software":[119],"Requirements":[120],"Specification":[121],"(SRS)":[122],"clearly":[124],"sufficiently":[126],"states":[127],"requirements,":[129],"while":[130],"satisfying":[131],"desired":[133],"qualities":[134],"good":[137],"SRS.":[138,191],"For":[139],"developing":[140],"design":[142],"implementation,":[144],"this":[145],"suggests":[147],"Literate":[148,158,179],"Programming":[149,159],"(LP)":[150],"as":[151],"an":[152],"alternative":[153],"traditional":[155],"structured":[156],"programming.":[157],"documents":[160],"numerical":[162,198],"algorithms":[163,199],"logic":[166],"behind":[167],"code":[172],"together":[173],"same":[176],"document,":[177],"Programmer's":[180],"Manual":[181],"(LPM).":[182],"The":[183,192],"LPM":[184],"developed":[186],"connection":[188],"explicit":[193],"traceability":[194],"between":[195],"theory,":[197],"implementation":[201],"(code),":[202],"facilitates":[203],"completeness":[204],"consistency,":[206],"simplifies":[208],"process":[210],"verification":[212],"associated":[215],"certification.":[216]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}