%0 Journal Article %1 gheyi_04_refactoring %A Gheyi, Rohit %A Borba, Paulo %B Proceedings of the Brazilian Workshop on Formal Methods %D 2004 %J Electronic Notes in Theoretical Computer Science %K _hardcopy 2004 alloy refactoring %P 227--243 %R 10.1016/j.entcs.2004.04.014 %T Refactoring Alloy Specifications %U http://dx.doi.org/10.1016/j.entcs.2004.04.014 %V 95 %X This paper proposes modeling laws for Alloy, a formal object-oriented modeling language. These laws are important not only to define the axiomatic semantics of Alloy but also to guide and formalize popular software development practices. In particular, these laws can be used to formaly refactor specifications. As an example, we formally refactor a specification for Java types.

@article{gheyi_04_refactoring, abstract = {This paper proposes modeling laws for Alloy, a formal object-oriented modeling language. These laws are important not only to define the axiomatic semantics of Alloy but also to guide and formalize popular software development practices. In particular, these laws can be used to formaly refactor specifications. As an example, we formally refactor a specification for Java types.}, added-at = {2009-02-11T21:06:10.000+0100}, author = {Gheyi, Rohit and Borba, Paulo}, biburl = {https://www.bibsonomy.org/bibtex/2fe3794d5e2a1ba6debe0e2c4b6422fff/leonardo}, booktitle = {Proceedings of the Brazilian Workshop on Formal Methods}, citeulike-article-id = {2300165}, doi = {10.1016/j.entcs.2004.04.014}, interhash = {e9f4c87b0c77728d030d887f931b1f1e}, intrahash = {fe3794d5e2a1ba6debe0e2c4b6422fff}, journal = {Electronic Notes in Theoretical Computer Science}, keywords = {_hardcopy 2004 alloy refactoring}, month = May, pages = {227--243}, posted-at = {2008-01-28 23:27:51}, priority = {2}, timestamp = {2009-02-11T21:06:10.000+0100}, title = {Refactoring Alloy Specifications}, url = {http://dx.doi.org/10.1016/j.entcs.2004.04.014}, volume = 95, year = 2004 }