English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/2228
Share/Impact:
Statistics
logo share SHARE   Add this article to your Mendeley library MendeleyBASE
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar a otros formatos:

Title

Towards specifying with inclusions.

Other TitlesHacia una especificación con inclusiones.
AuthorsAgusti, Jaume ; Puigsegur, Jordi; Schorlemmer, Marco
KeywordsLenguajes formales
Lógica simbólica
Especificaciones
Registro gráfico
Inclusiones
Issue Date1997
PublisherUniversidad Politécnica de Cataluña
CitationMathware and Soft Computing 1997, 4 (3): 281-297.
AbstractIn 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.
URIhttp://hdl.handle.net/10261/2228
ISSN1154-5632
Appears in Collections:(IIIA) Artículos
Files in This Item:
File Description SizeFormat 
towards.pdf261,66 kBAdobe PDFThumbnail
View/Open
Show full item record
Review this work
 


WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.