{"id":"https://openalex.org/W1571453333","doi":"https://doi.org/10.35537/10915/28972","title":"Integraci\u00f3n de t\u00e9cnicas de an\u00e1lisis de dominio con especificaciones RSL","display_name":"Integraci\u00f3n de t\u00e9cnicas de an\u00e1lisis de dominio con especificaciones RSL","publication_year":2013,"publication_date":"2013-08-13","ids":{"openalex":"https://openalex.org/W1571453333","doi":"https://doi.org/10.35537/10915/28972","mag":"1571453333"},"language":"es","primary_location":{"id":"doi:10.35537/10915/28972","doi":"https://doi.org/10.35537/10915/28972","is_oa":true,"landing_page_url":"https://doi.org/10.35537/10915/28972","pdf_url":"http://sedici.unlp.edu.ar/bitstream/handle/10915/28972/Documento_completo__.pdf?sequence=1","source":null,"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Universidad Nacional de La Plata","raw_type":"dissertation"},"volume":null,"type":"dissertation","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"http://sedici.unlp.edu.ar/bitstream/handle/10915/28972/Documento_completo__.pdf?sequence=1","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109397049","display_name":"Laura Felice","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I874386039","display_name":"Universidad Nacional de La Plata","ror":"https://ror.org/01tjs6929","country_code":"AR","type":"education","lineage":["https://openalex.org/I874386039"]}],"countries":["AR"],"is_corresponding":true,"raw_author_name":"Felice, Laura","raw_affiliation_strings":["Facultad de Inform\u00e1tica Universidad Nacional de La Plata Agradecimientos Un especial agradecimiento a Daniel Riesco, por su permanente apoyo y disponibilidad, en especial por la claridad de sus ideas y su valioso criterio en todas las etapas del desarrollo de esta tesis. Y tambi\u00e9n a mis amigas y colegas Carmen, Marcela y Virginia por el constante apoyo y sobre todo por su amistad","Integraci\u00f3n de T\u00e9cnicas de An\u00e1lisis de Dominio con Especificaciones RSL","La clase AggregationType es una enumeraci\u00f3n de los siguientes valores","Tesis presentada a la Facultad de Inform\u00e1tica de la Universidad Nacional de La Plata para obtener el grado de Mag\u00edster en Ingenier\u00eda de Software. La Plata, 2013","enumeraci\u00f3n de los siguientes valores","los cuatro layers en que se divide un diagrama seg\u00fan el m\u00e9todo FORM","los cuatro layers en que se divide un diagrama seg\u00fan el m\u00e9todo FORM. Esta clase representa los"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Facultad de Inform\u00e1tica Universidad Nacional de La Plata Agradecimientos Un especial agradecimiento a Daniel Riesco, por su permanente apoyo y disponibilidad, en especial por la claridad de sus ideas y su valioso criterio en todas las etapas del desarrollo de esta tesis. Y tambi\u00e9n a mis amigas y colegas Carmen, Marcela y Virginia por el constante apoyo y sobre todo por su amistad","institution_ids":["https://openalex.org/I874386039"]},{"raw_affiliation_string":"Integraci\u00f3n de T\u00e9cnicas de An\u00e1lisis de Dominio con Especificaciones RSL","institution_ids":[]},{"raw_affiliation_string":"La clase AggregationType es una enumeraci\u00f3n de los siguientes valores","institution_ids":[]},{"raw_affiliation_string":"Tesis presentada a la Facultad de Inform\u00e1tica de la Universidad Nacional de La Plata para obtener el grado de Mag\u00edster en Ingenier\u00eda de Software. La Plata, 2013","institution_ids":["https://openalex.org/I874386039"]},{"raw_affiliation_string":"enumeraci\u00f3n de los siguientes valores","institution_ids":[]},{"raw_affiliation_string":"los cuatro layers en que se divide un diagrama seg\u00fan el m\u00e9todo FORM","institution_ids":[]},{"raw_affiliation_string":"los cuatro layers en que se divide un diagrama seg\u00fan el m\u00e9todo FORM. Esta clase representa los","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5109397049"],"corresponding_institution_ids":["https://openalex.org/I874386039"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.6563000082969666,"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.6563000082969666,"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.13950000703334808,"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/T10142","display_name":"Formal Methods in Verification","score":0.1152999997138977,"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/domain-analysis","display_name":"domain analysis","score":0.9190000295639038},{"id":"https://openalex.org/keywords/formal-specification","display_name":"formal specification","score":0.5649999976158142},{"id":"https://openalex.org/keywords/formal-methods","display_name":"formal methods","score":0.5989999771118164},{"id":"https://openalex.org/keywords/model-checking","display_name":"model checking","score":0.5099999904632568},{"id":"https://openalex.org/keywords/specification-refinement","display_name":"specification refinement","score":0.5180000066757202},{"id":"https://openalex.org/keywords/software-reuse","display_name":"software reuse","score":0.49900001287460327},{"id":"https://openalex.org/keywords/software-reliability","display_name":"software reliability","score":0.49799999594688416}],"concepts":[{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.7499018907546997},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5095229744911194},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.44639596343040466},{"id":"https://openalex.org/C58640448","wikidata":"https://www.wikidata.org/wiki/Q42515","display_name":"Cartography","level":1,"score":0.3914322853088379},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.29710257053375244},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2434973120689392},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.22803443670272827},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.35537/10915/28972","doi":"https://doi.org/10.35537/10915/28972","is_oa":true,"landing_page_url":"https://doi.org/10.35537/10915/28972","pdf_url":"http://sedici.unlp.edu.ar/bitstream/handle/10915/28972/Documento_completo__.pdf?sequence=1","source":null,"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Universidad Nacional de La Plata","raw_type":"dissertation"},{"id":"pmh:oai:sedici.unlp.edu.ar:10915/28972","doi":null,"is_oa":true,"landing_page_url":"http://sedici.unlp.edu.ar/handle/10915/28972","pdf_url":null,"source":{"id":"https://openalex.org/S4306402641","display_name":"LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Cient\u00edficas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4383465926","host_organization_name":"LA Referencia","host_organization_lineage":["https://openalex.org/I4383465926"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"reponame:SEDICI (UNLP)","raw_type":"info:eu-repo/semantics/masterThesis"},{"id":"pmh:oai:americanae.aecid.es:3873244","doi":null,"is_oa":true,"landing_page_url":"http://americanae.aecid.es/americanae/es/registros/registro.do?tipoRegistro=MTD&idBib=3873244","pdf_url":null,"source":{"id":"https://openalex.org/S4306400786","display_name":"Americanae (AECID Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"reponame:SEDICI (UNLP)","raw_type":"info:eu-repo/semantics/masterThesis"}],"best_oa_location":{"id":"doi:10.35537/10915/28972","doi":"https://doi.org/10.35537/10915/28972","is_oa":true,"landing_page_url":"https://doi.org/10.35537/10915/28972","pdf_url":"http://sedici.unlp.edu.ar/bitstream/handle/10915/28972/Documento_completo__.pdf?sequence=1","source":null,"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Universidad Nacional de La Plata","raw_type":"dissertation"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1571453333.pdf","grobid_xml":"https://content.openalex.org/works/W1571453333.grobid-xml"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W86844061","https://openalex.org/W120288533","https://openalex.org/W921706050","https://openalex.org/W1485894307","https://openalex.org/W1494019345","https://openalex.org/W1500250067","https://openalex.org/W1501652040","https://openalex.org/W1504642639","https://openalex.org/W1504953377","https://openalex.org/W1597691197","https://openalex.org/W1635782815","https://openalex.org/W1974033943","https://openalex.org/W1995689188","https://openalex.org/W2067838808","https://openalex.org/W2075036374","https://openalex.org/W2082513684","https://openalex.org/W2094810043","https://openalex.org/W2099213660","https://openalex.org/W2153690411","https://openalex.org/W2655966630","https://openalex.org/W2966760068","https://openalex.org/W3000555422","https://openalex.org/W3048761665","https://openalex.org/W3148125709","https://openalex.org/W4241080686","https://openalex.org/W6781820302"],"related_works":["https://openalex.org/W2274866845","https://openalex.org/W7034502016","https://openalex.org/W2030744193","https://openalex.org/W1777306412","https://openalex.org/W2157615579","https://openalex.org/W2078309450","https://openalex.org/W1569880806","https://openalex.org/W1532788675","https://openalex.org/W177731491","https://openalex.org/W1498006804"],"abstract_inverted_index":{"Los":[0],"m\u00e9todos":[1],"formales":[2,29,117],"han":[3],"alcanzado":[4],"un":[5,144,166,176,232],"uso":[6],"m\u00e1s":[7],"masivo":[8],"en":[9,84,108,130,151,161,168,198,231],"la":[10,20,25,199,235],"construcci\u00f3n":[11],"de":[12,36,40,44,55,57,68,75,111,136,138,154,165,175,184,201,204,206,212,214,219,223,240,243],"sistemas":[13,224],"reales,":[14],"ya":[15],"que":[16,100,171,178],"ayudan":[17],"a":[18,33,77,91,192,217],"aumentar":[19],"calidad":[21],"del":[22,42,87,134,188],"software":[23,45,139,185,215],"y":[24,46,60,107,142,186,229,238],"fiabilidad.":[26],"Las":[27],"especificaciones":[28,76,81,116],"pueden":[30],"ser":[31,51,102],"usadas":[32],"lo":[34,170],"largo":[35],"todo":[37],"el":[38,152,163,209],"ciclo":[39],"vida":[41],"desarrollo":[43,49,137,213],"tambi\u00e9n":[47,73],"este":[48],"puede":[50],"automatizado":[52],"por":[53,181],"medio":[54],"herramientas":[56],"amplia":[58],"variedad":[59],"prop\u00f3sito":[61],"como":[62,72],"model":[63],"checking,":[64],"verificaci\u00f3n,":[65],"animaci\u00f3n,":[66],"generaci\u00f3n":[67],"datos":[69],"para":[70,122,140,225],"testing,":[71],"refinamiento":[74],"implementaciones.":[78],"Cuando":[79],"las":[80,109,115],"se":[82,89,196],"usan":[83],"etapas":[85],"iniciales":[86],"proceso,":[88],"ayuda":[90],"revelar":[92],"ambig\u00fcedades,":[93],"omisiones,":[94],"inconsistencias,":[95],"errores":[96],"o":[97],"interpretaciones":[98],"err\u00f3neas":[99],"podr\u00edan":[101],"detectados":[103],"durante":[104],"pruebas":[105],"costosas":[106],"fases":[110],"depuraci\u00f3n.":[112],"Sin":[113],"embargo,":[114],"no":[118],"son":[119,148],"muy":[120],"familiares":[121],"los":[123,131,182,241],"stakeholders,":[124],"cuya":[125],"participaci\u00f3n":[126],"activa":[127],"es":[128],"crucial":[129],"primeros":[132],"estados":[133],"proceso":[135],"entender":[141],"comunicar":[143],"problema.":[145],"Estas":[146],"actividades":[147],"especialmente":[149],"\u00fatiles":[150],"an\u00e1lisis":[153,205],"dominio,":[155,233],"pues":[156],"su":[157],"primera":[158],"etapa":[159],"consiste":[160],"capturar":[162],"conocimiento":[164],"dominio":[167,207],"particular,":[169],"hace":[172],"necesario":[173],"disponer":[174],"modelo":[177],"sea":[179],"comprensible":[180],"ingenieros":[183],"expertos":[187],"dominio.":[189],"Para":[190],"contribuir":[191],"reducir":[193],"esta":[194],"brecha,":[195],"trabaja":[197],"integraci\u00f3n":[200],"una":[202,221],"fase":[203],"con":[208],"m\u00e9todo":[210],"formal":[211],"RAISE,":[216],"fin":[218],"especificar":[220],"familia":[222],"producir":[226],"aplicaciones":[227],"cualitativas":[228],"fiables":[230],"promover":[234],"reutilizaci\u00f3n":[236],"temprana":[237],"reducci\u00f3n":[239],"costos":[242],"desarrollo.":[244]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-09-23T05:00:35.095934","created_date":"2016-06-24T00:00:00"}