| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Antoni Olivé Antoni Olivé: Conceptual Schema-Centric Development: A Grand Challenge for Information Systems Research. CAiSE 2005 : 1-15 Antoni Olivé: On the Role of Conceptual Schemas in Information Systems Development. Ada-Europe 2004 : 16-34 Jordi Conesa , Antoni Olivé: A General Method for Pruning OWL Ontologies. CoopIS/DOA/ODBASE (2) 2004 : 981-998 Jordi Conesa , Antoni Olivé: Pruning Ontologies in the Development of Conceptual Schemas of Information Systems. ER 2004 : 122-135 Antoni Olivé: Definition of Events and Their Effects in Object-Oriented Conceptual Modeling Languages. ER 2004 : 136-149 Marcela Genero , Fabio Grandi , Willem-Jan van den Heuvel , John Krogstie , Kalle Lyytinen , Heinrich C. Mayr , Jim Nelson , Antoni Olivé, Mario Piattini , Geert Poels , John F. Roddick , Keng Siau , Masatoshi Yoshikawa , Eric S. K. Yu : Advanced Conceptual Modeling Techniques, ER 2002 Workshops: ECDM, MobIMod, IWCMQ, and eCOMO, Tampere, Finland, October 7-11, 2002, Revised Papers Springer 2003 Antoni Olivé: Derivation Rules in Object-Oriented Conceptual Modeling Languages. CAiSE 2003 : 404-420 Jordi Conesa , Xavier de Palol , Antoni Olivé: Building Conceptual Schemas by Refining General Ontologies. DEXA 2003 : 693-702 Antoni Olivé: Integrity Constraints Definition in Object-Oriented Conceptual Modeling Languages. ER 2003 : 349-362 Jordi Cabot , Antoni Olivé, Ernest Teniente : Entity Types Derived by Symbol-Generating Rules. ER 2003 : 376-389 Cristina Gómez , Antoni Olivé: Evolving Derived Entity Types in Conceptual Schemas in the UML. OOIS 2003 : 33-45 Jordi Cabot , Antoni Olivé, Ernest Teniente : Representing Temporal Information in UML. UML 2003 : 44-59 Cristina Gómez , Antoni Olivé: Evolving Partitions in Conceptual Schemas in the UML. CAiSE 2002 : 467-483 Antoni Olivé: Representation of Generic Relationship Types in Conceptual Modeling. CAiSE 2002 : 675-691 Antoni Olivé: Specific Relationship Types in Conceptual Modeling: The Cases of Generic and with Common Participants. ICEIS 2002 : 9 Antoni Olivé, Ernest Teniente : Derived types and taxonomic constraints in conceptual modeling. Inf. Syst. 27 (6): 391-409 (2002) Antoni Olivé: Taxonomies and Derivation Rules in Conceptual Modeling. CAiSE 2001 : 417-432 Dolors Costal , Antoni Olivé, Ernest Teniente : Relationship Type Refinement in Conceptual Models with Multiple Classification. ER 2001 : 397-411 Juan-Ramón López , Antoni Olivé: A Framework for the Evolution of Temporal Conceptual Schemas of Information Systems. CAiSE 2000 : 369-386 Antoni Olivé: Relationship Reification: A Temporal View. CAiSE 1999 : 396-410 Antoni Olivé, Dolors Costal , Maria-Ribera Sancho : Entity Evolution in ISA Hierarchies. ER 1999 : 62-80 Antoni Olivé, Maria-Ribera Sancho : Porting ROSES to UML - An Experience Report. UML 1998 : 64-77 Antoni Olivé, Maria-Ribera Sancho : Special Issue on Advanced Information Systems Engineering. Inf. Syst. 23 (3-4): 157-158 (1998) Antoni Olivé, Joan Antoni Pastor : Advanced Information Systems Engineering, 9th International Conference CAiSE'97, Barcelona, Catalonia, Spain, June 16-20, 1997, Proceedings Springer 1997 Dolors Costal , Maria-Ribera Sancho , Antoni Olivé, Miguel Barceló , Pablo Costa , Carme Quer , Anna Roselló : The Cause-Effect Rules of ROSES. ADBIS 1997 : 399-405 Dolors Costal , Maria-Ribera Sancho , Antoni Olivé, Anna Roselló : The Role of Structural Events in Behaviour Specification. DEXA 1997 : 673-686 Dolors Costal , Antoni Olivé, Maria-Ribera Sancho : Temporal Features of Class Populations and Attributes in Conceptual Models. ER 1997 : 57-70 Dolors Costal , Antoni Olivé: Planning Based on View Updating in Deductive Databases. ISMIS 1997 : 348-359 Pablo Costa , Miguel Barceló , Dolors Costal , Antoni Olivé, Carme Quer , Anna Roselló , Maria-Ribera Sancho : Las Clases de Objetos en ROSES. JIDBD 1996 : 98-108 Antoni Olivé, Maria-Ribera Sancho : Validating Conceptual Specifications Through Model Execution. Inf. Syst. 21 (2): 167-186 (1996) Antoni Olivé, Maria-Ribera Sancho : A Method for Explaining the Behaviour of Conceptual Models CAiSE 1995 : 12-25 Joan Antoni Pastor , Antoni Olivé: Supporting Transaction Design in Conceptual Modelling of Information Systems CAiSE 1995 : 40-53 Ernest Teniente , Antoni Olivé: Updating Knowledge Bases While Maintaining Their Consistency VLDB J. 4 (2): 193-241 (1995) Maria-Ribera Sancho , Antoni Olivé: Deriving Transaction Specifications from Deductive Conceptual Models of Information Systems CAiSE 1994 : 311-324 Toni Urpí , Antoni Olivé: Semantic Change Computation Optimization in Active Databases. RIDE-ADS 1994 : 19-27 Carme Quer , Antoni Olivé: Deteriming Object Interaction in Object-Oriented Deductive Conceptual Models. Inf. Syst. 19 (3): 211-227 (1994) Carme Quer , Antoni Olivé: Object Interaction in Object-Oriented Deductive Conceptual Models CAiSE 1993 : 374-396 Dolors Costal , Antoni Olivé: A Method for Reasoning About Deductive Conceptual Models of Information Systems. CAiSE 1992 : 612-631 Ernest Teniente , Antoni Olivé: The Events Method for View Updating in Deductive Databases. EDBT 1992 : 245-260 Toni Urpí , Antoni Olivé: A Method for Change Computation in Deductive Databases. VLDB 1992 : 225-237 Toni Urpí , Antoni Olivé: Evants and Events rules in Active Databases. IEEE Data Eng. Bull. 15 (1-4): 56-59 (1992) Antoni Olivé: Integrity Constraints Checking In Deductive Databases. VLDB 1991 : 513-523 Antoni Olivé, Joan Antoni Pastor : Integrity Constraints Checking in Deductive Databases with the Internal Events Method. FMLDO 1990 : 139-168 Antoni Olivé: On the design and implementation of information systems from deductive conceptual models. VLDB 1989 : 3-11 Antoni Olivé: A formal approach to timing analysis and design of information systems. Inf. Syst. 12 (1): 1-10 (1987) Antoni Olivé: A Comparison of the Operational and Deductive Approaches to Conceptual Information Systems Modelling. IFIP Congress 1986 : 91-96 Antoni Olivé: Information Derivability Analysis In Logical Information Systems. Commun. ACM 26 (11): 933-938 (1983) Antoni Olivé: Input output timing in information systems. Inf. Syst. 8 (4): 263-272 (1983) Antoni Olivé, Fèlix Saltor : Formal verification of information derivability in databases using precedence analyses. Inf. Syst. 7 (3): 209-215 (1982) 1 [ 21 ] [ 25 ] 2 [ 38 ] [ 40 ] 3 [ 42 ] [ 46 ] [ 47 ] 4 [ 21 ] [ 25 ] 5 [ 12 ] [ 21 ] [ 22 ] [ 23 ] [ 24 ] [ 25 ] [ 29 ] [ 32 ] 6 [ 44 ] 7 [ 37 ] [ 39 ] 8 [ 44 ] 9 [ 44 ] 10 [ 44 ] 11 [ 31 ] 12 [ 44 ] 13 [ 44 ] 14 [ 44 ] 15 [ 42 ] 16 [ 7 ] [ 18 ] [ 26 ] 17 [ 44 ] 18 [ 44 ] 19 [ 13 ] [ 14 ] [ 21 ] [ 25 ] 20 [ 44 ] 21 [ 21 ] [ 24 ] [ 25 ] 22 [ 1 ] 23 [ 16 ] [ 19 ] [ 20 ] [ 21 ] [ 23 ] [ 24 ] [ 25 ] [ 27 ] [ 28 ] [ 29 ] 24 [ 44 ] 25 [ 11 ] [ 17 ] [ 32 ] [ 34 ] [ 38 ] [ 40 ] 26 [ 9 ] [ 10 ] [ 15 ] 27 [ 44 ] 28 [ 44 ]  ©2005 Association for Computing Machinery |
