Seguir
Joao Costa Seco
Joao Costa Seco
Email confirmado em fct.unl.pt
Título
Citado por
Citado por
Ano
A basic model of typed components
JC Seco, L Caires
European Conference on Object-Oriented Programming, 108-128, 2000
1532000
The conversation calculus: A model of service-oriented computation
HT Vieira, L Caires, JC Seco
Programming Languages and Systems: 17th European Symposium on Programming …, 2008
1382008
The type discipline of behavioral separation
L Caires, JC Seco
ACM SIGPLAN Notices 48 (1), 275-286, 2013
442013
Closing the gap between designers and developers in a low code ecosystem
M Bexiga, S Garbatov, JC Seco
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020
322020
Type-based Access Control in Data-Centric Systems
L Caires, P Jorge, J Costa Seco, H Torres Vieira, F Lúcio
Programming Languages and Systems, 136--155, 2011
272011
Component J: A component-based programming language with dynamic reconfiguration
JC Seco, R Silva, M Piriquito
Computer Science and Information Systems 5 (2), 63-86, 2008
252008
RESEDA: declaring live event-driven computations as reactive semi-structured data
JC Seco, S Debois, T Hildebrandt, T Slaats
2018 IEEE 22nd International enterprise distributed object computing …, 2018
192018
Verification of snapshot isolation in transactional memory Java programs
RJ Dias, D Distefano, JC Seco, JM Lourenço
ECOOP 2012–Object-Oriented Programming: 26th European Conference, Beijing …, 2012
162012
Types for Dynamic Reconfiguration
JC Seco, L Caires
Programming languages and systems: 15th European Symposium on Programming …, 2006
15*2006
Uav cloud platform for precision farming
M Pino, JP Matos-Carvalho, D Pedro, LM Campos, JC Seco
2020 12th International Symposium on Communication Systems, Networks and …, 2020
142020
OSTRICH-a type-safe template language for low-code development
H Lourenço, C Ferreira, JC Seco
2021 ACM/IEEE 24th International Conference on Model Driven Engineering …, 2021
132021
SYSTEMS, METHODS, AND APPARATUS FOR MODEL-BASED SECURITY CONTROL
LER Ferrão, SJRV Da Costa, CLMM Da Costa, C Borrêga, GF Xavier, ...
US Patent 20,130,246,995, 2013
132013
Type-safe evolution of web services
J Campinhos, JC Seco, J Cunha
2017 IEEE/ACM 2nd International Workshop on Variability and Complexity in …, 2017
112017
A society of agents in environmental monitoring
JC Seco, C Pinto-Ferreira, L Correia
From Animals to Animats 5, 447-452, 1998
111998
A common data manipulation language for nested data in heterogeneous environments
JC Seco, H Lourenço, P Ferreira
Proceedings of the 15th Symposium on Database Programming Languages, 11-20, 2015
102015
Parametric typed components
JC Seco, L Caires
Proc. of the Fifth Intl. Workshop on Component-Oriented Programming ECOOP’00, 2000
10*2000
ComponentJ: The reference manual
JC Seco, L Caires
Technical Report UNL-DI-6-2002, Departamento de Informática FCT/UNL, 2002
82002
Type safe composition in .NET
JC Seco
First Microsoft Research Summer Workshop, Cambridge, UK, 2002
82002
A model of service oriented computation
L Caires, HT Vieira, JC Seco
publishing October, 2007
72007
Subtyping first-class polymorphic components
JC Seco, L Caires
European Symposium on Programming, 342-356, 2005
72005
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20