Science and Engineering Office

Filter
Conference contribution

Search results

  • 2008

    Preface to Fundamental approaches to software engineering

    Fiadeiro, J. & Inverardi, P., 21 Jul 2008, Fundamental Approaches to Software Engineering: 11th International Conference, FASE 2008. Vol. 4961 LNCS. 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

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

  • RBSLA based implementation for architectural management laws

    Alghamdi, A., Fiadeiro, J. L. & Paschke, A., 1 Sep 2008, Innovations'07: 4th International Conference on Innovations in Information Technology, IIT. p. 556-560 5 p. 4430371. (Innovations'07: 4th International Conference on Innovations in Information Technology, IIT).

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

  • Service-oriented modelling of automotive systems

    Bocchi, L., Fiadeiro, J. L. & Lopes, A., 8 Aug 2008, Proceedings - 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008. IEEE Computer Society, p. 1059-1064 6 p. 4591722. (Proceedings - International Computer Software and Applications Conference).

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

    20 Citations (Scopus)
  • What do semantics matter when the meat is overcooked?

    Fiadeiro, J. L., 1 Jul 2008, Concurrency, Graphs and Models - Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. p. 563-580 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5065 LNCS).

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

  • 2007

    Algebraic semantics of service component modules

    Fiadeiro, J. L., Lopes, A. & Bocchi, L., 2007, Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006, Revised Selected Papers. Fiadeiro, J. L. & Schobbens, P. Y. (eds.). Berlin: Springer Verlag, p. 37-55 19 p. (Lecture Notes in Computer Science; vol. 4409 LNCS).

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

    17 Citations (Scopus)
  • Structured Co-spans: An algebra of interaction protocols

    Fiadeiro, J. L. & Schmitt, V., 2007, Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Proceedings. Mossakowski, T., Montanari, U. & Haveraaen, M. (eds.). Berlin: Springer Verlag, p. 194-208 15 p. (Lecture Notes in Computer Science; vol. 4624).

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

    7 Citations (Scopus)
  • 2006

    A formal approach to event-based architectures

    Fiadeiro, J. L. & Lopes, A., 2006, Fundamental Approaches to Software Engineering: 9th International Conference, FASE 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings. Baresi, L. & Heckel, H. (eds.). Springer Verlag, p. 18-32 15 p. (Lecture Notes in Computer Science; vol. 3922).

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

    Open Access
    1 Citation (Scopus)
  • A formal approach to service component architecture

    Fiadeiro, J. L., Lopes, A. & Bocchi, L., 2006, Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Proceedings. Bravetti, M., Nunez, M. & Zavattaro, G. (eds.). Berlin: Springer Verlag, p. 193-213 21 p. (Lecture Notes in Computer Science; vol. 4184).

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

    51 Citations (Scopus)
  • Architectural handling of management concerns in service-driven business processes

    Al-Ghamdi, A. & Fiadeiro, J. L., 2006, Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems: Volume 1: MSVVEIS 2006 In Conjunction with ICEIS 2006. Barjis, J., Ultes-Nitsche, U. & Augusto, J. C. (eds.). p. 111-120 10 p.

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

    1 Citation (Scopus)
  • Physiological vs. Social complexity in software design

    Fiadeiro, J. L., 2006, Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2006. IEEE, p. 3 1 p. 1690349

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

    1 Citation (Scopus)
  • Preface

    Dustdar, S., Fiadeiro, J. & Sheth, A., 2006, Business Process Management: 4th International Conference, BPM 2006. Dustdar, S., Fiadeiro, J. L. & Sheth, A. P. (eds.). Berlin: Springer Verlag, 1 p. (Lecture Notes in Computer Science; vol. 4102).

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

  • Separating distribution from coordination and computation as architectural dimensions

    Fiadeiro, J. L., 2006, Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Proceedings. Wehrheim, H. & Gorrieri, R. (eds.). Springer Verlag, p. 17-17 1 p. (Lecture Notes in Computer Science; vol. 4037).

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

    Open Access
  • 2005

    Algebraic semantics of design abstractions for context-awareness

    Lopes, A. & Fiadeiro, J. L., 2005, Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers. Fiadeiro, J. L., Mosses, P. D. & Orejas, F. (eds.). Berlin: Springer Verlag, p. 79-93 15 p. (Lecture Notes in Computer Science; vol. 3423).

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

    4 Citations (Scopus)
  • Context-awareness in software architectures

    Lopes, A. & Fiadeiro, J. L., 2005, Software Architecture: 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005. Proceedings. Morrison, R. & Oquendo, F. (eds.). Berlin: Springer Verlag, p. 146-161 16 p. (Lecture Notes in Computer Science; vol. 3527).

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

    5 Citations (Scopus)
  • Preface

    Fiadeiro, J., Mosses, P. & Orejas, F., 2005, Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers. Fiadeiro, J. L., Mosses, P. D. & Orejas, F. (eds.). Springer Verlag, p. V-VI 2 p. (Lecture Notes in Computer Science; vol. 3423).

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

  • Software services: Scientific challenge or industrial hype?

    Fiadeiro, J. L., 2005, Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Paper. Liu, Z. & Araki, K. (eds.). Berlin: Springer Verlag, p. 1-13 13 p. (Lecture Notes in Computer Science; vol. 3407).

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

    6 Citations (Scopus)
  • 2004

    An architectural approach to mobility - The handover case study

    Oliveira, C., Wermelinger, M., Fiadeiro, J. L. & Lopes, A., 1 Jan 2004, Proceedings - Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004). IEEE Computer Society, p. 305-308 4 p.

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

    2 Citations (Scopus)
  • Community on the move: Architectures for distribution and mobility

    Fiadeiro, J. L. & Lopes, A., 1 Dec 2004, Formal Methods for Components and Objects. FMCO 2003. de Boer, F. S., Bonsangue, M. M., Graf, S. & de Roever, W. P. (eds.). Springer , Vol. 3188. p. 177-196 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

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

    10 Citations (Scopus)
  • Enhancing dependability through flexible adaptation to changing requirements

    Wermelinger, M., Koutsoukos, G., Lourenço, H., Avillez, R., Gouveia, J., Andrade, L. & Fiadeiro, J. L., 1 Jan 2004, Architecting Dependable Systems II. de Lemos, R., Gacek, C. & Romano, A. (eds.). Springer , Vol. 3069. p. 3-24 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3069).

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

    2 Citations (Scopus)
  • New insights on architectural connectors

    Bruni, R., Fiadeiro, J. L., Lanese, I., Lopes, A. & Montanari, U., 1 Jan 2004, Exploring New Frontiers of Theoretical Informatics: IFIP International Federation for Information Processing. Springer New York, Vol. 155. p. 367-380 14 p. (IFIP Advances in Information and Communication Technology; vol. 155).

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

    11 Citations (Scopus)
  • Problem frames: A case for coordination

    Barroca, L., Fiadeiro, J. L., Jackson, M., Laney, R. & Nuseibeh, B., 1 Dec 2004, Coordination Models and Languages: 6th International Conference, COORDINATION 2004. de Nicola, R., Ferrari, G. & Meredith, G. (eds.). Springer , Vol. 2949. p. 5-19 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

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

    9 Citations (Scopus)
  • 2003

    AGILE: Software architecture for mobility

    Andrade, L., Baldan, P., Baumeister, H., Bruni, R., Corradini, A., De Nicola, R., Fiadeiro, J. L., Gadducci, F., Gnesi, S., Hoffman, P., Koch, N., Kosiuczenko, P., Lapadula, A., Latella, D., Lopes, A., Loreti, M., Massink, M., Mazzanti, F., Montanari, U., Oliveira, C. & 5 others, Pugliese, R., Tarlecki, A., Wermelinger, M., Wirsing, M. & Zawłocki, A., 2003, Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers. Wirsing, M., Pattinson, D. & Hennicker, R. (eds.). Berlin: Springer Verlag, p. 1-33 33 p. (Lecture Notes in Computer Science; vol. 2755).

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

    19 Citations (Scopus)
  • Architecture based evolution of software systems

    Andrade, L. F. & Fiadeiro, J. L., 2003, Formal Methods for Software Architectures. Bernardo, M. & Inverardi, P. (eds.). Berlin: Springer Verlag, Vol. 2804. p. 148-181 34 p. (Lecture Notes in Computer Science).

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

    20 Citations (Scopus)
  • Using coordination contracts for flexible adaptation to changing business rules

    Wermelinger, M., Koutsoukos, G., Avillez, R., Gouveia, J., Andrade, L. & Fiadeiro, J. L., 1 Jan 2003, Proceedings - 6th International Workshop on Principles of Software Evolution, IWPSE 2003, in Association with ESEC/FSE 2003. Mikkonen, T., Godfrey, M. W. & Saeki, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 115-120 6 p. 1231217. (International Workshop on Principles of Software Evolution (IWPSE); vol. 2003-January).

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

    6 Citations (Scopus)
  • 2002

    A compositional approach to connector construction

    Lopes, A., Wermelinger, M. & Fiadeiro, J. L., 2002, Recent Trends in Algebraic Development Techniques: 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Selected Papers. Cerioli, M. & Reggio, G. (eds.). Berlin: Springer Verlag, p. 201-220 20 p. (Lecture Notes in Computer Science; vol. 2267).

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

    7 Citations (Scopus)
  • Algebraic support for service-oriented architecture (Extended abstract)

    Fiadeiro, J. L., 1 Jan 2002, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Kirchner, H. & Ringeissen, C. (eds.). Springer Verlag, p. 75-82 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2422).

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

    4 Citations (Scopus)
  • An architectural approach to auto-adaptive systems

    Andrade, L. & Fiadeiro, J. L., 2002, Proceedings - 22nd International Conference on Distributed Computing Systems Workshops, ICDCSW 2002. Wagner, R. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 439-444 6 p. 1030809. (Proceedings - International Conference on Distributed Computing Systems; vol. 2002-January).

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

    12 Citations (Scopus)
  • An architectural approach to fault treatment in critical infrastructures

    Fiadeiro, J. L., 2002, Dependable Computing - EDCC 4 - 4th European Dependable Computing Conference, Proceedings. Bondavalli, A. & Thevenod-Fosse, P. (eds.). Berlin: Springer Verlag, p. 86-87 2 p. (Lecture Notes in Computer Science; vol. 2485).

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

  • An Architectural Support for Self-Adaptive Software for Treating Faults

    De Lemos, R. & Fiadeiro, J. L., 1 Dec 2002, Proceedings of the first ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02). Garlan, D., Kramer, J. & Wolf, A. (eds.). p. 39-42 4 p. (Proceedings of the first ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02)).

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

    21 Citations (Scopus)
  • Coordination architecture for evolvable event-based systems

    Andrade, L. & Fiadeiro, J. L., 1 Jan 2002, Proceedings - 22nd International Conference on Distributed Computing Systems Workshops, ICDCSW 2002. Wagner, R. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 571-572 2 p. 1030827

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

  • Coordination for orchestration

    Andrade, L. F., Fiadeiro, J. L., Gouveia, J., Koutsoukos, G. & Wermelinger, M., 1 Jan 2002, Coordination Models and Languages - 5th International Conference, COORDINATION 2002, Proceedings. Talcott, C. & Arbab, F. (eds.). Springer Verlag, p. 5-13 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2315).

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

    9 Citations (Scopus)
  • Revisiting the categorical approach to systems

    Lopes, A. & Fiadeiro, J. L., 1 Jan 2002, Algebraic Methodology and Software Technology: 9th International Conference, AMAST 2002. Kirchner, H. & Ringeissen, C. (eds.). Springer Verlag, p. 426-440 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2422).

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

    5 Citations (Scopus)
  • The coordination development environment

    Gouveia, J., Koutsoukos, G., Wermelinger, M., Andrade, L. & Fiadeiro, J. L., 29 Apr 2002, Fundamental Approaches to Software Engineering - 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002 Proceedings. Kutsche, R-D. & Weber, H. (eds.). Springer Verlag, Vol. 2306. p. 323-326 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2306).

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

    Open Access
    2 Citations (Scopus)
  • 2001

    Coordination technologies for managing information system evolution

    Andrade, L. F. & Fiadeiro, J. L., 28 Jun 2001, Advanced Information Systems Engineering - 13th International Conference, CAiSE 2001, Proceedings. Dittrich, K. R., Geppert, A. & Norrie, M. C. (eds.). Berlin: Springer Verlag, Vol. 2068. p. 374-387 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2068).

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

    15 Citations (Scopus)
  • 2000

    Patterns for coordination

    Andrade, L. F., Fiadeiro, J. L., Gouveia, J., Lopes, A. & Wermelinger, M., 2000, Coordination Languages and Models: 4th International Conference, COORDINATION 2000, Proceedings. Porto, A. & Roman, G-C. (eds.). Springer Verlag, Vol. 1906. p. 317-322 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1906).

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

    16 Citations (Scopus)
  • Superposing connectors

    Wermelinger, M., Lopes, A. & Fiadeiro, J. L., Nov 2000, 10th International Workshop on Software Specification and Design, IWSSD 2000. Institute of Electrical and Electronics Engineers Inc., p. 87-94 8 p. 891129. (10th International Workshop on Software Specification and Design, IWSSD 2000).

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

    13 Citations (Scopus)
  • Towards a verification logic for rewriting logic

    Fiadeiro, J. L., Maibaum, T., Martí-Oliet, N., Meseguer, J. & Pita, I., 2000, Recent Trends in Algebraic Development Techniques - 14th International Workshop, WADT 1999, Selected Papers. Bert, D., Choppy, C. & Mosses, P. (eds.). Springer Verlag, Vol. 1827. p. 438-458 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1827).

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

    19 Citations (Scopus)
  • 1999

    Algebraic software architecture reconfiguration

    Wermelinger, M. & Fiadeiro, J. L., 1999, Software Engineering, ESEC/FSE 1999 - 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Proceedings. p. 393-409 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1687 LNCS).

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

    32 Citations (Scopus)
  • Interconnecting Objects Via Contracts

    Andrade, L. F. & Fiadeiro, J. L., 1999, UML'99: The Unified Modeling Language: Beyond the Standard. France, R. B. & Rumpe, B. (eds.). Berlin: Springer Verlag, p. 566-583 18 p. (Lecture Notes in Computer Science; vol. 1723).

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

    28 Citations (Scopus)
  • The role of diagnosis and decision theory in normative reasoning

    van der Torre, L. W. N., Ramos, P., Fiadeiro, J. L. & Tan, Y. H., 1999, Formal Models of Agents - ESPRIT Project ModelAge Final Workshop, Selected Papers. Meyer, J-J. C. & Schobbens, P-Y. (eds.). Berlin: Springer Verlag, Vol. 1760. p. 216-239 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1760).

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

  • Using explicit state to describe architectures

    Lopes, A. & Fiadeiro, J. L., 1999, FASE 1999: Fundamental Approaches to Software Engineering. Finance, JP. (ed.). Berlin: Springer Verlag, p. 144-160 17 p. (Lecture Notes in Computer Science; vol. 1577).

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

    14 Citations (Scopus)
  • 1998

    Algebraic semantics of coordination or what is in a signature

    Fiadeiro, J. L. & Lopes, A., 1998, Algebraic Methodology and Software Technology - 7th International Conference, AMAST 1998, Proceedings. Haeberer, A. M. (ed.). Berlin: Springer Verlag, p. 293-307 15 p. (Lecture Notes in Computer Science; vol. 1548).

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

    10 Citations (Scopus)
  • Towards an algebra of architectural connectors: A case study on synchronization for mobility

    Wermelinger, M. & Fiadeiro, J. L., 16 Apr 1998, Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998. Association for Computing Machinery, p. 135-143 9 p.

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

    8 Citations (Scopus)
  • 1997

    Coordinating durative actions

    Nunes, I., Fiadeiro, J. L. & Turski, W. M., 1997, COORDINATION 1997: Coordination Languages and Models. Garlan, D. & Le Métayer, D. (eds.). Berlin: Springer Verlag, p. 115-130 16 p. ( Lecture Notes in Computer Science; vol. 1282).

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

    2 Citations (Scopus)
  • Preservation and reflection in specification

    Lopes, A. & Fiadeiro, J. L., 1997, AMAST 1997: Algebraic Methodology and Software Technology. Johnson, M. (ed.). Berlin: Springer Verlag, p. 380-394 15 p. ( Lecture Notes in Computer Science; vol. 1349).

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

    6 Citations (Scopus)
  • Semantics of architectural connectors

    Fiadeiro, J. L. & Lopes, A., 1997, TAPSOFT '97: Theory and Practice of Software Development. Bidoit, M. & Dauchet, M. (eds.). Berlin: Springer Verlag, p. 503-519 17 p. (Lecture Notes in Computer Science; vol. 1214).

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

    40 Citations (Scopus)
  • Specification of required non-determinism

    Lano, K., Bicarregui, J., Fiadeiro, J. & Lopes, A., 1997, FME 1997: Industrial Applications and Strengthened Foundations of Formal Methods - 4th International Symposium of Formal Methods Europe, Proceedings. Fitzgerald, J., Jones, C. B. & Lucas, P. (eds.). Berlin: Springer Verlag, p. 298-317 20 p. (Lecture Notes in Computer Science; vol. 1313).

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

    2 Citations (Scopus)
  • 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