SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode

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

Derivations with Holes for Concept-Based Program Synthesis

Autor: João Costa Seco, Jonathan Aldrich, Luís Carvalho, Bernardo Toninho, Carla Ferreira

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

An Ontology-Based Task-Oriented Dialogue to Create OutSystems Applications

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

OSTRICH - A Type-Safe Template Language for Low-Code Development

Autor: Hugo Lourenço, Carla Ferreira, João Costa Seco

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

ReGraDa: Reactive Graph Data

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⟩

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