Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2012-10-17T14:08:15Z
dc.date.available 2012-10-17T14:08:15Z
dc.date.issued 2004
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/22557
dc.description.abstract In this paper we present an attempt to represent Eiffel programs as B specifications. Our purpose is to use the B method as an environment for the verification of the correctness of Eiffel programs. We study the difficulties associated with the representation of object oriented features (inherent to Eiffel programs) in the non object oriented B language. We use an extension to B in order to represent dynamic creation and deletion of objects, and show how object interaction can be achieved by borrowing some ideas from software architectures. The paper is centred on a simple and well known case study, the tra- ditional object oriented implementation of generic lists. es
dc.language en es
dc.subject Object orientation en
dc.subject ARTIFICIAL INTELLIGENCE es
dc.subject Program Verification en
dc.subject Intelligent agents es
dc.subject B Method en
dc.title The B method as an environment for the verification of eiffel programs: a case study en
dc.type Objeto de conferencia es
sedici.creator.person Aguirre, Nazareno Matías es
sedici.creator.person Oviedo, Juan es
sedici.description.note Eje: V - Workshop de agentes y sistemas inteligentes 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 2004-10
sedici.relation.event X Congreso Argentino de Ciencias de la Computación es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (132.4Kb) - PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)