Concepedia

João Costa Seco

JC

7

Publications

125

Citations

7

H-Index

2000

Active since

Affiliations

Universidade Nova de Lisboa(Current)

University of Lisbon

João Costa Seco is an author at Universidade Nova de Lisboa specializing in engineering, system software, and software engineering.

Top concepts

EngineeringSystem SoftwareComputer ScienceSoftware EngineeringFormal MethodsSoftware DesignProgram AnalysisSoftware AnalysisFormal VerificationSoftware Testing

Publications per year

2000–2021

7

Publications

7

The type discipline of behavioral separation

João Costa Seco · 2013 · 21 citations

Behavioural Psychology, Engineering, Behavioral Separation +20

A Basic Model of Typed Components

João Costa Seco · 2000 · 21 citations

Closing the gap between designers and developers in a low code ecosystem

Mariana Bexiga, Stoyan Garbatov, João Costa Seco · 2020 · 21 citations · Full text

Software Maintenance, Software Development Practice, Digital Business +21

RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta

João Costa Seco, Søren Debois, Thomas Hildebrandt et al. · 2018 · 20 citations · Full text

Event-driven Architecture, Engineering, Software Engineering +22

Component J: A component-based programming language with dynamic reconfiguration

João Costa Seco, Ricardo Silva, Margarida Piriquito · Computer Science and Information Systems · 2008 · 16 citations · Full text

Engineering, Computer Architecture, Software Engineering +21

Rows per page

1–5 of 7