Science and Engineering Office

Filter
Conference contribution

Search results

  • 1997

    Synthesising interconnections

    Fiadeiro, J. L., Lopes, A. & Maibaum, T. S. E., 1997, Algorithmic Languages and Calculi. Bird, R. S. & Meertens, L. (eds.). Springer , p. 240-264 25 p. (IFIP Advances in Information and Communication Technology).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1996

    A mathematical toolbox for the software architect

    Fiadeiro, J. L. & Maibaum, T., 22 Mar 1996, Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996. Association for Computing Machinery, p. 46-55 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    30 Citations (Scopus)
  • Extending B AMN with concurrency

    Lano, K., Fiadeiro, J. & Dick, J., 1996, Advances in the theory and formal methods of computing. Edalat, A., Jourdan, S. & McCusker, G. (eds.). London: Imperial College Press, p. 228-239 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • On the Emergence of Properties in Component-Based Systems

    Fiadeiro, J. L., 1996, AMAST 1996: Algebraic Methodology and Software Technology. Berlin: Springer Verlag, p. 421-443 23 p. (Lecture Notes in Computer Science; vol. 1101).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    12 Citations (Scopus)
  • Unifying Theories in Different Institutions

    Arrais, M. & Fiadeiro, J. L., 1996, Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers. Haveraaen, M., Owe, O. & Dhal, O. J. (eds.). Springer Verlag, p. 81-101 21 p. (Lecture Notes in Computer Science; vol. 1130).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    19 Citations (Scopus)
  • 1995

    Institutions for Behaviour Specification

    Fiadeiro, J. L. & Costa, J. F., 1995, ADT 1994, COMPASS 1994: Recent Trends in Data Type Specification. Astesiano, E., Reggio, G. & Tarlecki, A. (eds.). Springer Verlag, p. 273-289 17 p. (Lecture Notes in Computer Science; vol. 906).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Citations (Scopus)
  • Interconnecting formalisms: Supporting modularity, reuse and incrementality

    Fiadeiro, J. L. & Maibaum, T., 1995, Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering. New York: ACM Press, p. 72-80 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    33 Citations (Scopus)
  • Reuse of requirements and specifications - a formal framework

    Paredes, C. & Fiadeiro, J. L., 1995, Proceedings of the ACM SIGSOFT Symposium on Software Reusability. New York: Association for Computing Machinery (ACM), p. 263-266 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Citations (Scopus)
  • 1994

    Sometimes “tomorrow” is “sometime”: Action refinenent in a temporal logic of objects

    Fiadeiro, J. L. & Maibaum, T., 1 Jan 1994, Temporal Logic - 1st International Conference, ICTL 1994, Proceedings. Gabbay, D. M. & Ohlbach, H. J. (eds.). Springer Verlag, p. 48-66 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 827 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    37 Citations (Scopus)
  • 1993

    Declarative semantics of interoperable data- and knowledge-bases

    Reichwein, G., Fiadeiro, J. L. & Rohen, M., 1993, Proceedings - International Conference on Intelligent and Cooperative Information Systems, ICICIS 1993. Schlageter, G., Papazoglou, M. P. & Huhns, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 291-299 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • Process semantics of temporal logic specification

    Fiadeiro, L., Costa, J. F., Sernadas, A. & Maibaum, T. S. E., 1993, Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop. Bidoit, M. & Choppy, C. (eds.). Berlin: Springer Verlag, p. 236-253 18 p. (Lecture Notes in Computer Science; vol. 655).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    7 Citations (Scopus)
  • 1991

    Describing, structuring and implementing objects

    Fiadeiro, J. & Maibaum, T., 1991, REX 1990: Workshop/School/Symposium of the REX Project (Research and Education in Concurrent Systems). Springer , Vol. 489. p. 274-310 37 p. (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); vol. 489).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    32 Citations (Scopus)
  • Sharing attributes and actions in modal action logic

    Ryan, M., Fiadeiro, J. & Maibaum, T., 1991, International Symposium on Theoretical Aspects of Computer Software: TACS 1991. Springer , Vol. 526. p. 569-593 25 p. (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); vol. 526).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    31 Citations (Scopus)
  • 1989

    The basic building blocks of information systems

    Sernadas, A., Fiadero, J., Sernadas, C., Ehrich, H. D. & Falkenberg, E. D. (ed.), 1 Oct 1989, Information System Concepts: an in-depth analysis. AMSTERDAM: Elsevier Science Publishers, 22 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1988

    Knowledgebases as structured theories

    Fiadeiro, J., Sernadas, A. & Sernadas, C., 1988, Foundations of Software Technology and Theoretical Computer Science. Vol. 338. p. 469-486 18 p. (Lecture Notes in Computer Science; vol. 338).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)
  • Object-Oriented Conceptual Modeling from Law

    Sernadas, C., Fiadeiro, J. L. & Sernadas, A., 1988, Artificial Intelligence in Databases and Information Systems (DS-3): Proceedings of the IFIP TC2/TC8/WG2.6/WG8.1 Working Conference on the Role of Artificial Intelligence in Databases and Information Systems. Meersman, R., Shi, Z. & Kung, C. (eds.). North-Holland Publishing Company, p. 305-327 23 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Structuring theories on consequence

    Fiadeiro, J. & Sernadas, A., 1988, Recent Trends in Data Type Specification. Berlin: Springer , Vol. 332. p. 44-72 29 p. ( Lecture Notes in Computer Science; vol. 332).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    76 Citations (Scopus)
  • 1987

    Behavioural Aspects of Intelligent Knowledge-Based Information Systems

    Fiadeiro, J. L. & Sernadas, A., 1987, Temporal Ascpects in Information Systems, Proceedings of the IFIP TC 8/WG 8.1 Working Conference on Temporal Aspects in Information Systems. Rolland, C., Bodart, F. & Leonard, M. (eds.). North-Holland: Elsevier, p. 77-92 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1986

    Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure

    Sernadas, A., Sernadas, C. & Fiadeiro, J. L., 1986, Proceedings of the 4st Workshop on Abstract Data Type.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Varying Representation Schemata vs Fact Updating in KB Management

    Carapuça, R. & Fiadeiro, J. L., 1986, Data and knowledge (DS-2): proceedings of the Second IFIP 2.6 Working Conference on Database Semantics. Amsterdam: Elsevier Science Publishers, p. 71-87 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution