English   español  
Por favor, use este identificador para citar o enlazar a este item: http://hdl.handle.net/10261/2228
Compartir / Impacto:
Estadísticas
Add this article to your Mendeley library MendeleyBASE
Ver citas en Google académico
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar otros formatos: Exportar EndNote (RIS)Exportar EndNote (RIS)Exportar EndNote (RIS)
Título : Towards specifying with inclusions.
Otros títulos: Hacia una especificación con inclusiones.
Autor : Agustí, Jaume; Puigsegur, Jordi; Schorlemmer, W. Marco
Palabras clave : Lenguajes formales
Lógica simbólica
Especificaciones
Registro gráfico
Inclusiones
Fecha de publicación : 1997
Editor: Universidad Politécnica de Cataluña
Citación : Mathware and Soft Computing 1997, 4 (3): 281-297.
Resumen: 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.
URI : http://hdl.handle.net/10261/2228
ISSN: 1154-5632
Aparece en las colecciones: (IIIA) Artículos
Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
towards.pdf261,66 kBAdobe PDFVista previa
Visualizar/Abrir
Mostrar el registro completo
 


NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.