Towards model checking product lines in the digital humanities: an application to historical data

• Main Authors: Breathnach, Ciara, Muhamad Ibrahim, Najhan, Clancy, Stuart, Margaria, Tiziana
• Format: Book Chapter
• Language: English; English
• Published: Springer 2019
• Subjects: T Technology (General)
• Online Access: http://irep.iium.edu.my/90064/2/10.1007%252F978-3-030-30985-5_20; http://irep.iium.edu.my/90064/8/90064_Towards%20model%20checking%20product%20lines.pdf; http://irep.iium.edu.my/90064/; https://link.springer.com/chapter/10.1007%2F978-3-030-30985-5_20

Rapid development in computing techniques and databases’ systems have aided in the digitization of, and access to, various historical (big) data, with significant challenges of analysis and interoperability. The Death and Burial Data, Ireland project aims to build a Big Data interoperability framewo...