DSpace DSpace UPC
 English   Castellano   Català  

Revistes i Congressos UPC >
Revistes >
Mathware & soft computing >
1997, Vol. IV, Núm. 3 >

Quan citeu aquest document, utilitzeu la següent adreça: http://hdl.handle.net/2099/3492

Arxiu Descripció MidaFormat
Agustí.pdf288,54 kBAdobe PDFVeure/Obrir

Títol: Towards Specifying with Inclusions
Autor: Agustí Cullell, Jaume; Puigsegur i Figueras, Jordi; Schorlemmer, Wernher Marco Veure Producció científica UPC
Editorial: Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica
Tipus de document: Article
Resum: In this article we present a functional specification language based on inclusions between set expressions. Instead of computing with data individuals we deal with their classification into sets. The specification of functions and relations by means of inclusions can be considered as a generalization of the conventional algebraic specification by means of equations. The main aim of this generalization is to facilitate the incremental refinement of specifications. Furthermore, inclusional specifications admit a natural visual syntax which can also be used to visualize the reasoning process. We show that reasoning with inclusions is well captured by bi-rewriting, a rewriting technique introduced by Levy and Agustí [15]. However, there are still key problems to be solved in order to have executable inclusional specifications, necessary for rapid prototyping purposes. The article mainly points to the potentialities and difficulties of specifying with inclusions.
ISSN: 1134-5632
URI: http://hdl.handle.net/2099/3492
Apareix a les col·leccions:1997, Vol. IV, Núm. 3
Comparteix:


Stats Mostra les estadístiques d'aquest ítem

SFX Query

Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets.

Per a qualsevol ús que se'n vulgui fer no previst a la llei, dirigiu-vos a: sepi.bupc@upc.edu

 

Valid XHTML 1.0! Programari DSpace Copyright © 2002-2004 MIT and Hewlett-Packard Comentaris
Universitat Politècnica de Catalunya. Servei de Biblioteques, Publicacions i Arxius