Published on BSC-CNS (https://www.bsc.es)

Inicio > Drawing Preconditions of Operation Contracts from Conceptual Schemas

Drawing Preconditions of Operation Contracts from Conceptual Schemas

Authors: Costal, Dolors / Gómez, Cristina / Queralt, Anna / Teniente, Ernest

Publication: CAiSE

Pagination: 266-280

Barcelona Supercomputing Center - Centro Nacional de Supercomputación
Source URL (retrieved on 16 Dic 2024 - 15:59): https://www.bsc.es/es/research-and-development/publications/drawing-preconditions-operation-contracts-conceptual-schemas