乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,8]],"date-time":"2024-07-08T21:18:53Z","timestamp":1720473533946},"reference-count":75,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2017,3,1]],"date-time":"2017-03-01T00:00:00Z","timestamp":1488326400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"funder":[{"DOI":"10.13039\/501100002850","name":"FONDECYT","doi-asserted-by":"publisher","award":["AMoDDI 11130583","TESTMODE 11121395"],"id":[{"id":"10.13039\/501100002850","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Ministry of Economy and Competitiveness of the Spanish government","award":["TIN2013- 44641-P"]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Information Systems"],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1016\/j.is.2016.06.011","type":"journal-article","created":{"date-parts":[[2016,10,9]],"date-time":"2016-10-09T07:31:37Z","timestamp":1475998297000},"page":"41-62","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":6,"special_numbering":"C","title":["Verifying goal-oriented specifications used in model-driven development processes"],"prefix":"10.1016","volume":"64","author":[{"given":"Giovanni","family":"Giachetti","sequence":"first","affiliation":[]},{"given":"Beatriz","family":"Mar\u00edn","sequence":"additional","affiliation":[]},{"given":"Lidia","family":"L\u00f3pez","sequence":"additional","affiliation":[]},{"given":"Xavier","family":"Franch","sequence":"additional","affiliation":[]},{"given":"Oscar","family":"Pastor","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.is.2016.06.011_bib1","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/MS.2003.1231146","article-title":"The pragmatics of model-driven development","volume":"20","author":"Selic","year":"2003","journal-title":"IEEE Softw."},{"key":"10.1016\/j.is.2016.06.011_bib2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","article-title":"Model driven engineering","volume":"39","author":"Schmidt","year":"2006","journal-title":"IEEE Comput."},{"key":"10.1016\/j.is.2016.06.011_bib3","doi-asserted-by":"crossref","unstructured":"S. W. Liddle, Model-driven software development, in Handbook of Conceptual Modeling, D. W. Embley and B. Thalheim, Eds., ed: Springer Berlin Heidelberg, 2011, pp. 17\u201354.","DOI":"10.1007\/978-3-642-15865-0_2"},{"key":"10.1016\/j.is.2016.06.011_bib4","unstructured":"J. Cabot and E. Yu, Improving requirements specifications in model-driven development processes, in: Proceedings of the 1st International Workshop on Challenges in Model-Driven Software Engineering (MoDELS\u201908), 2008."},{"key":"10.1016\/j.is.2016.06.011_bib5","doi-asserted-by":"crossref","unstructured":"R. Monteiro, J. Ara\u00fajo, V. Amaral, and P. Patr\u00edcio, MDGore: towards model-driven and goal-oriented requirements engineering, in: Proceedings of the 18th IEEE International Requirements Engineering Conference (RE), 2010.","DOI":"10.1109\/RE.2010.60"},{"key":"10.1016\/j.is.2016.06.011_bib6","unstructured":"O. Pastor and S. Espa\u00f1a, Full model-driven practice: from requirements to code generation, in: Proceedings of the 24th International Conference Advanced Information Systems Engineering (CAiSE), Gdansk, Poland, 2012."},{"key":"10.1016\/j.is.2016.06.011_bib7","doi-asserted-by":"crossref","unstructured":"G. Loniewski, E. Insfran, and S. Abrahao, A systematic review of the use of requirement engineering techniques in model-driven development, in: Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems (MoDELS), 2010.","DOI":"10.1007\/978-3-642-16129-2_16"},{"key":"10.1016\/j.is.2016.06.011_bib8","series-title":"Requirements Engineering \u2013 From System Goals to UML Models to Software Specifications","author":"Lamsweerde","year":"2009"},{"key":"10.1016\/j.is.2016.06.011_bib9","unstructured":"C. W. Lu, C. H. Chang, W. C. Chu, Y. W. Cheng, and H. C. Chang, A requirement tool to support model-based requirement engineering, in: Proceedings of the 32nd Computer Software and Applications Conference (COMPSAC\u201908), 2008."},{"key":"10.1016\/j.is.2016.06.011_bib10","doi-asserted-by":"crossref","unstructured":"R. Monteiro, J. Ara\u00fajo, V. Amaral, M. Goul\u00e3o, and P. Patr\u00edcio, Model-Driven Development for Requirements Engineering: The Case of Goal-Oriented Approaches, in: Proceedings of the 8th International Conference on the Quality of Information and Communications Technology (QUATIC), 2012.","DOI":"10.1109\/QUATIC.2012.38"},{"key":"10.1016\/j.is.2016.06.011_bib11","doi-asserted-by":"crossref","unstructured":"T. Ruiz-L\u00f3pez, C. Rodr\u00edguez-Dom\u00ednguez, M. Noguera, and M. J. Rodr\u00edguez, A Model-Driven Approach to Requirements Engineering in Ubiquitous Systems, in: Proceedings of the 3rd International Symposium on Ambient Intelligence (ISAmI 2012), 2012.","DOI":"10.1007\/978-3-642-28783-1_11"},{"key":"10.1016\/j.is.2016.06.011_bib12","unstructured":"OMG, \"MDA Guide Version 1.0.1,\" 2003."},{"key":"10.1016\/j.is.2016.06.011_bib13","unstructured":"S. J. Mellor, K. Scott, A. Uhl, and D. Weise, MDA Distilled: Principles of Model-Driven Architecture: Addison-Wesley Professional, 2004."},{"key":"10.1016\/j.is.2016.06.011_bib14","unstructured":"I. Zikra, J. Stirna, and J. Zdravkovic, Analyzing the Integration between Requirements and Models in Model Driven Development, in: Proceedings of the 12th International Conference, BPMDS 2011, and 16th International Conference, EMMSAD 2011, London, UK, 2011."},{"key":"10.1016\/j.is.2016.06.011_bib15","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/s007660170013","article-title":"From non-functional requirements to design through patterns","volume":"6","author":"Gross","year":"2001","journal-title":"Requir. Eng. J."},{"key":"10.1016\/j.is.2016.06.011_bib16","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1147\/sj.453.0451","article-title":"Model-driven develpment: the good, the bad, and the ugly","volume":"45","author":"Hailpern","year":"2006","journal-title":"IBM Syst. J."},{"key":"10.1016\/j.is.2016.06.011_bib17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/IJISMD.2015040101","article-title":"Using goal models downstream: a systematic roadmap and literature review","volume":"6","author":"Horkoff","year":"2015","journal-title":"Int. J. Inf. Syst. Model. Des. (IJISMD)"},{"key":"10.1016\/j.is.2016.06.011_bib18","unstructured":"A. Lamsweerde, Goal-oriented requirements engineering: A guided tour, in: Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE01), 2001."},{"key":"10.1016\/j.is.2016.06.011_bib19","doi-asserted-by":"crossref","unstructured":"A. Perini and A. Susi, Automating model transformations in agent-oriented modelling, in Agent-Oriented Software Engineering VI, ed: Springer, 2005, pp. 167\u2013178.","DOI":"10.1007\/11752660_13"},{"key":"10.1016\/j.is.2016.06.011_bib20","unstructured":"O. Pastor and J. C. Molina, Model-Driven Architecture in Practice: A Software Production Environment Based on Conceptual Modeling, 1st edition ed. New York: Springer, 2007."},{"key":"10.1016\/j.is.2016.06.011_bib21","unstructured":"G. Giachetti, F. Alencar, B. Mar\u00edn, O. Pastor, and J. Castro, Beyond requirements: an approach to integrate i* and model-driven development, XIII Congreso Iberoamericano en Software Engineering \u2013 CIBSE 2010, Cuenca, Ecuador, 2010."},{"key":"10.1016\/j.is.2016.06.011_bib22","doi-asserted-by":"crossref","unstructured":"A. M. L. de Vasconcelos, G. Giachetti, B. Mar\u00edn, and O. Pastor, Towards a CMMI-Compliant Goal-Oriented Software Process through Model-Driven Development, PoEM 2011, 2011.","DOI":"10.1007\/978-3-642-24849-8_19"},{"key":"10.1016\/j.is.2016.06.011_bib23","doi-asserted-by":"crossref","unstructured":"F. Alencar, B. Mar\u00edn, G. Giachetti, O. Pastor, J. Castro, and J. H. Pimentel, From i* requirements models to conceptual models of a model driven development process, in: Proceedings of the 2nd Working Conference on the Practice of Enterprise Modeling (PoEM), 2009.","DOI":"10.1007\/978-3-642-05352-8_9"},{"key":"10.1016\/j.is.2016.06.011_bib24","unstructured":"IEEE, IEEE 1012 Standard for Software Verification and Validation, 2004."},{"key":"10.1016\/j.is.2016.06.011_bib25","unstructured":"ISO, International vocabulary of basic and general terms in metrology (VIM), Geneva, Switzerland2004."},{"key":"10.1016\/j.is.2016.06.011_bib26","series-title":"Modelling Strategic Relationships for Process Reengineering","author":"Yu","year":"1995"},{"key":"10.1016\/j.is.2016.06.011_bib27","unstructured":"E. Yu, Towards modelling and reasoning support for early-phase requirements engineering, in: Proceedings of the\u00a03rd IEEE International Symposium on Requirements Engineering (RE\u201997), 1997."},{"key":"10.1016\/j.is.2016.06.011_bib28","doi-asserted-by":"crossref","unstructured":"E. Yu, P. Giorgini, N. Maiden, and J. Mylopoulos, Social Modeling for Requirements Engineering: The MIT Pres, 2011.","DOI":"10.7551\/mitpress\/7549.001.0001"},{"key":"10.1016\/j.is.2016.06.011_bib29","doi-asserted-by":"crossref","first-page":"1055","DOI":"10.1109\/32.738339","article-title":"Guiding goal modelling using scenarios","volume":"24","author":"Rolland","year":"1998","journal-title":"IEEE Trans. Softw. Eng. (IEEE TSE)"},{"key":"10.1016\/j.is.2016.06.011_bib30","unstructured":"E. Yu, Modelling Strategic Relationships for Process Reengineering, PhD Thesis PhD Thesis, University of Toronto, Toronto, Canada 1995."},{"key":"10.1016\/j.is.2016.06.011_bib31","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1016\/S0306-4379(01)00035-7","article-title":"The OO-method approach for information systems modelling: from object-oriented conceptual modeling to automated programming","volume":"26","author":"Pastor","year":"2001","journal-title":"Inf. Syst."},{"key":"10.1016\/j.is.2016.06.011_bib32","first-page":"5","volume":"2","author":"OMG","year":"2013","journal-title":"\"UML Simpl. UML"},{"key":"10.1016\/j.is.2016.06.011_bib33","unstructured":"R. Pohjonen and S. Kelly, Domain-Specific Modeling,\" Dr. Dobb's Journal, 2002."},{"key":"10.1016\/j.is.2016.06.011_bib34","article-title":"Requirements variability models: metamodel based transformations","author":"Laguna","year":"2005","journal-title":"Symp. Metainformatics (MIS 05)"},{"key":"10.1016\/j.is.2016.06.011_bib35","doi-asserted-by":"crossref","unstructured":"A. Lapouchnian, Y. Yu, S. Liaskos, and J. Mylopoulos, Requirements-driven design of autonomic application software,\" Conference of the Center for Advanced Studies on Collaborative Research (CASCON 2006), 2006.","DOI":"10.1145\/1188966.1188976"},{"key":"10.1016\/j.is.2016.06.011_bib36","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/j.infsof.2015.04.003","article-title":"A complete approach for CIM modelling and model formalising","volume":"65","author":"Li","year":"2015","journal-title":"Inf. Softw. Technol."},{"key":"10.1016\/j.is.2016.06.011_bib37","doi-asserted-by":"crossref","unstructured":"E. Letier and A. Lamsweerde, Deriving Operational Software Specifications from System Goals, 10th ACM SIGSOFT Symp. on the Foundations of Software Engineering (FSE10), 2002.","DOI":"10.1145\/587068.587070"},{"key":"10.1016\/j.is.2016.06.011_bib38","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1002\/int.20433","article-title":"Evaluating goal models within the goaloriented requirement language","volume":"25","author":"Amyot","year":"2010","journal-title":"Int. J. Intell. Syst. (IJIS)"},{"key":"10.1016\/j.is.2016.06.011_bib39","doi-asserted-by":"crossref","unstructured":"P. Giorgini, S. Rizzi, and M. Garzetti, Goal-oriented Requirement Analysis for Data Warehouse Design, in: Proceedings of the 8th Int. Workshop on Data Warehousing and OLAP, 2005.","DOI":"10.1145\/1097002.1097011"},{"key":"10.1016\/j.is.2016.06.011_bib40","doi-asserted-by":"crossref","unstructured":"J. Pardillo, F. Molina, C. Cachero, and A. Toval, A UML Profile for Modelling Measurable Requirements, in: Proceedings of the 4th International Workshop on Foundations and Practices of UML (FP-UML) ER Workshop, 2008.","DOI":"10.1007\/978-3-540-87991-6_17"},{"key":"10.1016\/j.is.2016.06.011_bib41","doi-asserted-by":"crossref","first-page":"59","DOI":"10.5381\/jot.2005.4.9.a1","article-title":"A survey of metrics for UML class diagrams","volume":"4","author":"Genero","year":"2005","journal-title":"J. Object Technol."},{"key":"10.1016\/j.is.2016.06.011_bib42","article-title":"A comparison of metrics for UML class diagrams","volume":"29","author":"Tong","year":"2004","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"10.1016\/j.is.2016.06.011_bib43","doi-asserted-by":"crossref","unstructured":"B. Mar\u00edn, G. Giachetti, and O. Pastor, Applying a functional size measurement procedure for defect detection in MDD environments, in: Proceedings of the 16th European Conference EUROSPI, Alcal\u00e1 (Madrid), Spain, 2009.","DOI":"10.1007\/978-3-642-04133-4_5"},{"key":"10.1016\/j.is.2016.06.011_bib44","doi-asserted-by":"crossref","unstructured":"G. Giachetti, B. Mar\u00edn, and X. Franch, Using measures for verifying and improving requirement models in MDD processes, in: Proceedings of the 14th International Conference on Quality Software, Allen, TX, USA, 2014.","DOI":"10.1109\/QSIC.2014.52"},{"key":"10.1016\/j.is.2016.06.011_bib45","unstructured":"OMG, MOF 2.4.2 Core Specification, 2014."},{"key":"10.1016\/j.is.2016.06.011_bib46","unstructured":"OMG, XMI 2.4.2 Specification, 2014."},{"key":"10.1016\/j.is.2016.06.011_bib47","doi-asserted-by":"crossref","unstructured":"F. Alencar, O. Pastor, B. Mar\u00edn, G. Giachetti, and J. Castro, Aligning goal-oriented requirements engineering and model-driven development, in: Proceedings of the 11th International Conference on Enterprise Information Systems (ICEIS), 2009.","DOI":"10.5220\/0001956303470350"},{"key":"10.1016\/j.is.2016.06.011_bib48","unstructured":"X. Franch, A Method for the Definition of Metrics over i* Models, in: Proceedings of the 21st International Conference on Advanced Information Systems (CAiSE 2009), 2009."},{"key":"10.1016\/j.is.2016.06.011_bib49","doi-asserted-by":"crossref","unstructured":"X. Franch and G. Grau, Towards a Catalogue of Patterns for Defining Metrics over i* Models, in: Proceedings of the 20th International Conference on Advanced Information Systems (CAiSE 2008), 2008.","DOI":"10.1007\/978-3-540-69534-9_16"},{"key":"10.1016\/j.is.2016.06.011_bib50","unstructured":"O. Pastor, G. Giachetti, B. Mar\u00edn, and F. Valverde, Automating the Interoperability of Conceptual Models in Specific Development Domains, in Domain Engineering: Product Lines, Languages, and Conceptual Models, I. Reinhartz-Berger, A. Sturm, T. Clark, S. Cohen, and J. Bettin, Eds., ed: Springer, 2013, pp. 349-374."},{"key":"10.1016\/j.is.2016.06.011_bib51","series-title":"Intentional Perpectives on Information Systems Engineering","first-page":"255","article-title":"Linking goal-oriented requirements and model-driven development","author":"Pastor","year":"2010"},{"key":"10.1016\/j.is.2016.06.011_bib52","doi-asserted-by":"crossref","unstructured":"G. Giachetti, F. Valverde, and O. Pastor, Improving Automatic UML2 Profile Generation for MDA Industrial Development, in: Proceedings of the 4th International Workshop on Foundations and Practices of UML (FP-UML) \u2013 ER Workshop, 2008.","DOI":"10.1007\/978-3-540-87991-6_16"},{"key":"10.1016\/j.is.2016.06.011_bib53","doi-asserted-by":"crossref","unstructured":"G. Giachetti, F. Valverde, and B. Mar\u00edn, Interoperability for model-driven development: Current state and future challenges, RCIS 2012, Valencia - Spain, 2012.","DOI":"10.1109\/RCIS.2012.6240445"},{"key":"10.1016\/j.is.2016.06.011_bib54","unstructured":"Eclipse. Model Development Tools Project. Available: \u3008http:\/\/www.eclipse.org\/modeling\/mdt\/\u3009"},{"key":"10.1016\/j.is.2016.06.011_bib55","unstructured":"Eclipse. (Last accessed July 2015). Modeling Framework Project. Available: \u3008http:\/\/www.eclipse.org\/modeling\/emf\/\u3009"},{"key":"10.1016\/j.is.2016.06.011_bib56","doi-asserted-by":"crossref","unstructured":"F. Jouault and I. Kurtev, Transforming Models with ATL, Satellite Events at the MoDELS 2005 Conference, 2005.","DOI":"10.1007\/11663430_14"},{"key":"10.1016\/j.is.2016.06.011_bib57","unstructured":"OMG, QVT 1.1 Specification, 2011."},{"key":"10.1016\/j.is.2016.06.011_bib58","first-page":"2353","article-title":"Linking UML and MDD through UML profiles: a practical approach based on the UML association","volume":"16","author":"Giachetti","year":"2010","journal-title":"J. Univers. Comput. Sci. (JUCS)"},{"key":"10.1016\/j.is.2016.06.011_bib59","doi-asserted-by":"crossref","unstructured":"G. Giachetti, B. Mar\u00edn, and O. Pastor, Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles, in: Proceedings of the 21st International Conference on Advanced Information Systems Engineering (CAiSE), Amsterdam, The Netherlands, 2009.","DOI":"10.1007\/978-3-642-02144-2_13"},{"key":"10.1016\/j.is.2016.06.011_bib60","doi-asserted-by":"crossref","unstructured":"F. Alencar, B. Mar\u00edn, G. Giachetti, O. Pastor, J. Castro, and J. H. Pimentel, From i* requirements models to conceptual models of a model driven development process, in: Proceedings of the 2nd Working Conference on The Practice of Enterprise Modeling (PoEM 2009), 2009.","DOI":"10.1007\/978-3-642-05352-8_9"},{"key":"10.1016\/j.is.2016.06.011_bib61","first-page":"145","article-title":"Integration of domain-specific modelling languages and UML through UML profile extension mechanism","volume":"6","author":"Giachetti","year":"2009","journal-title":"Int. J. Comput. Sci. Appl."},{"key":"10.1016\/j.is.2016.06.011_bib62","unstructured":"C. Ayala, C. Cares, J. P. Carvallo, G. Grau, M. Haya, G. Salazar, et al., A Comparative Analysis of i*-Based Goal-Oriented Modelling Languages, in: Proceedings of the International Workshop on Agent-Oriented Software Development Methodologies (AOSDM'05), at the SEKE Conference, Taipei, Taiw\u00e1n; China., 2005."},{"key":"10.1016\/j.is.2016.06.011_bib63","unstructured":"X. Franch, Incorporating Modules into the i* Framework, in: Proceedings of the 22nd International Conference on Advanced Information Systems (CAiSE 2010), Hammamet, Tunisia, 2010."},{"key":"10.1016\/j.is.2016.06.011_bib64","doi-asserted-by":"crossref","unstructured":"M. Lucena, E. Santos, M. J. Silva, C. Silva, F. Alencar, and J. F. B. Castro, Towards a Unified Metamodel for i*, in: Proceedings of the 2nd IEEE International Conference on Research Challenges in Information Science (RCIS 2008), 2008.","DOI":"10.1109\/RCIS.2008.4632112"},{"key":"10.1016\/j.is.2016.06.011_bib65","doi-asserted-by":"crossref","unstructured":"D. Amyot, J. Horkoff, D. Gross, and G. Mussbacher, A lightweight GRL profile for i* modeling,\" in: Proceedings of the 3rd International Workshop on Requirements, Intentions and Goals in Conceptual Modeling (RIGIM) ER Workshops, 2009.","DOI":"10.1007\/978-3-642-04947-7_31"},{"key":"10.1016\/j.is.2016.06.011_bib66","unstructured":"B. Mar\u00edn, G. Giachetti, and O. Pastor, Technical Report DSIC-II\/13\/08. The Photography Agency: A case study of the OO-Method Approach, Universidad Polit\u00e9cnica de Valencia, Valencia, Spain2008."},{"key":"10.1016\/j.is.2016.06.011_bib67","unstructured":"ISO\/IEC, ISO\/IEC 9126-1, Software Eng. \u2013 Product Quality \u2013 Part 1: Quality model, 2001."},{"key":"10.1016\/j.is.2016.06.011_bib68","series-title":"Experimentation in Software Engineering \u2013 An Introduction","author":"Wohlin","year":"2000"},{"key":"10.1016\/j.is.2016.06.011_bib69","first-page":"16","article-title":"Adding interoperability to requirements models","volume":"15","author":"Monteiro","year":"2013","journal-title":"Softw. Qual. Profess."},{"key":"10.1016\/j.is.2016.06.011_bib70","doi-asserted-by":"crossref","unstructured":"J. C. Nwokeji, T. Clark, and B. S. Barn, A proposal for consolidated intentional modeling language, Proceedings of the Second Workshop on Graphical Modeling Language Development, 2013.","DOI":"10.1145\/2489820.2489826"},{"key":"10.1016\/j.is.2016.06.011_bib71","doi-asserted-by":"crossref","unstructured":"I. Salman, A. T. Misirli, and N. Juristo, Are students representatives of professionals in software engineering experiments? in: Proceedings of the 37th International Conference on Software Engineering \u2013 ICSE 2015, Piscataway, NJ, USA, 2015.","DOI":"10.1109\/ICSE.2015.82"},{"key":"10.1016\/j.is.2016.06.011_bib72","series-title":"Experimentation in Software Engineering","author":"Wohlin","year":"2012"},{"key":"10.1016\/j.is.2016.06.011_bib73","series-title":"Guide to Advanced Empirical Software Engineering","first-page":"201","article-title":"Reporting experiments in software engineering","author":"Jedlitschka","year":"2008"},{"key":"10.1016\/j.is.2016.06.011_bib74","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/s10664-008-9102-8","article-title":"Guidelines for conducting and reporting case study research in software engineering","volume":"14","author":"Runeson","year":"2009","journal-title":"Empir. Softw. Eng. J."},{"key":"10.1016\/j.is.2016.06.011_bib75","doi-asserted-by":"crossref","unstructured":"S. Kent, Model Driven Engineering, Integrated Formal Methods (IFM), 2002.","DOI":"10.1007\/3-540-47884-1_16"}],"container-title":["Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0306437915300478?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0306437915300478?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,11,2]],"date-time":"2019-11-02T09:58:56Z","timestamp":1572688736000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0306437915300478"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":75,"alternative-id":["S0306437915300478"],"URL":"https:\/\/doi.org\/10.1016\/j.is.2016.06.011","relation":{},"ISSN":["0306-4379"],"issn-type":[{"value":"0306-4379","type":"print"}],"subject":[],"published":{"date-parts":[[2017,3]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Verifying goal-oriented specifications used in model-driven development processes","name":"articletitle","label":"Article Title"},{"value":"Information Systems","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.is.2016.06.011","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2016 Elsevier Ltd. All rights reserved.","name":"copyright","label":"Copyright"}]}}