{"id":"https://openalex.org/W1989069579","doi":"https://doi.org/10.1109/icsm.2011.6080841","title":"Research methods in computer science","display_name":"Research methods in computer science","publication_year":2011,"publication_date":"2011-09-01","ids":{"openalex":"https://openalex.org/W1989069579","doi":"https://doi.org/10.1109/icsm.2011.6080841","mag":"1989069579"},"language":"en","primary_location":{"id":"doi:10.1109/icsm.2011.6080841","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsm.2011.6080841","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 27th IEEE International Conference on Software Maintenance (ICSM)","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/A5072137882","display_name":"Serge Demeyer","orcid":"https://orcid.org/0000-0002-4463-2945"},"institutions":[{"id":"https://openalex.org/I149213910","display_name":"University of Antwerp","ror":"https://ror.org/008x57b05","country_code":"BE","type":"education","lineage":["https://openalex.org/I149213910"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Serge Demeyer","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Antwerp, Antwerp, Belgium","University of Antwerp, Department of Mathematics and Computer Science, Middelheimlaan 1 B-2020 ANTWERPEN, Belgium#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Antwerp, Antwerp, Belgium","institution_ids":["https://openalex.org/I149213910"]},{"raw_affiliation_string":"University of Antwerp, Department of Mathematics and Computer Science, Middelheimlaan 1 B-2020 ANTWERPEN, Belgium#TAB#","institution_ids":["https://openalex.org/I149213910"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5072137882"],"corresponding_institution_ids":["https://openalex.org/I149213910"],"apc_list":null,"apc_paid":null,"fwci":1.4779,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.87360142,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"600","last_page":"600"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10430","display_name":"Software Engineering Techniques and Practices","score":0.9886000156402588,"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/T10430","display_name":"Software Engineering Techniques and Practices","score":0.9886000156402588,"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/T10260","display_name":"Software Engineering Research","score":0.9830999970436096,"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/T11891","display_name":"Big Data and Business Intelligence","score":0.9404000043869019,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.758491039276123},{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.6103647947311401},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.5722984075546265},{"id":"https://openalex.org/keywords/von-neumann-architecture","display_name":"Von Neumann architecture","score":0.5573049187660217},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5207183957099915},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.481119304895401},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4463825225830078},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4451029300689697},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.4420580267906189},{"id":"https://openalex.org/keywords/formal-language","display_name":"Formal language","score":0.44140541553497314},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.43882301449775696},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.42332905530929565},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1855335235595703},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.11823108792304993}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.758491039276123},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.6103647947311401},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.5722984075546265},{"id":"https://openalex.org/C80469333","wikidata":"https://www.wikidata.org/wiki/Q189088","display_name":"Von Neumann architecture","level":2,"score":0.5573049187660217},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5207183957099915},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.481119304895401},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4463825225830078},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4451029300689697},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.4420580267906189},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.44140541553497314},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.43882301449775696},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.42332905530929565},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1855335235595703},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.11823108792304993},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icsm.2011.6080841","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsm.2011.6080841","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 27th IEEE International Conference on Software Maintenance (ICSM)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.4300000071525574,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W150111769","https://openalex.org/W1527311855","https://openalex.org/W1585742531","https://openalex.org/W1991889560","https://openalex.org/W2038753224","https://openalex.org/W2045781957","https://openalex.org/W2162739315","https://openalex.org/W2163638787","https://openalex.org/W2165043113"],"related_works":["https://openalex.org/W2772186013","https://openalex.org/W3114280011","https://openalex.org/W4287549745","https://openalex.org/W4221167520","https://openalex.org/W1543808017","https://openalex.org/W2098483065","https://openalex.org/W2156278396","https://openalex.org/W992959538","https://openalex.org/W4380302636","https://openalex.org/W1981138299"],"abstract_inverted_index":{"Computer":[0],"Science":[1],"as":[2],"a":[3,18,69],"research":[4,124],"discipline":[5],"has":[6,121],"always":[7],"struggled":[8],"with":[9,137,149],"its":[10,123],"identity.":[11],"On":[12,63],"the":[13,41,64,85,107,110,127,131,134,143,146],"one":[14,132],"hand,":[15,66,133],"it":[16,67],"is":[17,35,68],"field":[19,70],"deeply":[20,71],"rooted":[21,72],"in":[22,26,73,77],"mathematics":[23],"which":[24,75],"resulted":[25,76],"strong":[27],"theories.":[28],"<sup":[29],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[30],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">1</sup>":[31],"For":[32],"example,":[33],"there":[34],"computational":[36],"complexity":[37],"theory":[38,45,56],"(turing":[39],"machines,":[40],"halting":[42],"problem),":[43],"database":[44],"(the":[46,57,89,96],"relational":[47],"model,":[48],"expresive":[49],"power":[50],"of":[51,99,109],"query":[52],"languages),":[53],"formal":[54,61],"language":[55],"chomsky":[58],"hierarchy,":[59],"well-formedness,":[60],"semantics).":[62],"other":[65,144],"engineering":[74,147],"machines":[78],"that":[79],"have":[80],"completely":[81],"warped":[82],"our":[83],"society:":[84],"von":[86],"Neumann":[87],"architecture":[88],"basis":[90],"for":[91,106],"digital":[92],"computers),":[93],"parallel":[94],"processors":[95],"new":[97],"generation":[98],"multi-core":[100],"machines),":[101],"distributed":[102],"computers":[103],"(a":[104],"prerequisite":[105],"success":[108],"internet":[111],"and":[112,140,152],"recent":[113],"phenomena":[114],"like":[115],"grid":[116],"computing).":[117],"Consequently,":[118],"computer":[119],"science":[120],"inherited":[122],"methods":[125],"from":[126],"same":[128],"disciplines:":[129],"on":[130,142],"mathematical":[135],"approach":[136,148],"axioms,":[138],"postulates":[139],"proofs;":[141],"hand":[145],"quantification,":[150],"measurements":[151],"comparison.":[153]},"counts_by_year":[{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":4},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}