{"id":"https://openalex.org/W4396921946","doi":"https://doi.org/10.54021/seesv5n1-092","title":"A maintainable and iterative development approach of critical systems with FoCaLiZe","display_name":"A maintainable and iterative development approach of critical systems with FoCaLiZe","publication_year":2024,"publication_date":"2024-05-15","ids":{"openalex":"https://openalex.org/W4396921946","doi":"https://doi.org/10.54021/seesv5n1-092"},"language":"en","primary_location":{"id":"doi:10.54021/seesv5n1-092","doi":"https://doi.org/10.54021/seesv5n1-092","is_oa":true,"landing_page_url":"http://dx.doi.org/10.54021/seesv5n1-092","pdf_url":"https://ojs.studiespublicacoes.com.br/ojs/index.php/sees/article/download/4293/3031","source":{"id":"https://openalex.org/S4210240673","display_name":"STUDIES IN ENGINEERING AND EXACT SCIENCES","issn_l":"2764-0981","issn":["2764-0981"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"STUDIES IN ENGINEERING AND EXACT SCIENCES","raw_type":"journal-article"},"volume":null,"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://ojs.studiespublicacoes.com.br/ojs/index.php/sees/article/download/4293/3031","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5001741888","display_name":"Fatima Haloua","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I106778892","display_name":"Princess Nourah bint Abdulrahman University","ror":"https://ror.org/05b0cyh02","country_code":"SA","type":"education","lineage":["https://openalex.org/I106778892"]},{"id":"https://openalex.org/I2803047761","display_name":"Ocean County Library","ror":"https://ror.org/0191vmf59","country_code":"US","type":"archive","lineage":["https://openalex.org/I2803047761"]},{"id":"https://openalex.org/I4210157185","display_name":"University of Eloued","ror":"https://ror.org/05416s909","country_code":"DZ","type":"education","lineage":["https://openalex.org/I4210157185"]}],"countries":["DZ","SA","US"],"is_corresponding":false,"raw_author_name":"Fatima Haloua","raw_affiliation_strings":["Master in Management of Information Systems Institution: LIAP Laboratory, University of El Oued Address: PO Box 789, El Oued, Algeria","iterativo para sistemas cr\u00edticos com","/OCL, FoCaLiZe","PhD in Computer Science Institution: Department of Information Systems, College of Computer and Information Sciences, Princess Nourah bint Abdulrahman University Address: P.O. Box 84428, Riyadh, Saudi Arabia","PhD in Computer Science Institution: LIAP Laboratory, University of El Oued Address: PO Box 789, El Oued, Algeria","de c\u00f3digo seguro"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Master in Management of Information Systems Institution: LIAP Laboratory, University of El Oued Address: PO Box 789, El Oued, Algeria","institution_ids":["https://openalex.org/I4210157185"]},{"raw_affiliation_string":"iterativo para sistemas cr\u00edticos com","institution_ids":[]},{"raw_affiliation_string":"/OCL, FoCaLiZe","institution_ids":["https://openalex.org/I2803047761"]},{"raw_affiliation_string":"PhD in Computer Science Institution: Department of Information Systems, College of Computer and Information Sciences, Princess Nourah bint Abdulrahman University Address: P.O. Box 84428, Riyadh, Saudi Arabia","institution_ids":["https://openalex.org/I106778892"]},{"raw_affiliation_string":"PhD in Computer Science Institution: LIAP Laboratory, University of El Oued Address: PO Box 789, El Oued, Algeria","institution_ids":["https://openalex.org/I4210157185"]},{"raw_affiliation_string":"de c\u00f3digo seguro","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015443720","display_name":"Messaoud Abbas","orcid":"https://orcid.org/0000-0002-7998-9020","observed_orcids":["https://orcid.org/0000-0002-7998-9020"]},"institutions":[{"id":"https://openalex.org/I106778892","display_name":"Princess Nourah bint Abdulrahman University","ror":"https://ror.org/05b0cyh02","country_code":"SA","type":"education","lineage":["https://openalex.org/I106778892"]},{"id":"https://openalex.org/I2803047761","display_name":"Ocean County Library","ror":"https://ror.org/0191vmf59","country_code":"US","type":"archive","lineage":["https://openalex.org/I2803047761"]},{"id":"https://openalex.org/I4210157185","display_name":"University of Eloued","ror":"https://ror.org/05416s909","country_code":"DZ","type":"education","lineage":["https://openalex.org/I4210157185"]}],"countries":["DZ","SA","US"],"is_corresponding":false,"raw_author_name":"Messaoud Abbas","raw_affiliation_strings":["PhD in Computer Science Institution: LIAP Laboratory, University of El Oued Address: PO Box 789, El Oued, Algeria","iterativo para sistemas cr\u00edticos com","/OCL, FoCaLiZe","Master in Management of Information Systems Institution: LIAP Laboratory, University of El Oued Address: PO Box 789, El Oued, Algeria","PhD in Computer Science Institution: Department of Information Systems, College of Computer and Information Sciences, Princess Nourah bint Abdulrahman University Address: P.O. Box 84428, Riyadh, Saudi Arabia","de c\u00f3digo seguro"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"PhD in Computer Science Institution: LIAP Laboratory, University of El Oued Address: PO Box 789, El Oued, Algeria","institution_ids":["https://openalex.org/I4210157185"]},{"raw_affiliation_string":"iterativo para sistemas cr\u00edticos com","institution_ids":[]},{"raw_affiliation_string":"/OCL, FoCaLiZe","institution_ids":["https://openalex.org/I2803047761"]},{"raw_affiliation_string":"Master in Management of Information Systems Institution: LIAP Laboratory, University of El Oued Address: PO Box 789, El Oued, Algeria","institution_ids":["https://openalex.org/I4210157185"]},{"raw_affiliation_string":"PhD in Computer Science Institution: Department of Information Systems, College of Computer and Information Sciences, Princess Nourah bint Abdulrahman University Address: P.O. Box 84428, Riyadh, Saudi Arabia","institution_ids":["https://openalex.org/I106778892"]},{"raw_affiliation_string":"de c\u00f3digo seguro","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025247712","display_name":"Ammar Boucherit","orcid":"https://orcid.org/0000-0002-1617-0050","observed_orcids":["https://orcid.org/0000-0002-1617-0050"]},"institutions":[{"id":"https://openalex.org/I106778892","display_name":"Princess Nourah bint Abdulrahman University","ror":"https://ror.org/05b0cyh02","country_code":"SA","type":"education","lineage":["https://openalex.org/I106778892"]},{"id":"https://openalex.org/I2803047761","display_name":"Ocean County Library","ror":"https://ror.org/0191vmf59","country_code":"US","type":"archive","lineage":["https://openalex.org/I2803047761"]},{"id":"https://openalex.org/I4210157185","display_name":"University of Eloued","ror":"https://ror.org/05416s909","country_code":"DZ","type":"education","lineage":["https://openalex.org/I4210157185"]}],"countries":["DZ","SA","US"],"is_corresponding":false,"raw_author_name":"Ammar Boucherit","raw_affiliation_strings":["PhD in Computer Science Institution: LIAP Laboratory, University of El Oued Address: PO Box 789, El Oued, Algeria","iterativo para sistemas cr\u00edticos com","/OCL, FoCaLiZe","Master in Management of Information Systems Institution: LIAP Laboratory, University of El Oued Address: PO Box 789, El Oued, Algeria","PhD in Computer Science Institution: Department of Information Systems, College of Computer and Information Sciences, Princess Nourah bint Abdulrahman University Address: P.O. Box 84428, Riyadh, Saudi Arabia","de c\u00f3digo seguro"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"PhD in Computer Science Institution: LIAP Laboratory, University of El Oued Address: PO Box 789, El Oued, Algeria","institution_ids":["https://openalex.org/I4210157185"]},{"raw_affiliation_string":"iterativo para sistemas cr\u00edticos com","institution_ids":[]},{"raw_affiliation_string":"/OCL, FoCaLiZe","institution_ids":["https://openalex.org/I2803047761"]},{"raw_affiliation_string":"Master in Management of Information Systems Institution: LIAP Laboratory, University of El Oued Address: PO Box 789, El Oued, Algeria","institution_ids":["https://openalex.org/I4210157185"]},{"raw_affiliation_string":"PhD in Computer Science Institution: Department of Information Systems, College of Computer and Information Sciences, Princess Nourah bint Abdulrahman University Address: P.O. Box 84428, Riyadh, Saudi Arabia","institution_ids":["https://openalex.org/I106778892"]},{"raw_affiliation_string":"de c\u00f3digo seguro","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068925360","display_name":"Hessa Alfraihi","orcid":"https://orcid.org/0000-0001-8169-3766","observed_orcids":["https://orcid.org/0000-0001-8169-3766"]},"institutions":[{"id":"https://openalex.org/I106778892","display_name":"Princess Nourah bint Abdulrahman University","ror":"https://ror.org/05b0cyh02","country_code":"SA","type":"education","lineage":["https://openalex.org/I106778892"]},{"id":"https://openalex.org/I2803047761","display_name":"Ocean County Library","ror":"https://ror.org/0191vmf59","country_code":"US","type":"archive","lineage":["https://openalex.org/I2803047761"]},{"id":"https://openalex.org/I4210157185","display_name":"University of Eloued","ror":"https://ror.org/05416s909","country_code":"DZ","type":"education","lineage":["https://openalex.org/I4210157185"]}],"countries":["DZ","SA","US"],"is_corresponding":false,"raw_author_name":"Hessa Alfraihi","raw_affiliation_strings":["PhD in Computer Science Institution: Department of Information Systems, College of Computer and Information Sciences, Princess Nourah bint Abdulrahman University Address: P.O. Box 84428, Riyadh, Saudi Arabia","iterativo para sistemas cr\u00edticos com","/OCL, FoCaLiZe","Master in Management of Information Systems Institution: LIAP Laboratory, University of El Oued Address: PO Box 789, El Oued, Algeria","PhD in Computer Science Institution: LIAP Laboratory, University of El Oued Address: PO Box 789, El Oued, Algeria","de c\u00f3digo seguro"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"PhD in Computer Science Institution: Department of Information Systems, College of Computer and Information Sciences, Princess Nourah bint Abdulrahman University Address: P.O. Box 84428, Riyadh, Saudi Arabia","institution_ids":["https://openalex.org/I106778892"]},{"raw_affiliation_string":"iterativo para sistemas cr\u00edticos com","institution_ids":[]},{"raw_affiliation_string":"/OCL, FoCaLiZe","institution_ids":["https://openalex.org/I2803047761"]},{"raw_affiliation_string":"Master in Management of Information Systems Institution: LIAP Laboratory, University of El Oued Address: PO Box 789, El Oued, Algeria","institution_ids":["https://openalex.org/I4210157185"]},{"raw_affiliation_string":"PhD in Computer Science Institution: LIAP Laboratory, University of El Oued Address: PO Box 789, El Oued, Algeria","institution_ids":["https://openalex.org/I4210157185"]},{"raw_affiliation_string":"de c\u00f3digo seguro","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.05864292,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"5","issue":"1","first_page":"1821","last_page":"1871"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9922000169754028,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9922000169754028,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.0034000000450760126,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.002099999925121665,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/model-driven-engineering","display_name":"model-driven engineering","score":0.847000002861023},{"id":"https://openalex.org/keywords/critical-systems","display_name":"critical systems","score":0.906000018119812},{"id":"https://openalex.org/keywords/secure-software-development","display_name":"secure software development","score":0.734000027179718},{"id":"https://openalex.org/keywords/uml","display_name":"UML","score":0.6650000214576721},{"id":"https://openalex.org/keywords/object-constraint-language","display_name":"Object Constraint Language","score":0.9829999804496765},{"id":"https://openalex.org/keywords/formal-specification","display_name":"formal specification","score":0.5889999866485596},{"id":"https://openalex.org/keywords/traceability","display_name":"traceability","score":0.6060000061988831},{"id":"https://openalex.org/keywords/incremental-development","display_name":"incremental development","score":0.6570000052452087},{"id":"https://openalex.org/keywords/partial-transformations","display_name":"partial transformations","score":0.734000027179718},{"id":"https://openalex.org/keywords/maintainability","display_name":"maintainability","score":0.5889999866485596},{"id":"https://openalex.org/keywords/life-cycle-development","display_name":"life cycle development","score":0.5139999985694885},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.3330000042915344}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7656624913215637},{"id":"https://openalex.org/C160713754","wikidata":"https://www.wikidata.org/wiki/Q1389965","display_name":"Maintainability","level":2,"score":0.6606829166412354},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.6546437740325928},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5891484022140503},{"id":"https://openalex.org/C133264317","wikidata":"https://www.wikidata.org/wiki/Q1397689","display_name":"Object Constraint Language","level":5,"score":0.5835950374603271},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5619213581085205},{"id":"https://openalex.org/C41298492","wikidata":"https://www.wikidata.org/wiki/Q4781506","display_name":"Applications of UML","level":4,"score":0.5430097579956055},{"id":"https://openalex.org/C202446494","wikidata":"https://www.wikidata.org/wiki/Q664166","display_name":"Class diagram","level":4,"score":0.4923011064529419},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.45875242352485657},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.4515376389026642},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.44862231612205505},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.43395617604255676},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11963331699371338},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.10377395153045654},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.54021/seesv5n1-092","doi":"https://doi.org/10.54021/seesv5n1-092","is_oa":true,"landing_page_url":"http://dx.doi.org/10.54021/seesv5n1-092","pdf_url":"https://ojs.studiespublicacoes.com.br/ojs/index.php/sees/article/download/4293/3031","source":{"id":"https://openalex.org/S4210240673","display_name":"STUDIES IN ENGINEERING AND EXACT SCIENCES","issn_l":"2764-0981","issn":["2764-0981"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"STUDIES IN ENGINEERING AND EXACT SCIENCES","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.54021/seesv5n1-092","doi":"https://doi.org/10.54021/seesv5n1-092","is_oa":true,"landing_page_url":"http://dx.doi.org/10.54021/seesv5n1-092","pdf_url":"https://ojs.studiespublicacoes.com.br/ojs/index.php/sees/article/download/4293/3031","source":{"id":"https://openalex.org/S4210240673","display_name":"STUDIES IN ENGINEERING AND EXACT SCIENCES","issn_l":"2764-0981","issn":["2764-0981"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"STUDIES IN ENGINEERING AND EXACT SCIENCES","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4396921946.pdf","grobid_xml":"https://content.openalex.org/works/W4396921946.grobid-xml"},"referenced_works_count":52,"referenced_works":["https://openalex.org/W1477903","https://openalex.org/W138671001","https://openalex.org/W188830890","https://openalex.org/W1504007491","https://openalex.org/W1556900989","https://openalex.org/W1591012334","https://openalex.org/W1611279169","https://openalex.org/W1801460737","https://openalex.org/W1870406604","https://openalex.org/W1895387792","https://openalex.org/W1964172883","https://openalex.org/W1986750872","https://openalex.org/W1987260736","https://openalex.org/W2035117740","https://openalex.org/W2066309137","https://openalex.org/W2107760155","https://openalex.org/W2113210982","https://openalex.org/W2116003327","https://openalex.org/W2145358680","https://openalex.org/W2172096631","https://openalex.org/W2182732130","https://openalex.org/W2343502228","https://openalex.org/W2373761577","https://openalex.org/W2613410611","https://openalex.org/W2756119447","https://openalex.org/W2785893179","https://openalex.org/W2793276752","https://openalex.org/W2887487915","https://openalex.org/W2888887013","https://openalex.org/W2890631541","https://openalex.org/W2900552106","https://openalex.org/W2906387834","https://openalex.org/W2930651717","https://openalex.org/W2957410561","https://openalex.org/W2963684947","https://openalex.org/W2974795894","https://openalex.org/W2978414022","https://openalex.org/W3016506139","https://openalex.org/W3094276683","https://openalex.org/W3122722131","https://openalex.org/W3128933010","https://openalex.org/W3145963931","https://openalex.org/W3146558380","https://openalex.org/W3201188695","https://openalex.org/W3203123294","https://openalex.org/W3209742351","https://openalex.org/W3216487921","https://openalex.org/W4210881473","https://openalex.org/W4233648386","https://openalex.org/W4256160894","https://openalex.org/W4283783253","https://openalex.org/W4304734640"],"related_works":["https://openalex.org/W4226064391","https://openalex.org/W3203123294","https://openalex.org/W2066309137","https://openalex.org/W92407834","https://openalex.org/W2152616679","https://openalex.org/W111596272","https://openalex.org/W7098781577","https://openalex.org/W1845333155","https://openalex.org/W7101041422","https://openalex.org/W2161269507"],"abstract_inverted_index":{"The":[0,89,128,159,179,195,227],"life-cycle":[1,110],"development":[2,20,81,96,111,124,133,142,171,190,200,219,228,243],"of":[3,100,125,192,205,218,220,229,248],"critical":[4,23,126,193],"systems":[5],"follows":[6],"mainly":[7],"a":[8,22,40,78,101,109,147,206,221],"V-cycle":[9],"process":[10,201],"overlapped":[11],"with":[12,70],"proofs":[13],"and/or":[14],"verification":[15],"techniques.":[16],"At":[17],"the":[18,47,53,67,95,98,117,122,162,199,203,211,216,233,242,246],"first":[19],"stage,":[21],"system":[24,223,231],"must":[25],"be,":[26],"precisely,":[27],"and":[28,52,62,116,139,172,187,236],"as":[29,31,46,136,239],"completely":[30],"possible":[32],"described.":[33],"Thus,":[34],"it":[35],"is":[36,75,182],"recommended":[37],"to":[38,58,93,157,168,185],"use":[39],"graphical":[41,68],"modeling":[42,177],"language":[43],"standard":[44],"such":[45,135],"Unified":[48],"Modeling":[49],"Language":[50,56],"(UML)":[51],"Object":[54],"Constraint":[55],"(OCL),":[57],"which":[59],"both":[60],"customers":[61],"developers":[63,174],"could":[64],"contribute.":[65],"Then,":[66],"design":[69],"its":[71],"formal":[72,80,90,119,196],"specification":[73],"(requirements)":[74],"mapped":[76],"into":[77,166],"complete":[79],"environment,":[82],"using":[83,151],"an":[84],"MDE":[85],"(Model-driven":[86],"engineering)":[87],"approach.":[88],"environment":[91,120,197],"has":[92],"assess":[94],"until":[97,202,245],"generation":[99,204,247],"secure":[102,123,148,186,207,249],"code.":[103,208,250],"In":[104],"this":[105,230],"context,":[106],"we":[107,214],"propose":[108],"approach":[112,130,181],"that":[113],"combines":[114],"UML/OCL":[115,156,165],"FoCaLiZe":[118,167],"for":[121],"systems.":[127,194],"proposed":[129,180,212],"ensures":[131,146],"essential":[132],"constraints":[134],"strict":[137],"boundaries":[138],"traceability":[140],"between":[141],"phases.":[143],"It":[144],"also":[145],"maintenance":[149],"phase":[150],"partial":[152],"transformation":[153,163],"techniques":[154],"from":[155,164],"FoCaLiZe.":[158],"latter":[160],"enhances":[161],"support":[169],"incremental":[170],"assist":[173],"in":[175],"correcting":[176],"errors.":[178],"mostly":[183],"dedicated":[184],"maintainable":[188],"lifecycle":[189],"processes":[191],"assesses":[198],"To":[209],"illustrate":[210],"approach,":[213,244],"present":[215],"stages":[217,238],"constrained":[222],"controlling":[224],"military":[225],"objects.":[226],"uses":[232],"iterative,":[234],"incremental,":[235],"maintainability":[237],"described":[240],"by":[241]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2024-05-16T00:00:00"}