{"id":"https://openalex.org/W3044510823","doi":"https://doi.org/10.1109/iccicc46617.2019.9146036","title":"RTPA-based Software Generation by AI Programming","display_name":"RTPA-based Software Generation by AI Programming","publication_year":2019,"publication_date":"2019-07-01","ids":{"openalex":"https://openalex.org/W3044510823","doi":"https://doi.org/10.1109/iccicc46617.2019.9146036","mag":"3044510823"},"language":"en","primary_location":{"id":"doi:10.1109/iccicc46617.2019.9146036","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccicc46617.2019.9146036","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 18th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)","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/A5012322217","display_name":"Yingxu Wang","orcid":"https://orcid.org/0000-0003-0445-3632"},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Yingxu Wang","raw_affiliation_strings":["Dept. of Electrical and Computer Engineering, Lab for Computational Intelligence and Cognitive Systems, International Institute of Cognitive Informatics and Cognitive Computing, Schulich School of Engineering (SSE) and Hotchkiss Brain Institute (HBI), University of Calgary, Calgary, AB, Canada"],"affiliations":[{"raw_affiliation_string":"Dept. of Electrical and Computer Engineering, Lab for Computational Intelligence and Cognitive Systems, International Institute of Cognitive Informatics and Cognitive Computing, Schulich School of Engineering (SSE) and Hotchkiss Brain Institute (HBI), University of Calgary, Calgary, AB, Canada","institution_ids":["https://openalex.org/I168635309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109061634","display_name":"James Y. Xu","orcid":null},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"James Y. Xu","raw_affiliation_strings":["Dept. of Electrical and Computer Engineering, Lab for Computational Intelligence and Cognitive Systems, International Institute of Cognitive Informatics and Cognitive Computing, Schulich School of Engineering (SSE) and Hotchkiss Brain Institute (HBI), University of Calgary, Calgary, AB, Canada"],"affiliations":[{"raw_affiliation_string":"Dept. of Electrical and Computer Engineering, Lab for Computational Intelligence and Cognitive Systems, International Institute of Cognitive Informatics and Cognitive Computing, Schulich School of Engineering (SSE) and Hotchkiss Brain Institute (HBI), University of Calgary, Calgary, AB, Canada","institution_ids":["https://openalex.org/I168635309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5012322217"],"corresponding_institution_ids":["https://openalex.org/I168635309"],"apc_list":null,"apc_paid":null,"fwci":0.7001,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.7918334,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"2","issue":null,"first_page":"41","last_page":"46"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13062","display_name":"Cognitive Computing and Networks","score":0.9998999834060669,"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/T13062","display_name":"Cognitive Computing and Networks","score":0.9998999834060669,"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/T12805","display_name":"Cognitive Science and Mapping","score":0.9427000284194946,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7343523502349854},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.6023498773574829},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.5708215832710266},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.5687671899795532},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5283860564231873},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5269561409950256},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.4601491093635559},{"id":"https://openalex.org/keywords/software-framework","display_name":"Software framework","score":0.45290806889533997},{"id":"https://openalex.org/keywords/software-development-process","display_name":"Software development process","score":0.42685532569885254},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.421004056930542},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.14319247007369995}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7343523502349854},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6023498773574829},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.5708215832710266},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.5687671899795532},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5283860564231873},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5269561409950256},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.4601491093635559},{"id":"https://openalex.org/C76518257","wikidata":"https://www.wikidata.org/wiki/Q271680","display_name":"Software framework","level":5,"score":0.45290806889533997},{"id":"https://openalex.org/C180152950","wikidata":"https://www.wikidata.org/wiki/Q2904257","display_name":"Software development process","level":4,"score":0.42685532569885254},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.421004056930542},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.14319247007369995},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccicc46617.2019.9146036","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccicc46617.2019.9146036","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE 18th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6100000143051147,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1491178396","https://openalex.org/W1546746956","https://openalex.org/W1547106396","https://openalex.org/W1587275578","https://openalex.org/W1588335385","https://openalex.org/W1606650785","https://openalex.org/W2001390679","https://openalex.org/W2027657506","https://openalex.org/W2034088070","https://openalex.org/W2137865376","https://openalex.org/W2151520617","https://openalex.org/W2302619866","https://openalex.org/W2334062286","https://openalex.org/W2589217375","https://openalex.org/W2895916421","https://openalex.org/W4205149853","https://openalex.org/W4211008702","https://openalex.org/W4229697989","https://openalex.org/W4236448544","https://openalex.org/W4294066087","https://openalex.org/W6635281096"],"related_works":["https://openalex.org/W2623911252","https://openalex.org/W1495184523","https://openalex.org/W185543890","https://openalex.org/W2120393889","https://openalex.org/W2026093893","https://openalex.org/W39186842","https://openalex.org/W1575382834","https://openalex.org/W2170828412","https://openalex.org/W3029851195","https://openalex.org/W1992366663"],"abstract_inverted_index":{"AI":[0,76],"programming":[1,77],"toward":[2],"autonomous":[3,36,56],"software":[4,15,26,80],"generation":[5,38,58,81],"is":[6],"not":[7],"only":[8],"a":[9,19,60,72],"highly":[10],"demanded":[11],"technology":[12],"by":[13,64],"the":[14,23,65],"industry,":[16],"but":[17],"also":[18],"hard":[20],"challenge":[21],"to":[22],"theories":[24,82],"of":[25,55],"engineering":[27],"and":[28,33,83],"computational":[29],"intelligence.":[30],"A":[31],"methodology":[32],"tool":[34],"for":[35,78],"program":[37],"(APG)":[39],"are":[40],"recently":[41],"developed":[42],"based":[43],"on":[44,59],"Real-Time":[45],"Process":[46],"Algebra":[47],"(RTPA).":[48],"This":[49],"paper":[50],"demonstrates":[51],"an":[52],"experimental":[53,69],"result":[54],"code":[57],"digital":[61],"clock":[62],"system":[63],"APG":[66],"tool.":[67],"The":[68],"results":[70],"indicate":[71],"novel":[73],"approach":[74],"towards":[75],"machine-enabled":[79],"technologies.":[84]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}