DBLP entry

ACM AuthorProfile

Google Scholar

Volume Editor:

Service-oriented Systems V&V for OO Programming Timed Systems
Sef-Adaptive Systems Software Product Lines Reactive Systems
Software Architecture Data Cleaning&Migration Coordination

Service-oriented Systems

  • A Model for Dynamic Reconfiguration in Service-oriented Architectures

    J.L.Fiadeiro and A.Lopes, Software & Systems Modeling, Volume 12, Issue 2, pp 349-367, 2013

  • Consistency in Service Composition

    J.L.Fiadeiro and A.Lopes, in Juan de Lara and Andreas Zisman (Eds.), Proceedings of Fundamental Approaches to Software Engineering (FASE 2012), LNCS 7212, pp. 63-77. Springer-Verlag Berlin Heidelberg, 2012

  • A Formal Model for Service-oriented Interactions

    J.L.Fiadeiro, A.Lopes and J.Abreu, Science of Computer Programming, 77 (5), pp. 577-60, 2012

  • An Interface Theory for Service-oriented Design

    J.L.Fiadeiro and A.Lopes, in D. Gianopoulos and F.Orejas (Eds.), Proceedings of Fundamental Approaches to Software Engineering (FASE 2011), LNCS 6603, pp. 18-33. Springer-Verlag Berlin Heidelberg, 2011

  • The SENSORIA Reference Modelling Language

    J.L.Fiadeiro, A.Lopes, L.Bocchi and J.Abreu, in M.Wirsing and M.Holzl (Eds.), Rigorous Software Engineering for Service-Oriented Systems--Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, LNCS 6582, pp. 61-114, Springer Verlag Berlin Heildelberg 2011

  • A Model for Dynamic Reconfiguration in Service-oriented Architectures

    J.L.Fiadeiro and A.Lopes, in Proceedings of 4th European Conference on Software Architectures (ECSA 2010), M.A.Babar, I.Gorton (Eds..), LNCS 6285, Springer, pp. 70-85, 2010 Best paper award.

  • An Abstract Model of Service Discovery and Binding

    J.L.Fiadeiro, A.Lopes and L.Bocchi, Formal Aspects of Computing, 23 (4), pp. 433-463, 2011

  • Service-Oriented Modelling of Automotive Systems

    L.Bocchi, J.L.Fiadeiro, A.Lopes, Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC '08), pp. 1059-1064, IEEE Computer Society, 2008

  • A Use-Case Driven Approach to Formal Service-Oriented Modelling

    L.Bocchi, J.L.Fiadeiro, A.Lopes, Proceedings Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2008). Communications in Computer and Information Science 17, pp. 155-169, Springer link

  • Specifying and Composing Interaction Protocols for Service-Oriented System Modelling

    J.Abreu, L.Bocchi, J.L.Fiadeiro, A.Lopes, FORTE 2007: IFIP International Conference on Formal Methods for Networked and Distributed Systems , LNCS 4574, pp. 358-373, Springer, 2007

  • From BPEL to SRML: A Formal Transformational Approach

    L.Bocchi, Y. Hong, A.Lopes, J.L.Fiadeiro, 4th International Workshop on Web Services and Formal Methods (WS-FM), Brisbane, Australia, September 2007, LNCS, Springer, 2007

  • A Formal Approach to Service Component Architecture

    J.L.Fiadeiro, A.Lopes, L.Bocchi, 3rd International Workshop on Web Services and Formal Methods (WS-FM), Vienna, Austria, September 2006, LNCS 4184, pp. 193-213, Springer, 2006

  • Algebraic Semantics of Service Component Modules

    J.L.Fiadeiro, A.Lopes, L.Bocchi, Current Trends in Algebraic Development Techniques, LNCS 4409, pp. 37-55, Springer, 2006

  • Self-Adaptive Systems

  • Adaptation Impact and Environment Models for Architecture-Based Self-Adaptive Systems

    J. Camara, A.Lopes, D. Garlan and B. Schmerl, Science of Computer Programming,127,pp. 50 - 75, Elsevier, 2016.

  • Modelação de Sistemas Não-Deterministas Usando Aprendizagem Automatica.

    F. Duarte, R. Gil, P. Romano, L. Rodrigues e A. Lopes, Actas do 8º Encontro Nacional de Informática, INFORUM 2016, Lisboa, Portugal, Setembro de 2016.

  • Impact Models for Architecture-Based Self-Adaptive Systems

    J. Camara, A.Lopes, D. Garlan and B. Schmerl, in I.Lanese ans E.Madelaine, (Eds.), 11th International Symposium on 
Formal Aspects of Component Software (FACS), LNCS 8997,pp. 89 - 107, 2015. doi

  • Self-Management of Adaptable Component-Based Applications

    L. Rosa, L. Rodrigues, A.Lopes, M. Hiltunen, R. Schlichting, IEEE Transactions on Software Engineering 39(3), pp. 403-421, 2013.

  • Software Engineering for Self-Adaptive Systems: A second research roadmap

    R.Lemos et al, in R.Lemos, H.Giese and H.Muller, (Eds.), Software Engineering for Self-Adaptive Systems II, LNCS 7475, pp. 1-32, Springer-Verlag Berlin Heidelberg, 2013.

  • A Design Space for Adaptive Systems

    Y.Brun, R.Desmarais, K.Geihs, M.Litoiu, A.Lopes, M. Shaw, and M. Smith, in R.Lemos, H.Giese and H.Muller, (Eds.), Software Engineering for Self-Adaptive Systems II, LNCS 7475, pp. 33-50, Springer-Verlag Berlin Heidelberg, 2013.

  • Self-management of Distributed Systems Using High-level Goal Policies

    L.Rosa, L.Rodrigues and A.Lopes, in R.Lemos, H.Giese and H.Muller, (Eds.), Software Engineering for Self-Adaptive Systems II, LNCS 7475, pp. 162-190, Springer-Verlag Berlin Heidelberg, 2013.

  • Goal-oriented self-management of in-memory distributed data grid platforms

    L.Rosa, L.Rodrigues and A.Lopes, in Proceedings of 3rd IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2011), Athens, Greece, pp. 587-591, 2011

  • From Local Impact Functions to Global Adaptation of Service Compositions

    L.Rosa, L.Rodrigues, A.Lopes, M. Hiltunen and R.Schlicht, in Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009), Lyon, France, November 2009, LNCS 5873, Springer

  • Modelling Adaptive Services for Distributed Systems

    L.Rosa, A.Lopes and L.Rodrigues, in Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Ceara, Brazil, March 2008, pp. 2174-2180, ACM

  • A Framework to Support Multiple Reconfiguration Strategies

    L.Rosa, L.Rodrigues and A.Lopes, in First International Conference on Autonomic Computing and Communication Systems (Autonomics 2007), Rome, Italy, October 2007, ACM International Conference Proceeding Series, Vol. 302, 2007.

  • Building Adaptive Systems with Service Composition Frameworks

    L.Rosa, L.Rodrigues and A.Lopes, in Proc. 9th International Symposium on Distributed Objects, Middleware, and Applications (DOA 2007), Vilamoura, Portugal, November 2007, LNCS 4803, pp. 754-771, Springer, 2007

  • Policy-Driven Adaptation of Protocol Stacks

    L.Rosa, A.Lopes and L.Rodrigues, in Proc. IEEE International Conference on Autonomic and Autonomous Systems (ICAS 2006), Silicon Valley, USA, July 2006. IEEE Explore

  • Context adaptation of the communication stack

    J.Mocito, L.Rosa, N.Almeida, H.Miranda, L.Rodrigues and A.Lopes, in International Journal of Parallel, Emergent and Distributed System 21 (3), June 2006. Taylor & Francis Online Journals

  • Context Adaptation of the Communication Stack

    J.Mocito, L.Rosa, N.Almeida, H.Miranda, L.Rodrigues and A.Lopes, in Proc. 3rd International Workshop on Mobile Distributed Computing (MDC'05) (in conjunction with the 25th IEEE International Conference on Distributed Computing Systems, Columbus, Ohio, USA), pp. 652-655, IEEE Computer Society, 2005.

  • Software Architecture

    Event-based Architectures
  • A Formal Approach to Event-Based Architectures

    J.L.Fiadeiro and A.Lopes, in L.Baresi and R.Heckel (Eds.), Proc. Fundamental Approaches to Software Engineering (FASE'06), LNCS 3922, pp. 18-32, Springer, 2006

  • An Algebraic Semantics of Event-based Architectures

    J.L.Fiadeiro and A.Lopes, Mathematical Structures in Computer Science 17, pp. 1029-1073, Cambridge University Press, 2007 doi

  • Context-awareness
  • Context-awareness in Software Architectures

    A.Lopes and J.L.Fiadeiro, in R.Morrison and F.Oquendo (Eds.), Proc. 2nd European Workshop on Software Architectures, Languages, Styles, Models, Tools and Applications, LNCS 3527, pp. 146-161, Springer, 2005

  • Algebraic Semantics of Design Abstractions for Context-Awareness

    A.Lopes and J.L.Fiadeiro, in Recent Trends in Algebraic Development Techniques - 17th International Workshop - Selected Papers, LNCS 3423, pp. 79-93, Springer, 2004

  • Distribution and Mobility
  • Adding Mobility to Software Architectures

    A.Lopes and J.L.Fiadeiro, in Science of Computer Programming 61, pp. 114-135, Elsevier, 2006

  • CommUnity on the Move

    J.L.Fiadeiro and A.Lopes, in Second International Symposium on Formal Methods for Components and Objects, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, F.S.d.Boer, M.Bonsangue, S.Graf, W.-P.de Roever (Eds.), LNCS 3188, pp. 177-197, Springer, 2004

  • An Architectural Approach to Mobility - The Handover Case Study

    C.Oliveira, M.Wermelinger, J.L.Fiadeiro and A.Lopes, Proc. 4th Working IEEE/IFIP Conference on Software Architecture, pp. 305-308, IEEE Computer Society Press, 2004

  • AGILE:Software Architecture for Mobility

    L.Andrade, P.Baldan, H.Baumeister, R.Bruni, A.Corradini, R.De Nicola, J.L.Fiadeiro, F.Gadducci, S.Gnesi, P.Hoffman, N.Koch, P.Kosiuczenko, A.Lapadula, D.Latella, A.Lopes, M.Loreti, M.Massink, F.Mazzanti, U.Montanari, C.Oliveira, R.Pugliese, A.Tarlecki. M.Wermelinger, M.Wirsing, A.Zawlocki, Recent Trends in Algebraic Development Techniques – 16th International Workshop – Selected Papers, LNCS 2755, pp. 1-33, Springer-Verlag, 2003

  • Architectural Techniques for Evolving Control Systems

    L.Andrade, J.L.Fiadeiro, A.Lopes and M.Wermelinger, in G.Tarnai & E.Schnieder (Eds.), Formal Methods for Railway Operation and Control Systems, L'Harmattan Press, 2003

  • Adding Mobility to Software Architectures

    A.Lopes and J.L.Fiadeiro, Proc. 2nd Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'03), Electronic Notes in Theoretical Computer Science 97, pp. 241-258, 2004

  • Coordination for Distributed Business Systems

    L.F.Andrade, J.L.Fiadeiro, A.Lopes and M.Wermelinger, Proc. UMICS'03 (Ubiquitous Mobile Information and Collaboration Systems), CAiSE Workshops 2003

  • On how Distribution and Mobility interfere with Coordination

    A.Lopes and J.L.Fiadeiro, Recent Trends in Algebraic Development Techniques – 15th Workshop on ADTs – Selected Papers, LNCS 2755, pp. 343-358, Springer-Verlag, 2003

  • Architecural Primitives for Distribution and Mobility

    A.Lopes, J.L.Fiadeiro and M.Wermelinger, Proc. ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 10), pp. 41-50, ACM Press, 2002

  • Architectural Connectors
  • New Insights on Architectural Connectors

    R.Bruni, J.L.Fiadeiro, I.Lanese, A.Lopes and U.Montanari, Proc. IFIP TCS 2004, 3rd IFIP International Conference on Theoretical Computer Science, Kluwer Academics, 2004

  • Higher-order Connectors

    A.Lopes, M.Wermelinger and J.L.Fiadeiro, ACM Transactions on Software Engineering and Methodology 12 (1), pp. 64-104, 2003

  • A Mathematical Semantics for Architectural Connectors

    J.L.Fiadeiro, A.Lopes and M.Wermelinger, in Generic Programming, R.Backhouse and J.Gibbons (Eds.), LNCS 2793, pp. 190-234, Springer-Verlag, 2003

  • A Compositional Approach to Connector Construction

    A.Lopes, M.Wermelinger and J.L.Fiadeiro, Recent Trends in Algebraic Development Techniques – 14th Workshop on ADTs – Selected Papers, LNCS 2267, pp. 201-220, Springer-Verlag, 2001

  • Superposing Connectors

    M.Wermelinger, A.Lopes and J.L.Fiadeiro , Proc. 10th International Workshop on Software Specification and Design (IWSSD'2000), pp. 87-94, IEEE Computer Society Press, 2000

  • Semantics of Architectural Connectors

    J.L.Fiadeiro and A.Lopes, in M.Bidoit and M.Dauchet (Eds.), Proc. TAPSOFT'97, LNCS 1214, pp. 505-519, Springer-Verlag, 1997

  • Dynamic Reconfiguration
  • A Graph Based Architectural (Re)configuration Language

    M. Wermelinger, A.Lopes and J.Fiadeiro, Proc. 8th European Software Engineering, Conference / 9th Symposium on the Foundations of Software Engineering, pp. 21-32. ACM Press, 2001

  • A Graph Transformation Approach to Architectural Run-Time Reconfiguration

    M.Wermelinger, A.Lopes and J.Fiadeiro, Proc. of the Workshop on Formal Foundations of Software Evolution, pp. 59-66, 2001

  • CommUnity Approach
  • Architectural Design in CommUnity

    A.Lopes and J.L.Fiadeiro, in M.V.Cengarle, Proc. Requirements, Design, Correct Construction and Verification, pp. 1-12, Verlag UNI-DRUCK, Munchen 2000 (ISBN 3-87821-315-8)

  • Using Explicit State to Describe Architecture

    A.Lopes and J.L.Fiadeiro, in J.P.Finance (ed), Proc. Fundamental Approaches to Software Engineering (FASE'99), LNCS1577, pp. 144-160, Springer-Verlag, 1999

  • V&V for Object-oriented Programming

  • Specification-driven Unit Test Generation for Java Generic Classes

    F.Andrade, J.P.Faria, A.Lopes and A.Paiva, in D.Latella and H. Treharne (Eds..): Integrated Formal Methods, iFM 2012, Pisa, Italy, June 2012, LNCS 7321, pp. 296--311. Springer-Verlag Berlin Heidelberg, 2012

  • Runtime Verification for Generic Classes with ConGu2

    P.Crispim, A.Lopes and V.Vasconcelos, in J. Davies, L. Silva, and A. Simão (Eds..): Formal Methods: Foundations and Applications, Revised Selected Papers, 13th Brazilian Symposium on Formal Methods, SBFM 2010, Natal, Brasil, Nov. 2010, LNCS 6527, pp. 33--48. Springer-Verlag Berlin Heidelberg (2011)

  • Geração de Testes a partir de Especificações Algébricas de Tipos Genéricos usando Alloy

    F.Rebelo de Andrade, J.P.Faria, A.C.R.Paiva e A.Lopes, Actas do 3º Encontro Nacional de Informática, INFORUM 2011, Coimbra, Portugal, Setembro de 2011, TR, Universidade de Coimbra (2011)

  • Monitorização da Correcção de Classes Genéricas

    P.Crispim, A.Lopes e V.Vasconcelos, Actas do 2º Encontro Nacional de Informática, INFORUM 2010, Braga, Portugal, Setembro de 2010, TR, Universidade do Minho. Best Student Paper Award

  • Bridging the Gap between Specification and Object-oriented Generic Programming

    I.Nunes, A.Lopes and V.Vasconcelos, Runtime Verification, 9th International Workshop — Selected Papers, LNCS 5779, pp. 115-131, Springer, 2009

  • Testing Implementations of Algebraic Specifications with Design-By-Contract Tools

    I.Nunes, A.Lopes, V.Vasconcelos, J.Abreu and L.S. Reis, Technical Report DI/FCUL TR-05-22, Dep. Informatics, University of Lisbon, Dec 2005

  • Checking the Conformance of Java Classes Against Algebraic Specifications

    I.Nunes, A.Lopes, V.Vasconcelos, J.Abreu and L.S.Reis, Eighth International Conference on Formal Engineering Methods (ICFEM), Macau, China, October 2006, LNCS 4260, pp. 494-513, Springer, 2006

  • Software Product Lines

  • Automating Domain-Specific Modeling Support for Object-Oriented Frameworks

    A.L.Santos, K.Koskimies and A.Lopes, Journal of Systems and Software 83 (7), pp. 1078-1093, July 2010. doi.

  • Automated Domain-Specific Modeling Languages for Generating Framework-based Apllications

    A.L.Santos, K.Koskimies and A.Lopes, 12th International Software Product Line Conference (SPLC'08), Limerick, Irland, pp.149-158, IEEE, 2008.

  • Framework Specialization Aspects

    A.L.Santos, A.Lopes and K.Koskimies, 6th International Conference on Aspect-Oriented Software Development (AOSD'07), Vancouver, Canada, pp. 14-24, ACM Press, 2007

  • A Model-driven Approach to Variability Management in Product-line Engineering

    A.L.Santos, K.Koskimies and A.Lopes, Nordic Journal of Computing 13, pp. 196-213, December 2006

  • Modularizing Framework Hot Spots Using Aspects

    A.L.Santos, A.Lopes and K.Koskimies, Proc. XI Conference on Software Engineering and Databases (JISBD'06), Barcelona, Spain, Oct. 2006

  • Data Cleaning and Migration

  • Support for User Involvement in Data Cleaning

    H.Galhardas, A.Lopes and E. Santos, in Alfredo Cuzzocrea, Umeshwar Dayal (Eds..), Proceedings of the 13th International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2011), Toulouse, France, LNCS 6862, pp. 136-151, Springer, 2011.

  • One-to-many Data Transformation through Data Mappers

    P.Carreira, H.Galhardas, A.Lopes and J.Pereira, Data & Knowledge Engineering, 62 (3), pp. 483-503, Elsevier, Setember 2007

  • Data Mapper: an operator for expressing one-to-many data transformations

    P.Carreira, H.Galhardas, J.Pereira and A.Lopes, in A. Min Tjoa and Juan Trujillo (Eds.), Proceedings of the 7th International Conference on Data Warehousing and Knowledge Discovery (DaWaK 2005), Copenhagen, Denmark, LNCS 3589, pp. 136-145, Springer, 2005

  • Extending Relational Algebra to Express one-to-many Data Transformations

    P.Carreira, H.Galhardas, A.Lopes and J.Pereira, in Proceedings of Brazilian Symposium of DBs (SBBD'05), Uberlândia, Brazil, pp.145-159, 2005

  • Timed Systems

  • Dynamic Networks of Heterogeneous Timed Machines

    J.L.Fiadeiro, A.Lopes, B.Delahaye and A.Legay, Mathematical Structures in Computer Science, Cambridge University Press, May 2017

  • Heterogeneous and Asynchronous Networks of Timed Systems

    J.L.Fiadeiro and A.Lopes, Theoretical Computer Science 663, pp. 1-33, Elsevier, 2017

  • Heterogeneous Timed Machines

    B.Delahaye, J.L.Fiadeiro, A.Legay and A.Lopes, in G. Ciobanu and D. Méry(Eds.), Proceedings of 11th International Colloquium on Theoretical Aspects of Computing (ICTAC 2014), LNCS 8687, pp. 115-132. Springer International Publishing Switzerland, 2014

  • Heterogenous and Asynchronous Networks of Timed Systems

    J.L.Fiadeiro and A.Lopes, in S. Gnesi and A. Rensink (Eds.), Proceedings of Fundamental Approaches to Software Engineering (FASE 2014), LNCS 8411, pp. 79-93. Springer-Verlag Berlin Heidelberg, 2014

  • A Timed Component Algebra for Services

    B.Delahaye, J.L.Fiadeiro, A.Legay and A.Lopes, in D. Beyer and M. Boreale (Eds.), Proceedings of IFIP Joint Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2013), LNCS 7892, pp. 242-257. Springer-Verlag Berlin Heidelberg, 2013

  • Coordination

  • Coordination Patterns for Component-Based Systems

    L.Andrade, J.Fiadeiro, J.Gouveia, G.Koutsoukos, A.Lopes, M.Wermelinger, Proc. of the 5th Brasilian Symposium on Programming Languages, pp. B29-B39, Univ. Federal do Paraná, 2001

  • Patterns for Coordination

    L.F.Andrade, J.L.Fiadeiro, J.Gouveia, A.Lopes and M.Wermelinger, Coordination Languages and Models, LNCS 1906, pp. 317-322, Springer- Verlag, 2000

  • Algebraic Semantics of Coordination

    J.Fiadeiro and A.Lopes, in A. Haeber (ed), Proc. International Conference on Algebraic Methodology and Software Technology (AMAST'98), LNCS 1548, pp. 293-307, Springer-Verlag, 1998

  • Reactive Systems

  • Superposition: Composition vs Refinement of Non-deterministic, Action-Based Systems

    A.Lopes and J.L.Fiadeiro, Formal Aspects of Computing 16 (1), 5-18, Springer, April 2004 (extended version of ENTCS paper)

  • Superposition: Composition vs Refinement of Non-deterministic, Action-Based Systems

    A.Lopes and J.L.Fiadeiro, Electronic Notes in Theoretical Computer Science 70 No. 3, 2002

  • Revisiting the Categorical Approach to Systems

    A.Lopes and J.L.Fiadeiro, in H.Kirchner and C.Ringeiseen (Eds.), Proc. International Conference on Algebraic Methodology and Software Technology (AMAST'02), LNCS 2422, pp. 426-440, Springer-Verlag, 2002

  • Non Determinism and Compositionality in the Specification of Reactive Systems

    A.Lopes, PhD Thesis, University of Lisbon, January 1999

  • Preservation and Reflection in Specification

    A.Lopes and J.Fiadeiro, in M. Johnson (ed), Proc. International Conference on Algebraic Methodology and Software Technology (AMAST'97), LNCS 1349, pp. 380-394, Springer-Verlag, 1997

  • Synthesising Interconnections

    J.L.Fiadeiro, A.Lopes and T.Maibaum, in R.Bird and L.Meertens (Eds.), Proc. IFIP TC 2 Working Conference on Algorithmic Languages and Calculi, pp. 240-264, Chapman Hall, 1997

  • Specification of Required Non-determinism

    K.Lano, J.Bicarregui, J.Fiadeiro and A.Lopes, in J.Fitzgerald, C.Jones and P.Lucas (Eds.), Formal Methods Europe 1997, LNCS 1313, pp. 298-317, Springer-Verlag, 1997

  • From Temporal Specifications to Process Terms

    A.Lopes, J.F.Costa and J.L.Fiadeiro, in P-Y.Schobbens (ed), Proceedings of 1st MEDICIS Workshop, Namur, pp. 131-137, 1994

  • Process Semantic for Resolution

    A.Lopes, J.F.Costa and D.Montesi, in K.De Bosscher, J.-M.Jacquet and A.Brogi (Eds.), Proceedings of ICLP Workshop on Process-based Parallel Logic Programming Languages, St.Margherita Ligure, 91-114, 1994

  • Rewriting for Reuse

    A.Lopes and J.F.Costa, in J.Souquières (Eds.), Proceedings of ERCIM Workshop on Development and Transformation of Programs, Nancy, 43-55, 1993

  • Gentzen-type System for Verification in Conceptual Modeling and Knowledge Representation

    C.Sernadas, P.Gouveia and A.Lopes, in J.Goeers, A.Heuer, Gunter Saake (Eds.), Proceedings of the 3rd International Workshop on Foundations of Models and Languages for Data and Objects, Aigen (Austria), 215-228, TU Clausthal, 1991

  • Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling

    C.Sernadas, P.Gouveia and A.Lopes, in The Deductive Approach to Information Systems and Databases 90, 93-110, Universitat Politècnica de Catalunya, 1990.

  • The documents contained in this directory are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.