Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact

 

Show simple item record

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 Intelligent agents es
dc.subject Program Verification en
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


Download Files

This item appears in the following Collection(s)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Except where otherwise noted, this item's license is described as Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)