The DSRG interests touch most aspects of Software Engineering. Most recently, research has been conducted in the areas of:
- Requirements Specification.
- Model Driven Design (MDD).
Recent publications
- S. Barrett, P. Chalin, and G. Butler, “Table-Driven Detection and Resolution of Operation-Based Merge Conflicts in Mirador”. Proceedings of the European Conference on Modelling Foundations and Applications (ECMFA), Birmingham, UK, 2011
- D. Sinnig, F. Khendek, and P. Chalin, “Partial Order Semantics for Use Case and Task Models”, Formal Aspects of Computing, 2010.
- S. Barrett, P. Chalin, and G. Butler, “Decoupling Operation-Based Merging from Model Change Recording”. Proc. of
the Models and Evolution Workshop (ME), Oslo, Oct. 2010. Presentation (PDF).
- S. Barrett, G. Butler, and P. Chalin, “Mirador: a Synthesis of Model Matching Strategies”. Proceedings of the International Workshop on Model Comparison in Practice (IWMCP), Malaga, Spain, July, 2010.
- S. C. Barrett, G. Butler, and P. Chalin, “Techniques for Use Case Modeling in Fujaba”. Proceedings of the 2nd International Conference on Computer Engineering and Technology (ICCET), Chengdu, China, April 2010.
- D. Sinnig, F. Khendek, and P. Chalin, “A Formal Approach to Generating Integrated Functional and User Interface Test Cases”. Proceedings of the International Conference on Software Testing, Verification, and Validation, Paris, April 2010. [26.5%]
- S. Barrett, D. Sinnig, P. Chalin, and G. Butler, “Merging of Use Case Models: Semantic Foundations”. Proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, Tianjin, China, 2009.
- D. Sinnig, P. Chalin, and F. Khendek, “LTS Semantics for Use Case Models”. Proceedings of the ACM Symposium on Applied Computing, Requirements Engineering Track (SAC-RE), Hawaii, March, 2009. [25%]
- S. Barrett, P. Chalin, and G. Butler, “Model Merging Falls Short of Software Engineering Needs”. Proceedings of the Workshop on Model-Driven Software Evolution (MoDSE), 2008. (slides)
- P. Chalin, D. Sinnig, and K. Torkzadeh, “Capturing Business Transaction Requirements in Use Case Models”. Proceedings of the 23rd ACM Symposium on Applied Computing, Requirements Engineering Track (SAC-RE), Fortaleza , Ceará , Brazil , 2008. [~30%]
