Science and Engineering Office

Filter
Chapter

Search results

  • 2020

    Reawakening of plasmonic nanocomposites with the polarizonic reflective coloration: from metal to molecules

    Elbahri, M., Hedayati, M. K., Homaeigohar, S. & Abdelaziz, M., 2020, Cluster Beam Deposition of Functional Nanomaterials and Devices. Milani, P. & Sowwan, M. (eds.). Elsevier, Vol. 15. p. 185-214 30 p. (Frontiers of Nanoscience).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2019

    Logical Support for Bike-Sharing System Design

    Ţuţu, I., Chiriţă, C. E., Lopes, A. & Fiadeiro, J. L., 2019, From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. ter Beek, M. H., Fantechi, A. & Semini, L. (eds.). Switzerland: Springer Verlag, p. 152-171 20 p. (Lecture Notes in Computer Science; vol. 11865).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    2 Citations (Scopus)
    40 Downloads (Pure)
  • 2012

    The many faces of complexity in software design

    Luiz Fiadeiro, J., 1 Jan 2012, Conquering Complexity. Hinchey, M. & Coyle, L. (eds.). Springer-Verlag London Ltd, p. 3-47 45 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    6 Citations (Scopus)
  • Using an Infra-red Sensor to Measure the Dynamic Behaviour of N2O Gas Escaping Through Different Sized Holes

    Slade, A., Vorstius, J., Gonçalves, D. & Thomson, G., 29 Mar 2012, Technologies for Medical Sciences. Natal Jorge, R. M., Tavares, J. M. R. S., Barbosa, M. P. & Slade, A. P. (eds.). Dordrecht: Springer , p. 159-177 19 p. (Lecture Notes in Computational Vision and Biomechanics; vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2011

    Analysing time-related properties of service-oriented systems

    Bocchi, L., Fiadeiro, J., Solanki, M., Gilmore, S., Abreu, J. & Vankayala, V., 1 Dec 2011, Handbook of Research on Service-Oriented Systems and Non-Functional Properties: Future Directions. IGI Global, p. 36-60 25 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • The sensoria reference modelling language

    Fiadeiro, J., Lopes, A., Bocchi, L. & Abreu, J., 9 Nov 2011, Rigorous Software Engineering for Service-Oriented Systems. Wirsing, M. & Holzl, M. (eds.). Springer , p. 61-114 54 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6582).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    11 Citations (Scopus)
  • 2003

    A mathematical semantics for architectural connectors

    Fiadeiro, J. L., Lopes, A. & Wermelinger, M., 2003, A Mathematical Semantics for Architectural Connectors. Berlin: Springer Verlag, p. 178-221 44 p. (Lecture Notes in Computer Science; vol. 2793).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    28 Citations (Scopus)
  • Coordination technologies for just-in-time integration

    Fiadeiro, J. L., 2003, Formal Methods at the Crossroads: From Panacea to Foundational Support. Aichernig, B. K. & Maibaum, T. (eds.). Berlin: Springer Verlag, p. 308-321 14 p. (Lecture Notes in Computer Science; vol. 2757).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Evolving requirements through coordination contracts

    Moreira, A., Fiadeiro, J. L. & Andrade, L., 2003, Advanced Information Systems Engineering: 15th International Conference, CAiSE 2003 Klagenfurt/Velden, Austria, June 16–20, 2003 Proceedings. Eder, J. & Missikoff, M. (eds.). Berlin: Springer Verlag, p. 633-646 14 p. (Lecture Notes in Computer Science; vol. 2681).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    5 Citations (Scopus)
  • On how distribution and mobility interfere with coordination

    Lopes, A. & Fiadeiro, J. L., 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. 343-358 16 p. (Lecture Notes in Computer Science; vol. 2755).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    3 Citations (Scopus)
  • 1989

    Proof-theoretic conceptual modeling: the NIAM case study

    Sernandas, C., Fiadeiro, J., Meersman, R., Sernandas, A. & Falkenberg, ED. (ed.), 1989, Information System Concepts: an in-depth Analysis. Falkenberg, E. D. & Lindgreen, P. (eds.). Amsterdam: Elsevier Science Publishers, p. 1-30 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter