Property-Based Methods for Collaborative Model Development

@inproceedings{Chechik2015PropertyBasedMF,
  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}},
  booktitle={GEMOC+MPM@MoDELS},
  year={2015}
}
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