Export 46 results:
Sort by: Author Type [ Year  (Desc)]
Filters: First Letter Of Last Name is D  [Clear All Filters]
Diskin, Z., Compositionality of Update Propagation: Lax Putput, , no. GSDLAB TR 2017-02-01, Hamilton, McMaster University, Feb 2017. [pdf]
Diskin, Z., Traceability Mappings as a Fundamental Aspect of Model-to-Model Transformations, , no. GSDLAB--TR 2016-05-01, Hamilton/Waterloo, McMaster University/University of Waterloo, May 2016. [pdf]
Sun, P., Z. Diskin, M. Antkiewicz, and K. Czarnecki, "Modeling and Reasoning with Multirelations, and their encoding in Alloy", 16th International Workshop in OCL and Textual Modeling, 10/2016.
Diskin, Z., Asymmetric Delta-Lenses with Uncertainty: Towards a Formal Framework for Flexible BX, , no. GSDLAB–TR 2016-03-01, Waterloo, University of Waterloo, 03/2016. [pdf]
Diskin, Z., A. Safilian, T. Maibaum, and S. Ben-David, Modeling Product Lines with Kripke Structures and Modal Logic, , no. GSDLAB–TR 2015-04-01, Waterloo/Hamilton, University of Waterloo, ECE, April, 2015. [pdf]
Mojica, I. J., M. Nagappan, B. Adams, T. Berger, S. Dienst, and A. E. Hassan, "An Examination of the Current Rating System used in Mobile App Stores", IEEE Software, 2015.
Diskin, Z., A. Safilian, T. Maibaum, and S. Ben-David, Modeling product lines with Kripke structures and modal logic, , no. GSDLab TR 2014-08-01, Waterloo, University of Waterloo (ECE), 08/2014. [pdf]
Safilian, A., T. Maibaum, and Z. Diskin, The Semantics of Feature Models via Formal Languages (Extended Version), , no. GSDLab TR 2014-08-02, Waterloo/Hamilton, University of Waterloo (ECE)/McMaster University(CAS), 08/2014. [pdf]
Diskin, Z., "Towards Category Theory Foundations for Model Management", GSDLab-TR , no. GSDLab-TR 2014-03-03, Hamilton/Watreloo, McMaster University/University of Waterloo, 03/2014. [pdf]
Diskin, Z., A. Wider, H. Gholizadeh, and K. Czarnecki, A Taxonomic Space for Increasingly Symmetric Model Synchronization, , no. GSDLab TR, 2014-02-01, Waterloo, The University of Waterloo, GSDLab , 02/2014. [pdf]
Mojica, I. J., M. Nagappan, B. Adams, T. Berger, S. Dienst, and A. E. Hassan, " Impact of Ad Libraries on Ratings of Android Mobile Apps", IEEE Software, 2014.
Bąk, K., Z. Diskin, M. Antkiewicz, K. Czarnecki, and A. Wąsowski, "Clafer: Unifying Class and Feature Modeling", Software and Systems Modeling, 2014. [pdf]
Mojica, I. J., B. Adams, M. Nagappan, S. Dienst, T. Berger, and A. E. Hassan, "A Large Scale Empirical Study on Software Reuse in Mobile Apps", IEEE Software, vol. 31, issue 2, 2014.
Mojica, I. J., M. Nagappan, B. Adams, T. Berger, S. Dienst, and A. E. Hassan, "On Ad Library Updates in Android Apps", IEEE Software, 2014.
Berger, T., R-H. Pfeiffer, R. Tartler, S. Dienst, K. Czarnecki, A. Wąsowski, and S. She, "Variability Mechanisms in Software Ecosystems", Information and Software Technology, vol. 56, issue 11, 2014. [pdf]
Diskin, Z., A. Safilian, and T. Maibaum, "Modeling Product Lines with Kripke Structures and Modal Logic", GSD Technical Report, no. TR 2013-10-1, Watreloo, University of Waterloo(ECE) / McMaster University (CAS), 10/2013. [pdf]
Diskin, Z., Lax Lenses, , no. GSDLAB-TR 2013-03-10: University of Waterloo, 03/2013. [pdf]
Diskin, Z., S. Kokaly, and T. Maibaum, Mechanics of Megamodeling: Design Patterns and Laws, , no. GSDLab/McSCert-TR-2013-03-14, Waterloo/Hamilton , University of Waterloo/McMaster University, 03/2013. [pdf]
Antkiewicz, M., K. Bąk, D. Zayan, K. Czarnecki, A. Wąsowski, and Z. Diskin, "Example-Driven Modeling Using Clafer", First International Workshop on Model-driven Engineering By Example, 2013. [ppsx][pdf]
Bąk, K., D. Zayan, K. Czarnecki, M. Antkiewicz, Z. Diskin, A. Wąsowski, and D. Rayside, "Example-Driven Modeling. Model = Abstractions + Examples", New Ideas and Emerging Results (NIER) track of the 35th International Conference on Software Engineering (ICSE 2013), San Francisco, CA, USA, 2013. [pdf]
Dubinsky, Y., J. Rubin, T. Berger, S. Duszynski, M. Becker, and K. Czarnecki, "An Exploratory Study of Cloning in Industrial Software Product Lines", 17th European Conference on Software Maintenance and Reengineering (CSMR), 2013. [pdf]
Diskin, Z., S. Kokaly, and T. Maibaum, "Mapping-aware megamodeling: Design Patterns and Laws", Software Language Engineering: Springer, 2013. [zip]