Esteu aquí

Resultats

  • CLARISÓ, R; , G; CABOT, J. (2020). "Incremental Verification of UML/OCL Models". Journal of Object Technology. 19 (3), pàg. 1 - 16. ISSN: 1660-1769. DOI. 10.5381/jot.2020.19.3.a7
  • CLARISÓ, R; CABOT, J. (2020). "Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering". A: HOUDEK, F; MÉRY, D; RASCHKE, A. Rigorous State-Based Methods : 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings. Cham: Springer Nature, pàg. 27 - 43. ISBN: 978-3-030-48076-9.
  • GASPARINI, M; CLARISÓ, R; BRAMBILLA, M; CABOT, J. (2020). "Participation Inequality and the 90-9-1 Principle in Open Source". OpenSym 2020: Proceedings of the 16th International Symposium on Open Collaboration. New York, NY: Association for computing machinery, pàg. 1 - 7. ISBN: 978-1-4503-8779-8.
  • CLARISÓ, R; GONZÁLEZ, C.A; CABOT, J. (2019). "Smart Bound Selection for the Verification of UML/OCL Class Diagrams". IEEE Transactions on Software Engineering. 45 (4), pàg. 421 - 426. ISSN: 0098-5589. DOI. 10.1109/TSE.2017.2777830
  • RODRÍGUEZ, J.R; CLARISÓ, R; MARCO, J.M. (2019). "Strategy in the making: assessing the execution of a strategic information systems plan". Lecture Notes in Business Information Processing. 341 pàg. 475 - 488. ISSN: 1865-1348. DOI. 10.1007/978-3-030-11395-7_37
  • RODRÍGUEZ, J.R; CLARISÓ, R; MARCO, J.M. (2019). "Towards a Framework for Assessing IT Strategy Execution". Computers. 8 (3), pàg. 1 - 21. ISSN: 2073-431X. DOI. 10.3390/computers8030069
  • CLARISÓ, R; GOGOLLA, M. (2019). "A feasibility study on using classifying terms in alloy. A case study". CEUR Workshop Proceedings. 2513 pàg. 45 - 58. ISSN: 1613-0073.
  • BURGUEÑO, L; CABOT, J; CLARISÓ, R; GOGOLLA, M. (2019). "A systematic approach to generate diverse instantiations for conceptual schemas". Lecture Notes in Computer Science. 11788 pàg. 513 - 521. ISSN: 0302-9743. DOI. 10.1007/978-3-030-33223-5_42
  • GASPARINI, M; CÁNOVAS, J.L; CLARISÓ, R; BRAMBILLA, M; CABOT, J. (2019). "Analyzing rich-club behavior in open source projects". OpenSym '19. Proceedings of the 15th International Symposium on Open Collaboration. New York, NY: ACM Press, ISBN: 978-1-4503-6319-8.
  • BURGUEÑO, L; CLARISÓ, R; CABOT, J; GÉRARD, S; VALLECILLO, A. (2019). "Belief uncertainty in software models". 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE). Los Alamitos, CA: IEEE Computer Society, pàg. 19 - 26. ISBN: 978-1-7281-2231-1.