Extending the consistency property of software transactional memory systems with business constraints in OCL and incremental checking
Publication date:
2017
Descripción física:
p. 241-246
Description:
International Multi-Conference on Complexity, Informatics and Cybernetics, Proceedings(IMCIC 2017) (8th. 2017)
ISBN:
9781941763551
Patrocinado por:
GRUPIN14-100, NPST, National Plan for Science, Technology and Innovation; EGU, European Geosciences Union; FEDER, European Regional Development Fund