Exploració per autor "Olivé Ramon, Antoni"Més informacióMés informació

Ara es mostren els items 53-67 de 67

    • Reports de la recerca a Catalunya 2003-2009: Tecnologies de la informació i de les comunicacions 

      Olivé Ramon, Antoni (2014-10)
      Report de recerca
      Accés obert
      L’informe manté l’estructura, l’enfocament i la composició de l’àmbit d’estudi de les tecnologies de la informació i de les comunicacions (TIC) de la primera i la segona edició dels Reports de la recerca a Catalunya. No ...

    • Siete interrogantes de la informática de gestión 

      Costa Romero de Tejada, Manuel; Olivé Ramon, Antoni (Asociación de Técnicos de Informática, 1974-11)
      Article
      Accés obert

    • Sistemes d'informació 

      Olivé Ramon, Antoni (Asociación de Técnicos de Informática, 1980)
      Article
      Accés obert

    • Supporting transaction design in conceptual modelling of information systems 

      Pastor Collado, Juan Antonio; Olivé Ramon, Antoni (1995-03)
      Report de recerca
      Accés obert
      A method and a tool for supporting transaction design in conceptual modelling of information systems is presented. The method derives automatically a transaction specification that integrates in a uniform manner the updating ...

    • Survey on requirements engineering and conceptual modeling in practice 

      Tort Pugibet, Albert; Olivé Ramon, Antoni; Pastor Collado, Juan Antonio (2013-06-28)
      Report de recerca
      Accés obert
      This questionnaire aims to collect opinions of students from the Barcelona School of Informatics (FIB) who attended the Requirements Engineering course and that have participated in professional software development projects. ...

    • Temporal features of class populations and attributes in conceptual models 

      Costal Costa, Dolors; Olivé Ramon, Antoni; Sancho Samsó, María Ribera (1997-07)
      Report de recerca
      Accés obert
      Constraints play an important role in conceptual modeling. In general, the specification of constraints, both static and transition, must be done in some logic-based language. Unfortunately, the resulting formulas may be ...

    • The conceptual schema of Ethereum 

      Olivé Ramon, Antoni (Springer, 2020)
      Text en actes de congrés
      Accés obert
      There is an abundant literature on Ethereum, but as far as we know what is missing is its explicit conceptual schema. We present here the conceptual schema of Ethereum in UML. The schema should be useful to those that ...

    • The CSTL processor: a tool for automated conceptual schema testing 

      Tort Pugibet, Albert; Olivé Ramon, Antoni; Sancho Samsó, María Ribera (Springer, 2011)
      Comunicació de congrés
      Accés restringit per política de l'editorial
      In this demonstration paper, we present the CSTL Processor, a tool to support the validation of two fundamental quality properties of conceptual schemas (correctness and completeness) by testing. The CSTL Processor supports ...

    • The Odissea approach to the design of information systems from deductive conceptual models 

      Sancho Samsó, María Ribera; Olivé Ramon, Antoni (1993-06)
      Report de recerca
      Accés obert
      This paper describes the general framework and some details of the ODISSEA approach to conceptual modelling and design of information systems. We use a logic-based language for the specification of conceptual models and ...

    • The universal ontology: A vision for conceptual modeling and the semantic web 

      Olivé Ramon, Antoni (Springer, 2017)
      Text en actes de congrés
      Accés obert
      This paper puts forward a vision of a universal ontology (UO) aiming at solving, or at least greatly alleviating, the semantic integration problem in the field of conceptual modeling and the understandability problem in ...

    • UML profile for MIF static models 

      Villegas Niño, Antonio; Olivé Ramon, Antoni (2014-05)
      Article
      Accés restringit per política de l'editorial
      This article summarizes our contribution to the 2012-2013 HL7 Tooling Challenge “Produce a UML Profile for MIF Static Models”. The main goal of the profile is to enable the representation in UML of the MIF static models. ...

    • UML profile for MIF static models. Version 1.0 

      Villegas Niño, Antonio; Olivé Ramon, Antoni (2013-09-26)
      Report de recerca
      Accés obert
      HL7 provides standards for interoperability that improve care delivery, optimize workflow, reduce ambiguity and enhance knowledge transfer among all of our stakeholders, including healthcare providers, government agencies, ...

    • Una àlgebra informacional per al disseny lògic de sistemes d'informació 

      Olivé Ramon, Antoni (Universitat Politècnica de Catalunya, 1978-07-21)
      Tesi
      Accés obert
      Es plantegen cinc problemes: 1. Modelació d'estructures d’informació, 2. Definició d'un cert nombre de meta-regles, 3. Modelació de regles particulars, 4. Definició de conjunts d’informació, 5. Definició de processos. ...

    • Understanding constraint expressions in large conceptual schemas by automatic filtering 

      Villegas Niño, Antonio; Olivé Ramon, Antoni; Sancho Samsó, María Ribera (Springer, 2012)
      Text en actes de congrés
      Accés obert
      Human understanding of constraint expressions (also called schema rules) in large conceptual schemas is very di cult. This is due to the fact that the elements (entity types, attributes, relationship types) involved in an ...

    • Updating knowledge bases while maintaining their consistency 

      Teniente López, Ernest; Olivé Ramon, Antoni (1994-04)
      Report de recerca
      Accés obert
      In this paper we propose a new method for updating knowledge bases while maintaining their consistency. Our method can be used for integrity constraints maintenance, view updating, and their combination. It can also be ...