3 papers
cs.DB2024
Models for Storage in Database Backends
Edgard Schiebelbein, Saalik Hatia, Annette Bieniusa +3
This paper describes ongoing work on developing a formal specification of a database backend. We present the formalisation of the expected behaviour of a basic transactional system…
cs.SE2023
CHAMELEON: OutSystems Live Bidirectional Transformations
Hugo Lourenço, João Costa Seco, Carla Ferreira +4
In model-driven engineering, the bidirectional transformation of models plays a crucial role in facilitating the use of editors that operate at different levels of abstraction. Thi…
cs.DC2023
JepREST: Functional tests for distributed REST applications
Sara Simoes, Ana Ribeiro, Carla Ferreira +1
Application services often support mobile and web applications with REST interfaces, implemented using a set of distributed components that interact with each other. This approach…