Now showing items 1-9 of 9

    • A module concept within the initial behaviour framework 

      Nivela Alós, M. Pilar Brígida; Orejas Valdés, Fernando (1988)
      External research report
      Open Access
      A 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 

      Nivela Alós, M. Pilar Brígida; Orejas Valdés, Fernando (E.T.S.I. de Telecomunicación, 1985)
      Conference report
      Open Access
      En 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 

      Ehrig, Hartmut; Nivela Alós, M. Pilar Brígida; Orejas Valdés, Fernando (1988-07)
      External research report
      Open Access
      The 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.) 

      Nivela Alós, M. Pilar Brígida (Universitat Politècnica de Catalunya, 2002-01-15)
      Exam
      Restricted access to the UPC academic community
    • COMPILADORS II (Examen 1r quadrim.) 

      Nivela Alós, M. Pilar Brígida (Universitat Politècnica de Catalunya, 2002-01-15)
      Exam
      Restricted access to the UPC academic community
    • Constraints for behavioural specifications 

      Orejas Valdés, Fernando; Nivela Alós, M. Pilar Brígida (1990)
      External research report
      Open Access
      Behavioural 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 ...
    • Ejercicios de standard ML 

      Nivela Alós, M. Pilar Brígida (1990)
      External research report
      Open Access
    • On translating partial to total specifications with applications to theorem proving for partial specifications 

      Navarro Gómez, Marisa; Nivela Alós, M. Pilar Brígida; Orejas Valdés, Fernando (1989-09-12)
      External research report
      Open Access
      In 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) 

      Castro Rabal, Jorge; Farreres de la Morena, Xavier; Gabarró Vallès, Joaquim; Nivela Alós, M. Pilar Brígida; Pérez Poch, Antoni; Pino Blanco, Elvira; Rivero Almeida, José Miguel (Asociación de Enseñantes Universitarios de la Informática (AENUI), 2018)
      Conference report
      Open Access
      Since 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 ...