E-LIB Suche - Ergebnisse für: Fiadeiro, J. L.

1

From conventional to institution-independent logic programm..:

u u, I. ; Fiadeiro, J. L.
Journal of Logic and Computation. , 2015

Link: https://doi.org/10.1093/..

2

Editorial:

Fiadeiro, J. L. ; Gnesi, S. ; Maibaum, T.
Formal Aspects of Computing. 24 (2012) 2 - p. 161-162 , 2012

Link: https://doi.org/10.1007/..

3

Editorial:

Fiadeiro, J. L.
Formal Aspects of Computing. 22 (2010) 3 - p. 215-216 , 2010

Link: https://doi.org/10.1007/..

4

Designing for software's social complexity:

Fiadeiro, J.L.
Computer. 40 (2007) 1 - p. 34-39 , 2007

Link: https://doi.org/10.1109/..

5

Physiological vs. social complexity in software design:

, In: 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06),

Fiadeiro, J.L. - p. 3-3 , 2006

Link: https://doi.org/10.1109/..

6

Extending UML with coordination contracts:

Lano, K. ; Fiadeiro, J. L.
Software & Systems Modeling. 5 (2005) 2 - p. 110-120 , 2005

Link: https://doi.org/10.1007/..

7

Evolving and using coordinated systems:

, In: Proceedings of the International Workshop on Principles of Software Evolution,

Wermelinger, M. ; Koutsoukos, G. ; Fiadeiro, J. L... - p. 43-47 , 2002

Link: https://dl.acm.org/doi/1..

8

Preface:

Fiadeiro, J.L.
Theoretical Computer Science. 286 (2002) 2 - p. 151 , 2002

Link: https://doi.org/10.1016/..

9

Separating computation, coordination and configuration:

Andrade, L. ; Fiadeiro, J. L. ; Gouveia, J..
Journal of Software Maintenance and Evolution: Research and Practice. 14 (2002) 5 - p. 353-369 , 2002

Link: https://doi.org/10.1002/..

10

Support for business-driven evolution with coordination tec..:

, In: Proceedings of the 4th International Workshop on Principles of Software Evolution,

Andrade, L. ; Fiadeiro, J. L. ; Gouveia, J... - p. 99-102 , 2001

Link: https://dl.acm.org/doi/1..

11

Foreword:

Bahsoun, J. P. ; Fiadeiro, J. L. ; Galmiche, D.
Mathematical Structures in Computer Science. 9 (1999) 3 - p. 225-226 , 1999

Link: https://doi.org/10.1017/..

12

A Mathematical Toolbox for the Software Architec:

, In: Proceedings of the 8th International Workshop on Software Specification and Design,

Fiadeiro, J. L. ; Maibaum, T. - p. 46 ff. , 1996

Link: https://dl.acm.org/doi/1..

13

Temporal theories as modularisation units for concurrent sy..:

Fiadeiro, J. ; Maibaum, T.
Formal Aspects of Computing. 4 (1992) 3 - p. 239-272 , 1992

Link: https://doi.org/10.1007/..

14

Temporal Reasoning over Deontic Specifications:

FIADEIRO, J. ; MAIBAUM, T.
Journal of Logic and Computation. 1 (1991) 3 - p. 357-395 , 1991

Link: https://doi.org/10.1093/..

15

Educational impact of a novel cleft palate surgical simulat..:

Nicholas, Rebecca ; Heinze, Zavira ; Papavasiliou, Theodora...
Journal of Plastic, Reconstructive & Aesthetic Surgery. 75 (2022) 10 - p. 3817-3825 , 2022

Link: https://doi.org/10.1016/..