Property-Based Methods for Collaborative Model Development

  title={Property-Based Methods for Collaborative Model Development},
  author={Marsha Chechik and Fabiano Dalpiaz and Csaba Debreceni and Jennifer Horkoff and Istv{\'a}n R{\'a}th and Rick Salay and D{\'a}niel Varr{\'o}},
Large-scale software projects are often faced with the challenge of enabling the high degree of collaborative and concurrent development required to meet the aggressive delivery schedules while still maintaining a high standard of system correctness and safety. While Model-Driven Engineering (MDE) can be e ective in accelerating development, traditional… CONTINUE READING