{"id":"https://openalex.org/W1989472102","doi":"https://doi.org/10.1016/j.knosys.2007.05.006","title":"Toward a new software development environment","display_name":"Toward a new software development environment","publication_year":2007,"publication_date":"2007-05-15","ids":{"openalex":"https://openalex.org/W1989472102","doi":"https://doi.org/10.1016/j.knosys.2007.05.006","mag":"1989472102"},"language":"en","primary_location":{"id":"doi:10.1016/j.knosys.2007.05.006","is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.knosys.2007.05.006","pdf_url":null,"source":{"id":"https://openalex.org/S10169007","display_name":"Knowledge-Based Systems","issn_l":"0950-7051","issn":["0950-7051","1872-7409"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Knowledge-Based Systems","raw_type":"journal-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/A5066199814","display_name":"B\u00e9chir Ktari","orcid":"https://orcid.org/0009-0009-7633-9901"},"institutions":[{"id":"https://openalex.org/I43406934","display_name":"Universit\u00e9 Laval","ror":"https://ror.org/04sjchr03","country_code":"CA","type":"education","lineage":["https://openalex.org/I43406934"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"B\u00e9chir Ktari","raw_affiliation_strings":["Faculty of Software and Information Science, Department of Computer Science and Software Engineering, Laval University, Que., Canada G1K 7P4","Faculty of Software and Information Science, Department of Computer Science and Software Engineering, Laval University, Qu\u00e9., Canada G1K 7P4"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Software and Information Science, Department of Computer Science and Software Engineering, Laval University, Que., Canada G1K 7P4","institution_ids":["https://openalex.org/I43406934"]},{"raw_affiliation_string":"Faculty of Software and Information Science, Department of Computer Science and Software Engineering, Laval University, Qu\u00e9., Canada G1K 7P4","institution_ids":["https://openalex.org/I43406934"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042597849","display_name":"Hamido Fujita","orcid":"https://orcid.org/0000-0001-5256-210X"},"institutions":[{"id":"https://openalex.org/I6090238","display_name":"Iwate Prefectural University","ror":"https://ror.org/054dx8336","country_code":"JP","type":"education","lineage":["https://openalex.org/I6090238"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hamido Fujita","raw_affiliation_strings":["Faculty of Software and Information Science, Iwate Prefectural University, 152-52 Sugo, Takizawa, Iwate 020-0193, Japan","Faculty of Software and Information Science, Iwate Prefectural University, 152-52, Sugo, Takizawa, Iwate, 020-0193, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Software and Information Science, Iwate Prefectural University, 152-52 Sugo, Takizawa, Iwate 020-0193, Japan","institution_ids":["https://openalex.org/I6090238"]},{"raw_affiliation_string":"Faculty of Software and Information Science, Iwate Prefectural University, 152-52, Sugo, Takizawa, Iwate, 020-0193, Japan","institution_ids":["https://openalex.org/I6090238"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089512218","display_name":"Mohamed Mejri","orcid":"https://orcid.org/0000-0003-4820-3176"},"institutions":[{"id":"https://openalex.org/I43406934","display_name":"Universit\u00e9 Laval","ror":"https://ror.org/04sjchr03","country_code":"CA","type":"education","lineage":["https://openalex.org/I43406934"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Mohamed Mejri","raw_affiliation_strings":["Faculty of Software and Information Science, Department of Computer Science and Software Engineering, Laval University, Que., Canada G1K 7P4","Faculty of Software and Information Science, Department of Computer Science and Software Engineering, Laval University, Qu\u00e9., Canada G1K 7P4"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Software and Information Science, Department of Computer Science and Software Engineering, Laval University, Que., Canada G1K 7P4","institution_ids":["https://openalex.org/I43406934"]},{"raw_affiliation_string":"Faculty of Software and Information Science, Department of Computer Science and Software Engineering, Laval University, Qu\u00e9., Canada G1K 7P4","institution_ids":["https://openalex.org/I43406934"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022554279","display_name":"Daniel Godbout","orcid":null},"institutions":[{"id":"https://openalex.org/I43406934","display_name":"Universit\u00e9 Laval","ror":"https://ror.org/04sjchr03","country_code":"CA","type":"education","lineage":["https://openalex.org/I43406934"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Daniel Godbout","raw_affiliation_strings":["Faculty of Software and Information Science, Department of Computer Science and Software Engineering, Laval University, Que., Canada G1K 7P4","Faculty of Software and Information Science, Department of Computer Science and Software Engineering, Laval University, Qu\u00e9., Canada G1K 7P4"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Software and Information Science, Department of Computer Science and Software Engineering, Laval University, Que., Canada G1K 7P4","institution_ids":["https://openalex.org/I43406934"]},{"raw_affiliation_string":"Faculty of Software and Information Science, Department of Computer Science and Software Engineering, Laval University, Qu\u00e9., Canada G1K 7P4","institution_ids":["https://openalex.org/I43406934"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5066199814"],"corresponding_institution_ids":["https://openalex.org/I43406934"],"apc_list":{"value":3430,"currency":"USD","value_usd":3430},"apc_paid":null,"fwci":0.7243,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.71541041,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"20","issue":"7","first_page":"683","last_page":"693"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9986000061035156,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9976999759674072,"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.7871164083480835},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6787011623382568},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.5747337341308594},{"id":"https://openalex.org/keywords/bridging","display_name":"Bridging (networking)","score":0.5599128603935242},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5452549457550049},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4797133803367615},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.47883132100105286},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.4749486446380615},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.44375696778297424},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4358243942260742},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.41704702377319336},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33363211154937744}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7871164083480835},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6787011623382568},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.5747337341308594},{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.5599128603935242},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5452549457550049},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4797133803367615},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.47883132100105286},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.4749486446380615},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.44375696778297424},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4358243942260742},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.41704702377319336},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33363211154937744},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/j.knosys.2007.05.006","is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.knosys.2007.05.006","pdf_url":null,"source":{"id":"https://openalex.org/S10169007","display_name":"Knowledge-Based Systems","issn_l":"0950-7051","issn":["0950-7051","1872-7409"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Knowledge-Based Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.5099999904632568}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W2065284122","https://openalex.org/W3128538309"],"related_works":["https://openalex.org/W4388870064","https://openalex.org/W2210139803","https://openalex.org/W4235186151","https://openalex.org/W2054685365","https://openalex.org/W2056057048","https://openalex.org/W2667588871","https://openalex.org/W2272354214","https://openalex.org/W2084768720","https://openalex.org/W2120447654","https://openalex.org/W1999490024"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}