Výsledky vyhledávání - "Fiadeiro, J."

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Extending UML with coordination contracts.

Autor: Lano, K.¹ kcl@dcs.kcl.ac.uk, Fiadeiro, J. L.²

Publikováno v: Software & Systems Modeling. Jun2006, Vol. 5 Issue 2, p110-120. 11p. 11 Diagrams, 1 Chart.

Tracing Networks: technological knowledge, cultural contact and knowledge exchange in the ancient Mediterranean and beyond

Autor: Foxhall, L., Rebay-Salisbury, K., Brysbaert, A., Fiadeiro, J., Harding, A., Haselgrove, Colin

Publikováno v: New Worlds from old texts: revisiting ancient space and place
Barker E., Bouzarovski S., Pelling C. & Isaksen L. New Worlds from old texts: revisiting ancient space and place, OUP, pp.281-300, 2016

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3e002cd6370fda12eacc15f4adcbc83f
https://shs.hal.science/halshs-01546465

Zobrazit plný text záznamu

Heterogeneous Timed Machines

Autor: Benoît Delahaye, Fiadeiro, J. L., Axel Legay, Antónia Lopes

Publikováno v: 11th International Colloquium on Theoretical Aspects of Computing
11th International Colloquium on Theoretical Aspects of Computing, Sep 2014, Bucharest, France. 18 p
Scopus-Elsevier
CIÊNCIAVITAE
HAL

International audience; We present an algebra of discrete timed input/output au- tomata that execute in the context of different clock granularities -- timed machines -- as models of systems that can be dynamically inter- connected at run time in a h

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1e656c834222e25a555dc5b91071639c
https://hal.science/hal-01010877/file/paper.pdf

Zobrazit plný text záznamu

Preface of SEFM 2010

Autor: Fiadeiro J., Gnesi S., Maggiolo Schettini A.

Publikováno v: New York: IEEE, Institute of electrical and electronics engineers, 2010
info:cnr-pdr/source/autori:Fiadeiro J.; Gnesi S.; Maggiolo Schettini A./titolo:Preface of SEFM 2010/editore: /anno:2010

This volume contains the proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010) held on 13-18 September 2010 in Pisa, Italy, hosted by the Istituto di Scienza e Tecnologie dell'Informazione A. Faed

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::44506419af2bf7cedb172d5a996201b6
http://www.cnr.it/prodotto/i/139078

Zobrazit plný text záznamu

Telecommunication case study: requirements modelling and analysis of selected scenarios. EU FP6-IP-IST-016004 project Sensoria (Software Engineering for Service-Oriented Overlay Computers). Deliverable D8.1.a, 2007

Autor: Moiso C., Ferrari L., Thuegaz E., Buscemi M., Montanari U., Bertoli P., Pistore M., Kazhamiakin R., Bruni R., Gnesi S., Ter Beek M. H., Petrocchi M., Mazzanti F., Fiadeiro J., Bocchi L.

Publikováno v: Project report, SENSORIA, Deliverable D8.1.a, 2007

The main objective of the Telecommunication Case Study in SENSORIA is to test and verify the applicability of the insights, methodologies and tools developed in the SENSORIA Project WPs more focused on research activities, on the evolution of the Ser

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::399b760ad09074b68d276ca3f3383114
https://openportal.isti.cnr.it/doc?id=people______::399b760ad09074b68d276ca3f3383114

Zobrazit plný text záznamu