Вы здесь

Главная

Fiadeiro J. L.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ AGILE: Software Architecture for Mobility 2003 Andrade L., Baldan P., Baumeister H., Bruni R., 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 U., Montanari U., Oliveira C., Pugliese R., Tarlecki A., Wermelinger M., Wirsing M., Zawlocki A. Lecture Notes in Computer Science 14.01.2004
СТ Algebraic Semantics of Coordination or What Is in a Signature 1999 Fiadeiro J. L., Lopes A. Lecture Notes in Computer Science 05.02.1999
СТ Algebraic Software Architecture Reconfiguration 1999 Wermelinger M., Fiadeiro J. L. Lecture Notes in Computer Science 14.10.1999
СТ Connectors for Mobile Programs 1998 Wermelinger M., Fiadeiro J. L. IEEE Trans. on Software Engineering 11.08.1998
СТ Coordination Technologies for Managing Information System Evolution 2001 Andrade L. F., Fiadeiro J. L. Lecture Notes in Computer Science 29.06.2001
СТ Coordination for Orchestration 2002 Andrade L. F., Fiadeiro J. L., Gouveia J., Koutsoukos G., Wermelinger M. Lecture Notes in Computer Science 12.06.2002
СТ Institutions for Behaviour Specifications 1995 Fiadeiro J. L., Costa J. F. Lecture Notes in Computer Science 24.05.1995
СТ Interconnecting Objects via Contracts 1999 Andrade L. F., Fiadeiro J. L. Lecture Notes in Computer Science 05.11.1999
СТ Problem Frames: A Case for Coordination 2004 Barroca L., Fiadeiro J. L., Jackson M., Laney R., Nuseibeh B. Lecture Notes in Computer Science 17.03.2004
СТ Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects 1994 Fiadeiro J. L., Mailbaum T. Lecture Notes in Artificial Intelligence 11.08.1994
СТ Towards a Verification Logic for Rewriting Logic 2000 Fiadeiro J. L., Maibaum T., Marti-Oliet N., Meseguer J., Pita I. Lecture Notes in Computer Science 13.10.2000
СТ Using Explicit State to Describe Architectures 1999 Lopes A., Fiadeiro J. L. Lecture Notes in Computer Science 06.04.1999

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Algebra and Coalgebra in Computer Science: Proc./First International Conference, CALCO 2005. Swansea, UK, September 2005 2005 Lecture Notes in Computer Science
  1. Fiadeiro J. L.
  2. Harman N.
  3. Roggenbach M.
  4. Rutten J.
 18.10.2005
СБ Business Process Management: Proc./4th International Conference, BPM 2006. Vienna, Austria, September 2006 2006 Lecture Notes in Computer Science
  1. Dustdar Sch.
  2. Fiadeiro J. L.
  3. Sheth A.
 20.10.2006
СБ Formal Aspects of Component Software: Revised Selected Papers/10th International Symposium, FACS 2013, Nanchang, China, October 2013 2014 Lecture Notes in Computer Science
  1. Fiadeiro J. L.
  2. Liu Z.
  3. Xue J.
 30.08.2014
СБ Fundamental Approaches to Software Engineering: Proc./11th International Conference, FASE 2008, Part of ETAPS 2008. Budapest, Hungary, March/April 2008 2008 Lecture Notes in Computer Science
  1. Fiadeiro J. L.
  2. Inverardi P.
 07.06.2008
СБ Recent Trends in Algebraic Development Techniques: Revised Selected Papers/17th International Workshop, WADT 2004. Barcelona, Spain, March 2004 2005 Lecture Notes in Computer Science
  1. Fiadeiro J. L.
  2. Mosses P. D.
  3. Orejas F.
 26.05.2005
СБ Recent Trends in Algebraic Development Techniques: Revised Selected Papers/24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2018 2019 Lecture Notes in Computer Science
  1. Fiadeiro J. L.
  2. Tutu I.
 15.08.2019
СБ Recent Trends in Algebraic Development Techniques: Selected Papers/ 13th International Workshop, WADT 98, Lisbon, Portugal, April 1998 1999 Lecture Notes in Computer Science
  1. Fiadeiro J. L.
 27.08.1999