Extending the consistency property of software transactional memory systems with business constraints in OCL and incremental checking
Actas:
IMCIC 2017 - 8th International Multi-Conference on Complexity, Informatics and Cybernetics, Proceedings
ISBN: 9781941763551
Año de publicación: 2017
Volumen: 2017-March
Páginas: 241-246
Tipo: Aportación congreso