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
Ano de publicación: 2017
Volume: 2017-March
Páxinas: 241-246
Tipo: Achega congreso