{"id":"https://openalex.org/W2605710275","doi":"https://doi.org/10.1007/978-3-319-57708-1_6","title":"Formal Development of Linear Structure Reusable Components in PAR Platform","display_name":"Formal Development of Linear Structure Reusable Components in PAR Platform","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2605710275","doi":"https://doi.org/10.1007/978-3-319-57708-1_6","mag":"2605710275"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-57708-1_6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-57708-1_6","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"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/A5017708790","display_name":"Qimin Hu","orcid":null},"institutions":[{"id":"https://openalex.org/I41317344","display_name":"Jiangxi Science and Technology Normal University","ror":"https://ror.org/04r1zkp10","country_code":"CN","type":"education","lineage":["https://openalex.org/I41317344"]},{"id":"https://openalex.org/I53592917","display_name":"Jiangxi Normal University","ror":"https://ror.org/05nkgk822","country_code":"CN","type":"education","lineage":["https://openalex.org/I53592917"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Qimin Hu","raw_affiliation_strings":["Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang City, Jiangxi Province, People\u2019s Republic of China","National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang City, Jiangxi Province, People\u2019s Republic of China","Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang City, People\u2019s Republic of China","National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang City, People\u2019s Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang City, Jiangxi Province, People\u2019s Republic of China","institution_ids":["https://openalex.org/I41317344","https://openalex.org/I53592917"]},{"raw_affiliation_string":"National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang City, Jiangxi Province, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917"]},{"raw_affiliation_string":"Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang City, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917"]},{"raw_affiliation_string":"National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang City, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100763215","display_name":"Jinyun Xue","orcid":"https://orcid.org/0000-0003-1584-9712"},"institutions":[{"id":"https://openalex.org/I41317344","display_name":"Jiangxi Science and Technology Normal University","ror":"https://ror.org/04r1zkp10","country_code":"CN","type":"education","lineage":["https://openalex.org/I41317344"]},{"id":"https://openalex.org/I53592917","display_name":"Jiangxi Normal University","ror":"https://ror.org/05nkgk822","country_code":"CN","type":"education","lineage":["https://openalex.org/I53592917"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jinyun Xue","raw_affiliation_strings":["Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang City, Jiangxi Province, People\u2019s Republic of China","National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang City, Jiangxi Province, People\u2019s Republic of China","Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang City, People\u2019s Republic of China","National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang City, People\u2019s Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang City, Jiangxi Province, People\u2019s Republic of China","institution_ids":["https://openalex.org/I41317344","https://openalex.org/I53592917"]},{"raw_affiliation_string":"National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang City, Jiangxi Province, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917"]},{"raw_affiliation_string":"Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang City, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917"]},{"raw_affiliation_string":"National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang City, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100631751","display_name":"Zhen You","orcid":"https://orcid.org/0000-0003-0504-3942"},"institutions":[{"id":"https://openalex.org/I41317344","display_name":"Jiangxi Science and Technology Normal University","ror":"https://ror.org/04r1zkp10","country_code":"CN","type":"education","lineage":["https://openalex.org/I41317344"]},{"id":"https://openalex.org/I53592917","display_name":"Jiangxi Normal University","ror":"https://ror.org/05nkgk822","country_code":"CN","type":"education","lineage":["https://openalex.org/I53592917"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhen You","raw_affiliation_strings":["Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang City, Jiangxi Province, People\u2019s Republic of China","National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang City, Jiangxi Province, People\u2019s Republic of China","Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang City, People\u2019s Republic of China","National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang City, People\u2019s Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang City, Jiangxi Province, People\u2019s Republic of China","institution_ids":["https://openalex.org/I41317344","https://openalex.org/I53592917"]},{"raw_affiliation_string":"National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang City, Jiangxi Province, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917"]},{"raw_affiliation_string":"Key Laboratory of High Performance Computing Technology, Jiangxi Normal University, Nanchang City, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917"]},{"raw_affiliation_string":"National Networked Supporting Software International S&T Cooperation Base of China, Jiangxi Normal University, Nanchang City, People\u2019s Republic of China","institution_ids":["https://openalex.org/I53592917"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5017708790"],"corresponding_institution_ids":["https://openalex.org/I41317344","https://openalex.org/I53592917"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.02656961,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"85","last_page":"97"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9987999796867371,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9983000159263611,"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.8012826442718506},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.7681647539138794},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.724686861038208},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.5453693866729736},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4814531207084656},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4748271405696869},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.42456620931625366},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34680309891700745},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3341848850250244},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.1424981951713562}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8012826442718506},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7681647539138794},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.724686861038208},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.5453693866729736},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4814531207084656},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4748271405696869},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.42456620931625366},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34680309891700745},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3341848850250244},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.1424981951713562}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-319-57708-1_6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-57708-1_6","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.4399999976158142,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1508333423","https://openalex.org/W1542358180","https://openalex.org/W1552647623","https://openalex.org/W1567558468","https://openalex.org/W2021917262","https://openalex.org/W2057118835","https://openalex.org/W2060536932","https://openalex.org/W2069919327","https://openalex.org/W2093666661","https://openalex.org/W2093832730","https://openalex.org/W2103953153","https://openalex.org/W2144973245","https://openalex.org/W2167500728","https://openalex.org/W2316194651","https://openalex.org/W2318940639","https://openalex.org/W2496949764","https://openalex.org/W2546124130","https://openalex.org/W4285719527","https://openalex.org/W4298046864"],"related_works":["https://openalex.org/W2145025660","https://openalex.org/W1815465552","https://openalex.org/W2171674700","https://openalex.org/W150512884","https://openalex.org/W2049993111","https://openalex.org/W1922520186","https://openalex.org/W1903167137","https://openalex.org/W1950421680","https://openalex.org/W2034589735","https://openalex.org/W2045204345"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}