{ "labelLang" : "hun", "responseDate" : "2024-03-28 20:41", "content" : { "otype" : "JournalArticle", "mtid" : 27165050, "status" : "ADMIN_APPROVED", "published" : true, "unhandledTickets" : 0, "oldTimestamp" : "2018-02-19T22:06:39.000+0000", "deleted" : false, "oldId" : 17165050, "lastRefresh" : "2022-07-29T06:21:05.760+0000", "lastModified" : "2018-02-19T22:06:39.000+0000", "created" : "2018-02-13T13:59:41.000+0000", "creator" : { "otype" : "Admin", "mtid" : 10039288, "link" : "/api/admin/10039288", "label" : "Szmolyán Mária (BME 4 admin - INAKTÍV)", "familyName" : "Szmolyán", "givenName" : "Mária", "published" : true, "oldId" : 10039288, "snippet" : true }, "lastDuplumOK" : "2019-02-23T14:52:20.177+0000", "lastDuplumSearch" : "2019-02-23T14:52:20.177+0000", "adminApproved" : "2018-02-13T13:59:59.000+0000", "adminApprover" : { "otype" : "Admin", "mtid" : 10039288, "link" : "/api/admin/10039288", "label" : "Szmolyán Mária (BME 4 admin - INAKTÍV)", "familyName" : "Szmolyán", "givenName" : "Mária", "published" : true, "oldId" : 10039288, "snippet" : true }, "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 24, "link" : "/api/publicationtype/24", "label" : "Folyóiratcikk", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000059, "link" : "/api/subtype/10000059", "label" : "Szakcikk (Folyóiratcikk)", "name" : "Szakcikk", "nameEng" : "Article", "docType" : { "otype" : "PublicationType", "mtid" : 24, "link" : "/api/publicationtype/24", "label" : "Folyóiratcikk", "code" : 24, "otypeName" : "JournalArticle", "listPosition" : 1, "published" : true, "oldId" : 24, "snippet" : true }, "listPosition" : 101, "published" : true, "oldId" : 10000059, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "firstAuthor" : "Lano, K", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 76066945, "link" : "/api/authorship/76066945", "label" : "Lano, K", "listPosition" : 1, "share" : 0.0, "first" : true, "last" : false, "familyName" : "Lano", "givenName" : "K", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 155934773, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 76066946, "link" : "/api/authorship/76066946", "label" : "Clark, T", "listPosition" : 2, "share" : 0.0, "first" : false, "last" : false, "familyName" : "Clark", "givenName" : "T", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 155934772, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 76066947, "link" : "/api/authorship/76066947", "label" : "Kolahdouz-Rahimi, S", "listPosition" : 3, "share" : 0.0, "first" : false, "last" : true, "familyName" : "Kolahdouz-Rahimi", "givenName" : "S", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 155934771, "snippet" : true } ], "title" : "A framework for model transformation verification", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 13572061, "link" : "/api/publicationidentifier/13572061", "label" : "DOI: 10.1007/s00165-014-0313-z", "source" : { "otype" : "PlainSource", "mtid" : 6, "link" : "/api/publicationsource/6", "label" : "DOI", "type" : { "otype" : "PublicationSourceType", "mtid" : 10001, "link" : "/api/publicationsourcetype/10001", "label" : "DOI", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "DOI", "nameEng" : "DOI", "linkPattern" : "https://doi.org/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 6, "snippet" : true }, "validState" : "IDENTICAL", "idValue" : "10.1007/s00165-014-0313-z", "realUrl" : "https://doi.org/10.1007%2Fs00165-014-0313-z", "published" : false, "oldId" : 16586453, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 13572060, "link" : "/api/publicationidentifier/13572060", "label" : "WoS: 000347157300008", "source" : { "otype" : "PlainSource", "mtid" : 1, "link" : "/api/publicationsource/1", "label" : "WoS", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "WoS", "nameEng" : "WoS", "linkPattern" : "http://gateway.isiknowledge.com/gateway/Gateway.cgi?&GWVersion=2&SrcAuth=CustomerName&SrcApp=CustomerName&DestLinkType=FullRecord&KeyUT=@@@&DestApp=WOS", "publiclyVisible" : true, "published" : true, "oldId" : 1, "snippet" : true }, "validState" : "IDENTICAL", "idValue" : "000347157300008", "realUrl" : "http://gateway.isiknowledge.com/gateway/Gateway.cgi?&GWVersion=2&SrcAuth=CustomerName&SrcApp=CustomerName&DestLinkType=FullRecord&KeyUT=000347157300008&DestApp=WOS", "published" : false, "oldId" : 16586452, "snippet" : true } ], "journal" : { "otype" : "Journal", "mtid" : 10005652, "link" : "/api/journal/10005652", "label" : "FORMAL ASPECTS OF COMPUTING 0934-5043 1433-299X", "pIssn" : "0934-5043", "eIssn" : "1433-299X", "reviewType" : "REVIEWED", "noIF" : false, "sciIndexed" : true, "scopusIndexed" : true, "hungarian" : false, "published" : true, "oldId" : 10005652, "snippet" : true }, "volume" : "27", "issue" : "1", "firstPage" : "193", "lastPage" : "235", "firstPageOrInternalIdForSort" : "193", "pageLength" : 43, "publishedYear" : 2015, "digital" : null, "printed" : null, "sourceYear" : 2018, "packet" : "(Szmolyán Mária (BME 4 admin); 2018.02.13. 14:59:36)", "foreignEdition" : true, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : false, "nationalOrigin" : false, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2022-07-29", "oaFree" : false, "citationCount" : 0, "citationCountUnpublished" : 0, "citationCountWoOther" : 0, "independentCitCountWoOther" : 0, "doiCitationCount" : 0, "wosCitationCount" : 0, "scopusCitationCount" : 0, "independentCitationCount" : 0, "unhandledCitationCount" : 0, "citingPubCount" : 0, "independentCitingPubCount" : 0, "unhandledCitingPubCount" : 0, "citedPubCount" : 1, "citedCount" : 1, "ratings" : [ { "otype" : "SjrRating", "mtid" : 11054600, "link" : "/api/sjrrating/11054600", "label" : "sjr:Q2 (2015) Scopus - Software FORMAL ASPECTS OF COMPUTING 0934-5043", "listPos" : 160, "rankValue" : 0.49, "type" : "journal", "ratingType" : { "otype" : "RatingType", "mtid" : 10002, "link" : "/api/ratingtype/10002", "label" : "sjr", "code" : "sjr", "published" : true, "snippet" : true }, "subject" : { "otype" : "ClassificationExternal", "mtid" : 1712, "link" : "/api/classificationexternal/1712", "label" : "Scopus - Software", "published" : true, "oldId" : 1712, "snippet" : true }, "ranking" : "Q2", "calculation" : "DIRECT", "published" : true, "snippet" : true } ], "ratingsForSort" : "Q2", "referenceList" : "Ab Rahim L, 2010, LNCS\n\nAnastasakis K, 2007, ANAL MODEL TRANSFORM\n\nAnastasakis K, 2010, SOFTW SYST MODEL, V9, P69, DOI 10.1007/s10270-008-0110-3\n\nAsztalos M, 2010, EASST, V42\n\nBecker B, 2011, LNCS, V6707\n\nBecker B., 2006, ICSE\n\nBezivin J, 2006, MODEL TRANSFORMATION\n\nBoronat A, 2009, LECT NOTES COMPUT SC, V5503, P18\n\nBrucker AD, 2010, LECT NOTES COMPUT SC, V6002, P261\n\nBrucker A, 2006, 525 ETH ZUR\n\nButtner F, 2011, VALIDATION ATL TRANS\n\nButtner F, 2012, ICFEM 2012\n\nCabot J., 2007, ASE, P547\n\nCabot J, 2010, J SYST SOFTWARE, V83, P283, DOI 10.1016/j.jss.2009.08.012\n\nCalegari D, 2011, LECT NOTES COMPUT SC, V6527, P112, DOI 10.1007/978-3-642-19829-8_8\n\nDrey Z., 2009, KERMETA LANGUAGE REF\n\nEclipsepedia, 2014, ATL US GUID\n\nEhrig H, 2007, LECT NOTES COMPUT SC, V4422, P72\n\nFAA, 2012, DO178C FAA\n\nGiese H, 2006, P 3 INT WORKSH MOD D\n\nGOGUEN JA, 1992, J ACM, V39, P95, DOI 10.1145/147508.147524\n\nGuerra E, 2010, LECT NOTES COMPUT SC, V6394, P106\n\nHermann F, 2011, LNCS, V6981, P748\n\nInaba K, 2011, PDPP 11\n\nJakumeit Edgar, 2010, International Journal on Software Tools for Technology Transfer, V12, P263, DOI 10.1007/s10009-010-0148-8\n\nJouault F, 2006, LECT NOTES COMPUT SC, V3844, P128\n\nKolandouz-Rahimi S, 2014, SCI COMPUT PROGRAM, V85, P5, DOI 10.1016/j.scico.2013.07.013\n\nKolovos DS, 2008, LECT NOTES COMPUT SC, V5063, P46, DOI 10.1007/978-3-540-69927-9_4\n\nKuhlmann M., 2012, LECT NOTES COMPUTER, V7590, P415\n\nKuster J. M., 2006, SOFTWARE SYSTEMS MOD, V5, P233, DOI [10.1007/s10270-006-0018-8, DOI 10.1007/S10270-006-0018-8]\n\nLano K, 2013, J SYST SOFTWARE, V86, P412, DOI 10.1016/j.jss.2012.09.006\n\nLano K, 2006, USING B VERIFY UML T\n\nLano K, 2014, VOLT 2014 STAF C YOR\n\nLano K., 1996, B LANGUAGE METHOD\n\nLano K, 2011, LNCS, V6707, P47\n\nLano K., 2012, INT J SOFTWARE INFOR, V6, P233\n\nLano K, 2011, J OBJECT TECHNOL, V10\n\nLano K, 2012, VERIFICATION MODEL T\n\nLano K, 2012, COMP VERIFICATION TE\n\nLano K, 2010, TTC 2010 MAL SPAIN J\n\nMassoni T, 2005, 19 BRAZ S SOFTW ENG\n\nMossakowski T, 2012, HETEROGENEOUS TOOL S\n\nNarayanan A, 2008, EASST, V10\n\nNarayanan A, 2006, ENTCS, V211, P191\n\nOMG, 2011, QVT SPEC VERS 1 1\n\nOMG, 2012, OBJ CONSTR LANG V2 3\n\nPoernomo I, 2010, ICFEM\n\nPoernomo I, 2008, ICMT\n\nRensink A, 2004, LNCS, V3256\n\nSoeken M, 2012, ENCODING OCL DATA TY\n\nStenzel K, 2011, LNCS, V6981\n\nVarro D, 2006, LNCS, V4178\n\n[Anonymous], 2012, Z3 THEOREM PROVER\n\n[Anonymous], 2014, EV B ROD PLATF\n\n[Anonymous], 2013, UML RSDS TOOLSET MAN", "hasCitationDuplums" : false, "userChangeableUntil" : "2018-02-13T13:59:59.000+0000", "publishDate" : "2018-02-13T13:59:55.000+0000", "directInstitutesForSort" : "", "ownerAuthorCount" : 6, "ownerInstituteCount" : 3, "directInstituteCount" : 0, "authorCount" : 3, "contributorCount" : 0, "hasQualityFactor" : true, "link" : "/api/publication/27165050", "label" : "Lano K et al. A framework for model transformation verification. (2015) FORMAL ASPECTS OF COMPUTING 0934-5043 1433-299X 27 1 193-235", "template" : "