{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T04:13:40Z","timestamp":1751948020286,"version":"3.41.2"},"reference-count":0,"publisher":"Central Library of the Slovak Academy of Sciences","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["cai"],"published-print":{"date-parts":[[2018]]},"DOI":"10.4149\/cai_2018_1_109","type":"journal-article","created":{"date-parts":[[2018,3,28]],"date-time":"2018-03-28T07:41:05Z","timestamp":1522222865000},"page":"109-141","source":"Crossref","is-referenced-by-count":1,"title":["Towards a Formalization of a Framework to Express and Reason about Software Engineering Methods"],"prefix":"10.31577","volume":"37","author":[{"given":"Miguel","family":"Morales-Trujillo","sequence":"first","affiliation":[]},{"given":"Hanna","family":"Oktaba","sequence":"additional","affiliation":[]},{"given":"Francisco","family":"Hern\u00e1ndez-Quiroz","sequence":"additional","affiliation":[]},{"given":"Boris","family":"Escalante-Ram\u00edrez","sequence":"additional","affiliation":[]}],"member":"16018","container-title":["Computing and Informatics"],"original-title":[],"link":[{"URL":"http:\/\/www.cai.sk\/ojs\/index.php\/cai\/article\/view\/2018_1_109\/875","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,7]],"date-time":"2025-07-07T17:26:00Z","timestamp":1751909160000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.cai.sk\/ojs\/index.php\/cai\/article\/view\/2018_1_109"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"references-count":0,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2018]]}},"URL":"https:\/\/doi.org\/10.4149\/cai_2018_1_109","relation":{},"ISSN":["1335-9150"],"issn-type":[{"type":"electronic","value":"1335-9150"}],"subject":[],"published":{"date-parts":[[2018]]}}}