@article{ yang_08_integrating,
  abstract = {It is a challenge for automatic tool support to formal design by refinement transformations. In this paper, we bring this matter to the attention of the research community and discuss a component-based model transformational approach for integrating refinement into software development tools. Models, their consistency and correctness, in an object-oriented and component-based development process are defined in rCOS, that is a refinement calculus recently developed at UNU-IIST. Correctness preserving transformations between models are formalized and proved as refinement rules in rCOS. In this paper, we will discuss on how these transformations can be implemented in the relations language of Query/View/Transformation (QVT) standardized by OMG.},
  added-at = {2009-02-11T20:47:08.000+0100},
  author = {Yang, Lu and Stolz, Volker},
  biburl = {http://www.bibsonomy.org/bibtex/2aec05e3f0847915bc9499ec527130cd6/leonardo},
  booktitle = {Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2007)},
  citeulike-article-id = {2669381},
  doi = {10.1016/j.entcs.2008.03.086},
  interhash = {a7a343fb52ea05d621f6a3a8202830d5},
  intrahash = {aec05e3f0847915bc9499ec527130cd6},
  journal = {Electronic Notes in Theoretical Computer Science},
  keywords = {2008 refinement},
  month = {April},
  pages = {69--88},
  posted-at = {2008-04-14 15:37:15},
  priority = {5},
  title = {Integrating Refinement into Software Development Tools},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.03.086},
  volume = {207},
  year = {2008}
}

{"_id":{"_str":"536b2e037d1b7b356e002a99"},"__v":0,"authorIDs":[],"author_short":["Yang, L.","Stolz, V."],"bibbaseid":"yang-stolz-integratingrefinementintosoftwaredevelopmenttools-2008","bibdata":{"downloads":0,"keyword":["2008 refinement"],"bibbaseid":"yang-stolz-integratingrefinementintosoftwaredevelopmenttools-2008","urls":{"Paper":"http://dx.doi.org/10.1016/j.entcs.2008.03.086"},"role":"author","year":"2008","volume":"207","url":"http://dx.doi.org/10.1016/j.entcs.2008.03.086","type":"article","title":"Integrating Refinement into Software Development Tools","priority":"5","posted-at":"2008-04-14 15:37:15","pages":"69--88","month":"April","keywords":"2008 refinement","key":"yang_08_integrating","journal":"Electronic Notes in Theoretical Computer Science","intrahash":"aec05e3f0847915bc9499ec527130cd6","interhash":"a7a343fb52ea05d621f6a3a8202830d5","id":"yang_08_integrating","doi":"10.1016/j.entcs.2008.03.086","citeulike-article-id":"2669381","booktitle":"Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2007)","biburl":"http://www.bibsonomy.org/bibtex/2aec05e3f0847915bc9499ec527130cd6/leonardo","bibtype":"article","bibtex":"@article{ yang_08_integrating,\n abstract = {It is a challenge for automatic tool support to formal design by refinement transformations. In this paper, we bring this matter to the attention of the research community and discuss a component-based model transformational approach for integrating refinement into software development tools. Models, their consistency and correctness, in an object-oriented and component-based development process are defined in rCOS, that is a refinement calculus recently developed at UNU-IIST. Correctness preserving transformations between models are formalized and proved as refinement rules in rCOS. In this paper, we will discuss on how these transformations can be implemented in the relations language of Query/View/Transformation (QVT) standardized by OMG.},\n added-at = {2009-02-11T20:47:08.000+0100},\n author = {Yang, Lu and Stolz, Volker},\n biburl = {http://www.bibsonomy.org/bibtex/2aec05e3f0847915bc9499ec527130cd6/leonardo},\n booktitle = {Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2007)},\n citeulike-article-id = {2669381},\n doi = {10.1016/j.entcs.2008.03.086},\n interhash = {a7a343fb52ea05d621f6a3a8202830d5},\n intrahash = {aec05e3f0847915bc9499ec527130cd6},\n journal = {Electronic Notes in Theoretical Computer Science},\n keywords = {2008 refinement},\n month = {April},\n pages = {69--88},\n posted-at = {2008-04-14 15:37:15},\n priority = {5},\n title = {Integrating Refinement into Software Development Tools},\n url = {http://dx.doi.org/10.1016/j.entcs.2008.03.086},\n volume = {207},\n year = {2008}\n}","author_short":["Yang, L.","Stolz, V."],"author":["Yang, Lu","Stolz, Volker"],"added-at":"2009-02-11T20:47:08.000+0100","abstract":"It is a challenge for automatic tool support to formal design by refinement transformations. In this paper, we bring this matter to the attention of the research community and discuss a component-based model transformational approach for integrating refinement into software development tools. Models, their consistency and correctness, in an object-oriented and component-based development process are defined in rCOS, that is a refinement calculus recently developed at UNU-IIST. Correctness preserving transformations between models are formalized and proved as refinement rules in rCOS. In this paper, we will discuss on how these transformations can be implemented in the relations language of Query/View/Transformation (QVT) standardized by OMG."},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/Stolz?items=1000","downloads":0,"keywords":["2008 refinement"],"search_terms":["integrating","refinement","software","development","tools","yang","stolz"],"title":"Integrating Refinement into Software Development Tools","year":2008,"dataSources":["jFM9uLHTgFXYfbvH4"]}