{"id":"https://openalex.org/W2037430774","doi":"https://doi.org/10.1145/1921532.1921565","title":"Towards a specific software development process for high integrity systems","display_name":"Towards a specific software development process for high integrity systems","publication_year":2011,"publication_date":"2011-01-24","ids":{"openalex":"https://openalex.org/W2037430774","doi":"https://doi.org/10.1145/1921532.1921565","mag":"2037430774"},"language":"en","primary_location":{"id":"doi:10.1145/1921532.1921565","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1921532.1921565","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","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/A5108135343","display_name":"Isabelle Perseil","orcid":null},"institutions":[{"id":"https://openalex.org/I154526488","display_name":"Inserm","ror":"https://ror.org/02vjkv261","country_code":"FR","type":"government","lineage":["https://openalex.org/I154526488"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Isabelle Perseil","raw_affiliation_strings":["INSERM, Paris"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INSERM, Paris","institution_ids":["https://openalex.org/I154526488"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5108135343"],"corresponding_institution_ids":["https://openalex.org/I154526488"],"apc_list":null,"apc_paid":null,"fwci":0.2576,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.5579083,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"36","issue":"1","first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"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.998199999332428,"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/software-engineering","display_name":"Software engineering","score":0.6568022966384888},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6520882248878479},{"id":"https://openalex.org/keywords/goal-driven-software-development-process","display_name":"Goal-Driven Software Development Process","score":0.636939287185669},{"id":"https://openalex.org/keywords/software-development-process","display_name":"Software development process","score":0.6089420318603516},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.552604079246521},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.45864254236221313},{"id":"https://openalex.org/keywords/process-management","display_name":"Process management","score":0.4475296139717102},{"id":"https://openalex.org/keywords/systems-development-life-cycle","display_name":"Systems development life cycle","score":0.41468194127082825},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.4130336344242096},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.41265636682510376},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3772236108779907},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3584429919719696},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.253917932510376},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2486170530319214},{"id":"https://openalex.org/keywords/operations-management","display_name":"Operations management","score":0.12346982955932617}],"concepts":[{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6568022966384888},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6520882248878479},{"id":"https://openalex.org/C42669973","wikidata":"https://www.wikidata.org/wiki/Q5575145","display_name":"Goal-Driven Software Development Process","level":5,"score":0.636939287185669},{"id":"https://openalex.org/C180152950","wikidata":"https://www.wikidata.org/wiki/Q2904257","display_name":"Software development process","level":4,"score":0.6089420318603516},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.552604079246521},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.45864254236221313},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.4475296139717102},{"id":"https://openalex.org/C120617098","wikidata":"https://www.wikidata.org/wiki/Q559486","display_name":"Systems development life cycle","level":5,"score":0.41468194127082825},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.4130336344242096},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.41265636682510376},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3772236108779907},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3584429919719696},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.253917932510376},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2486170530319214},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.12346982955932617}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1921532.1921565","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1921532.1921565","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W39889812","https://openalex.org/W49760229","https://openalex.org/W122006876","https://openalex.org/W1485658078","https://openalex.org/W1504504841","https://openalex.org/W1534850143","https://openalex.org/W1562934601","https://openalex.org/W1566124699","https://openalex.org/W1595657240","https://openalex.org/W1992635010","https://openalex.org/W2082615447","https://openalex.org/W2103722103","https://openalex.org/W2113111843","https://openalex.org/W2127947284","https://openalex.org/W2135735095","https://openalex.org/W6629026940"],"related_works":["https://openalex.org/W2143191299","https://openalex.org/W3211439315","https://openalex.org/W3105511281","https://openalex.org/W3200180240","https://openalex.org/W2472680075","https://openalex.org/W2187981415","https://openalex.org/W4292756589","https://openalex.org/W2185477997","https://openalex.org/W2186344087","https://openalex.org/W2750783989"],"abstract_inverted_index":{"The":[0,113,129],"software":[1,130],"development":[2,117,131],"process":[3,62,118,132],"is":[4,25,57,136,143],"the":[5,20,49,60,70,88,94,98,108,116,146,162,165,169],"main":[6,109],"tool":[7],"of":[8,22,30,48,72,100,103,115,126,174],"project":[9],"management.":[10],"It":[11,24],"serves":[12],"to":[13,19,35,38,58,111,120,158,164,171],"plan":[14],"optimally":[15],"all":[16,87],"activities":[17,32],"related":[18],"production":[21],"software.":[23],"mainly":[26],"a":[27,124,152],"scheduling":[28],"policy":[29],"these":[31],"which":[33,85,96],"allows":[34,151],"control":[36],"and":[37,123,167],"follow":[39],"them":[40],"in":[41],"time.We":[42],"moved":[43],"here":[44],"toward":[45],"an":[46],"adaptation":[47],"RUP":[50],"for":[51],"real-time":[52],"systems.":[53],"First,":[54],"our":[55],"approach":[56],"enrich":[59],"current":[61],"with":[63],"other":[64],"phases,":[65],"secondly,":[66],"we":[67,91,134],"consider":[68],"that":[69,133],"requirements":[71],"strategic":[73,147],"type":[74],"must":[75],"be":[76],"completely":[77],"identified,":[78],"specified,":[79],"verified":[80],"since":[81],"they":[82],"are":[83,92],"those":[84],"lead":[86],"development;":[89],"last,":[90],"redefining":[93],"lifecycle":[95],"puts":[97],"models":[99],"highest":[101],"level":[102],"abstraction":[104],"(analysis,":[105],"architecture)":[106],"as":[107],"objectives":[110],"reach.":[112],"enrichment":[114],"relates":[119],"additional":[121],"phases":[122],"parallelization":[125],"its":[127],"sub-processes.":[128],"propose":[135],"subdivided":[137],"into":[138],"three":[139],"sub-processes":[140],"whose":[141],"principal":[142],"led":[144],"by":[145],"use":[148],"cases.":[149],"This":[150],"seamless":[153],"development,":[154],"involving":[155],"intermediate":[156],"languages":[157,173],"move":[159],"gradually":[160],"from":[161],"informal":[163],"formal":[166],"provides":[168],"opportunity":[170],"compose":[172],"different":[175],"types.":[176]},"counts_by_year":[{"year":2016,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}