{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T09:11:47Z","timestamp":1685351507286},"reference-count":0,"publisher":"National Library of Serbia","issue":"1","license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["ComSIS","COMPUT SCI INF SYST","COMPUT SCI INFORM SY","COMPUTER SCI INFORM","COMSIS J"],"published-print":{"date-parts":[[2012]]},"abstract":"<jats:p>In this paper a formal model for class and object diagrams is presented. To\n   make the model the author used Alloy, which is a threein-one package: a\n   modeling language that constructs software models, a formal method that\n   guides the construction of software models and an analyzer that helps find\n   inconsistencies in software models. In the proposed model the entities that\n   form class and object diagrams, as well as the rules that govern how these\n   elements can be connected, are specified.<\/jats:p>","DOI":"10.2298\/csis110210045v","type":"journal-article","created":{"date-parts":[[2011,10,5]],"date-time":"2011-10-05T07:45:47Z","timestamp":1317800747000},"page":"411-429","source":"Crossref","is-referenced-by-count":0,"title":["Using lightweight formal methods to model class and object diagrams"],"prefix":"10.2298","volume":"9","author":[{"given":"Fernando","family":"Valles-Barajas","sequence":"first","affiliation":[{"name":"Department of Information Technology, Faculty of Engineering, Universidad Regiomontana de Mayo Pte., C.P. Colonia Centro, Monterrey, Nuevo Le\u00f3n, M\u00e9xico"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1078","container-title":["Computer Science and Information Systems"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T08:30:23Z","timestamp":1685349023000},"score":1,"resource":{"primary":{"URL":"https:\/\/doiserbia.nb.rs\/Article.aspx?ID=1820-02141100045V"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012]]}},"URL":"https:\/\/doi.org\/10.2298\/csis110210045v","relation":{},"ISSN":["1820-0214","2406-1018"],"issn-type":[{"value":"1820-0214","type":"print"},{"value":"2406-1018","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}