Zobrazeno 1 - 10
of 65
pro vyhledávání: '"João Costa Seco"'
Autor:
Eduardo Geraldo, João Costa Seco
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 302, Iss Proc. VORTEX 2018, Pp 16-31 (2019)
Software testing is the most commonly used technique in the industry to certify the correctness of software systems. This includes security properties like access control and data confidentiality. However, information flow control and the detection o
Externí odkaz:
https://doaj.org/article/921040cebea04d9fa56d42600dbf4bd9
Publikováno v:
Software and Systems Modeling.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7e2a68843705ffc67b0a5e95a9580f0c
https://doi.org/10.1007/s10270-022-01066-1
https://doi.org/10.1007/s10270-022-01066-1
Publikováno v:
Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::55d67f7dff5590fb0d8ae6e03ca407f5
https://doi.org/10.1145/3563835.3567658
https://doi.org/10.1145/3563835.3567658
Publikováno v:
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::578518935b95a329ff165b206dbd7850
https://doi.org/10.1145/3550355.3552442
https://doi.org/10.1145/3550355.3552442
Autor:
João Quirino Silva, Dora Melo, Irene Pimenta Rodrigues, João Costa Seco, Carla Ferreira, Joana Parreira
Publikováno v:
SN Computer Science. 4
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d2f494d71f426a58466cb751b8b18dbb
https://doi.org/10.1007/s42979-022-01418-0
https://doi.org/10.1007/s42979-022-01418-0
Autor:
André de Matos Pedro, Tomás Silva, Tiago Sequeira, João Lourenço, João Costa Seco, Carla Ferreira
Publikováno v:
Formal Methods for Industrial Critical Systems ISBN: 9783031150074
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b9328491530c434cf7c657ba106c567e
https://doi.org/10.1007/978-3-031-15008-1_11
https://doi.org/10.1007/978-3-031-15008-1_11
Publikováno v:
MODELS
Low-code platforms aim at allowing non-experts to develop complex systems and knowledgeable developers to improve their productivity in orders of magnitude. The greater gain comes from (re)using components developed by experts capturing common patter
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8adf99a13ec197a6eeef715c93d20a03
https://doi.org/10.1109/models50736.2021.00030
https://doi.org/10.1109/models50736.2021.00030
Publikováno v:
The Art, Science, and Engineering of Programming. 4
This work was partially supported by FCT/MCTES grant PTDC/EEICTP/4293/2014. Publisher Copyright: © João Costa Seco, Paulo Ferreira, Hugo Lourenço, Carla Ferreira, and Lúcio Ferrão. Microservice architectures allow for short deployment cycles and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7bb117864515261fa7f3124d57a39156
https://doi.org/10.22152/programming-journal.org/2020/4/10
https://doi.org/10.22152/programming-journal.org/2020/4/10
Autor:
Søren Debois, Tijs Slaats, Leandro Galrinho, João Costa Seco, Thomas Hildebrandt, Håkon Norman
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030781415
COORDINATION
Lecture Notes in Computer Science
23th International Conference on Coordination Languages and Models (COORDINATION)
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.188-205, ⟨10.1007/978-3-030-78142-2_12⟩
COORDINATION
Lecture Notes in Computer Science
23th International Conference on Coordination Languages and Models (COORDINATION)
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.188-205, ⟨10.1007/978-3-030-78142-2_12⟩
Part 3: Large-Scale Decentalised Systems; International audience; Business processes, data, and run-time control state are all key elements in the design of enterprise applications. However, the different layers for processes, data, and control are u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8401615ba4802a3329694006d9240160
https://doi.org/10.1007/978-3-030-78142-2_12
https://doi.org/10.1007/978-3-030-78142-2_12