Browsing by Author "Nivela Alós, M. Pilar Brígida"
Now showing items 1-10 of 10
-
A module concept within the initial behaviour framework
(1988)
Research report
Open AccessA module concept is defined which anables the description of the whole design of software systems, that is, not only the specifications of problem requirements but also the specification of the process of implementation ... -
Anotaciones de Merlín, comportamiento de universos y semántica algebraica
(E.T.S.I. de Telecomunicación, 1985)
Conference report
Open AccessEn este trabajo se presentan las ideas básicas seguidas para el diseño de un lenguaje de anotaciones para el lenguaje de programación Merlín. En concreto, las anotaciones se prevén en forma de especificaciones ecuacionales ... -
Behavioural approach to modular system specification
(1988-07)
Research report
Open AccessThe algebraic approach to modular specifications as developed by the first author during the last five years is joined with the behavioural approach to algebraic specifications introduced recently by the last two authors. ... -
COMPILADORS II (Examen 1r quadrim.)
(Universitat Politècnica de Catalunya, 2002-01-15)
Exam
Restricted access to the UPC academic community -
COMPILADORS II (Examen 1r quadrim.)
(Universitat Politècnica de Catalunya, 2002-01-15)
Exam
Restricted access to the UPC academic community -
Constraints for behavioural specifications
(1990)
Research report
Open AccessBehavioural specifications with constraints for the incremental development of algebraic specifications are presented. The behavioural constraints correspond to the completely defined subparts of a given incomplete behavioural ... -
Efficient deduction in equality Horn logic by Horn-completion
(1991)
Research report
Open AccessWe present a new unfailing completion procedure for Horn clauses with equality, including goal clauses. It is refutationally complete, and improves previous methods in that superpositions are computed only with unconditional ... -
Ejercicios de standard ML
(1990)
Research report
Open Access -
On translating partial to total specifications with applications to theorem proving for partial specifications
(1989-09-12)
Research report
Open AccessIn this paper it is shown how partial specifications (with strong equations) can be translated into total ones. This translation is proven to be sound and complete, in the sense that a theorem is valid for all models of ... -
Ordocoordinación: cómo organizar 700 estudiantes en un nuevo campus (y no morir en el intento)
(Asociación de Enseñantes Universitarios de la Informática (AENUI), 2018)
Conference report
Open AccessSince Autumn Term 2017 the Department of Computer Science of the Universitat Politecnica de Catalunya UPC-BarcelonaTech is in charge of teaching ”Fundamentals of Programming” in the new DiagonalBeso ´s Campus, at EEBE ...
