Busque entre los 155949 recursos disponibles en el repositorio
Mostrar el registro sencillo del ítem
dc.date.accessioned | 2012-10-30T15:21:51Z | |
dc.date.available | 2012-10-30T15:21:51Z | |
dc.date.issued | 2001-10 | |
dc.identifier.uri | http://sedici.unlp.edu.ar/handle/10915/23258 | |
dc.description.abstract | El desarrollo de sistemas de software confiables exige la utilización de herramientas que posibiliten razonar rigurosamente acerca de su corrección y consistencia. Este tipo de análisis revela su importancia crítica cuando los sistemas evolucionan en el tiempo, sufriendo modificaciones que pueden alterar seriamente su eficacia o aún volverlos totalmente inútiles. El establecimiento del Proceso Unificado y el lenguaje UML como un estándar representan un avance, aunque insuficiente para alcanzar dichos objetivos. Más aún, el problema de la evolución ha recibido poco o ningún tratamiento en dicho contexto. En este trabajo se presenta una alternativa para avanzar en esa dirección, a través de la utilización de contratos de reuso[4] -expresados en UML- para describir evoluciones y su traducción a un lenguaje formal de primer orden, llamado Alloy[2], que provee herramientas para verificar algunas propiedades fundamentales de estos contratos. La traducción propuesta es sencilla, eficiente, modular, y provee bases ciertas para un proceso de evolución incremental de los diseños. | es |
dc.language | es | es |
dc.subject | SOFTWARE ENGINEERING | es |
dc.subject | Ingeniería de Software | es |
dc.subject | Formal methods | es |
dc.subject | Métodos Formales | es |
dc.subject | Teoría de la Computación | es |
dc.subject | Theory of Computation | es |
dc.title | Utilizando contratos de reuso con alloy | es |
dc.type | Objeto de conferencia | es |
sedici.creator.person | Castro, Pablo Francisco | es |
sedici.creator.person | Baum, Gabriel Alfredo | es |
sedici.description.note | Eje: Ingeniería de software | es |
sedici.subject.materias | Ciencias Informáticas | es |
sedici.description.fulltext | true | es |
mods.originInfo.place | Red de Universidades con Carreras en Informática (RedUNCI) | es |
sedici.subtype | Objeto de conferencia | es |
sedici.rights.license | Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) | |
sedici.rights.uri | http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
sedici.date.exposure | 2001-10 | |
sedici.relation.event | VII Congreso Argentino de Ciencias de la Computación | es |
sedici.description.peerReview | peer-review | es |