Definiendo un marco riguroso para diseñar un lenguaje de modelado de software confiable y consistente para la web

Autores
Flores, Sonia; Salvador, Lucas; Uzal, Roberto
Año de publicación
2010
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
En esta Línea de Investigación, nos proponemos encontrar los mecanismos para conformar un marco riguroso dentro del cual abordar importantes fallas de calidad, de escalabilidad, de rendimiento (performance) y de seguridad (entendida como confidencialidad) que presentan los sitios Web y sus aplicaciones, con el fin de encontrar una formalización de las especificaciones de las aplicaciones Web, bajo la premisa de que un proceso de desarrollo confiable y consistente debe estar sustentado por modelos conceptuales que tengan la expresividad necesaria, para poder especificar las singularidades que encontraremos en el espacio de problemas de las aplicacionesWeb. La Ingeniería del Software, aplicada en el contexto de las aplicaciones Web, requiere de la disponibilidad de lenguajes de alto nivel que permitan especificar con precisión las propiedades de interés, como así también resulta necesario disponer de algoritmos que permitan verificar dichas propiedades, una vez expresadas en el lenguaje adecuado. La simplicidad de los lenguajes de especificación basados en reglas y la cercanía de éstos con determinadas clases de lógicas y autómatas, sugieren su empleo en las tareas de modelado de sitios Web.
Eje: Ingeniería de Software
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Lenguaje de Modelado de Software
SOFTWARE ENGINEERING
Web
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/19563

id SEDICI_58f354c0284b94e2e42d9e6581f21947
oai_identifier_str oai:sedici.unlp.edu.ar:10915/19563
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Definiendo un marco riguroso para diseñar un lenguaje de modelado de software confiable y consistente para la webFlores, SoniaSalvador, LucasUzal, RobertoCiencias InformáticasLenguaje de Modelado de SoftwareSOFTWARE ENGINEERINGWebEn esta Línea de Investigación, nos proponemos encontrar los mecanismos para conformar un marco riguroso dentro del cual abordar importantes fallas de calidad, de escalabilidad, de rendimiento (performance) y de seguridad (entendida como confidencialidad) que presentan los sitios Web y sus aplicaciones, con el fin de encontrar una formalización de las especificaciones de las aplicaciones Web, bajo la premisa de que un proceso de desarrollo confiable y consistente debe estar sustentado por modelos conceptuales que tengan la expresividad necesaria, para poder especificar las singularidades que encontraremos en el espacio de problemas de las aplicacionesWeb. La Ingeniería del Software, aplicada en el contexto de las aplicaciones Web, requiere de la disponibilidad de lenguajes de alto nivel que permitan especificar con precisión las propiedades de interés, como así también resulta necesario disponer de algoritmos que permitan verificar dichas propiedades, una vez expresadas en el lenguaje adecuado. La simplicidad de los lenguajes de especificación basados en reglas y la cercanía de éstos con determinadas clases de lógicas y autómatas, sugieren su empleo en las tareas de modelado de sitios Web.Eje: Ingeniería de SoftwareRed de Universidades con Carreras en Informática (RedUNCI)2010-05info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf496-500http://sedici.unlp.edu.ar/handle/10915/19563spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-12-23T10:56:46Zoai:sedici.unlp.edu.ar:10915/19563Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-12-23 10:56:47.249SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Definiendo un marco riguroso para diseñar un lenguaje de modelado de software confiable y consistente para la web
title Definiendo un marco riguroso para diseñar un lenguaje de modelado de software confiable y consistente para la web
spellingShingle Definiendo un marco riguroso para diseñar un lenguaje de modelado de software confiable y consistente para la web
Flores, Sonia
Ciencias Informáticas
Lenguaje de Modelado de Software
SOFTWARE ENGINEERING
Web
title_short Definiendo un marco riguroso para diseñar un lenguaje de modelado de software confiable y consistente para la web
title_full Definiendo un marco riguroso para diseñar un lenguaje de modelado de software confiable y consistente para la web
title_fullStr Definiendo un marco riguroso para diseñar un lenguaje de modelado de software confiable y consistente para la web
title_full_unstemmed Definiendo un marco riguroso para diseñar un lenguaje de modelado de software confiable y consistente para la web
title_sort Definiendo un marco riguroso para diseñar un lenguaje de modelado de software confiable y consistente para la web
dc.creator.none.fl_str_mv Flores, Sonia
Salvador, Lucas
Uzal, Roberto
author Flores, Sonia
author_facet Flores, Sonia
Salvador, Lucas
Uzal, Roberto
author_role author
author2 Salvador, Lucas
Uzal, Roberto
author2_role author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
Lenguaje de Modelado de Software
SOFTWARE ENGINEERING
Web
topic Ciencias Informáticas
Lenguaje de Modelado de Software
SOFTWARE ENGINEERING
Web
dc.description.none.fl_txt_mv En esta Línea de Investigación, nos proponemos encontrar los mecanismos para conformar un marco riguroso dentro del cual abordar importantes fallas de calidad, de escalabilidad, de rendimiento (performance) y de seguridad (entendida como confidencialidad) que presentan los sitios Web y sus aplicaciones, con el fin de encontrar una formalización de las especificaciones de las aplicaciones Web, bajo la premisa de que un proceso de desarrollo confiable y consistente debe estar sustentado por modelos conceptuales que tengan la expresividad necesaria, para poder especificar las singularidades que encontraremos en el espacio de problemas de las aplicacionesWeb. La Ingeniería del Software, aplicada en el contexto de las aplicaciones Web, requiere de la disponibilidad de lenguajes de alto nivel que permitan especificar con precisión las propiedades de interés, como así también resulta necesario disponer de algoritmos que permitan verificar dichas propiedades, una vez expresadas en el lenguaje adecuado. La simplicidad de los lenguajes de especificación basados en reglas y la cercanía de éstos con determinadas clases de lógicas y autómatas, sugieren su empleo en las tareas de modelado de sitios Web.
Eje: Ingeniería de Software
Red de Universidades con Carreras en Informática (RedUNCI)
description En esta Línea de Investigación, nos proponemos encontrar los mecanismos para conformar un marco riguroso dentro del cual abordar importantes fallas de calidad, de escalabilidad, de rendimiento (performance) y de seguridad (entendida como confidencialidad) que presentan los sitios Web y sus aplicaciones, con el fin de encontrar una formalización de las especificaciones de las aplicaciones Web, bajo la premisa de que un proceso de desarrollo confiable y consistente debe estar sustentado por modelos conceptuales que tengan la expresividad necesaria, para poder especificar las singularidades que encontraremos en el espacio de problemas de las aplicacionesWeb. La Ingeniería del Software, aplicada en el contexto de las aplicaciones Web, requiere de la disponibilidad de lenguajes de alto nivel que permitan especificar con precisión las propiedades de interés, como así también resulta necesario disponer de algoritmos que permitan verificar dichas propiedades, una vez expresadas en el lenguaje adecuado. La simplicidad de los lenguajes de especificación basados en reglas y la cercanía de éstos con determinadas clases de lógicas y autómatas, sugieren su empleo en las tareas de modelado de sitios Web.
publishDate 2010
dc.date.none.fl_str_mv 2010-05
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/19563
url http://sedici.unlp.edu.ar/handle/10915/19563
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
496-500
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1852333770022060032
score 12.952241