Refactoring alloy specifications

Electronic Notes in Theoretical Computer Science

Volumn 95, Issue , 2004, Pages 227-243

  Gheyi, Rohit ^a   Borba, Paulo ^a  

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

Author keywords

Formal Methods; Model Checking; Model Transformations; Refactoring

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SOFTWARE; CONSTRAINT THEORY; JAVA PROGRAMMING LANGUAGE; SEMANTICS; SET THEORY; SOFTWARE ENGINEERING; THEOREM PROVING;

FORMAL METHODS; MODEL CHECKING; MODEL TRANSFORMATIONS; REFACTORING;

OBJECT ORIENTED PROGRAMMING;

EID: 18144380990     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.04.014     Document Type: Conference Paper

References (20)

1. Beck K. Extreme Programming Explained. 2000;Addison-Wesley
2. Booch G., Jacobson I., Rumbaugh J. The Unified Modelling Language User Guide. 1999;Addison-Wesley
3. Borba P., Sampaio A. Basic laws of ROOL: an object-oriented language. Revista Brasileira de Informática Teórica e Aplicada. VII:2000;. A shorter version appeared in Third Brazilian Workshop on Formal Methods, pages 33-44, João Pessoa, Brazil, October 2000., pp. 49-68
4. Borba P., Sampaio A., Cornélio M. A refinement algebra for object-oriented programming. 17th European Conference on Object-Oriented Programming, ECOOP'03, Darmstadt, Germany. 2003;457-482
5. Evans A. Reasoning with UML class diagrams. Second IEEE Workshop on Industrial Strength Formal Specification Techniques, WIFT'98, Boca Raton/FL, USA. 1998;102-113
6. Fowler M. Refactoring: Improving the Design of Existing Code. 1999;Addison-Wesley
7. Gogolla M., Richters M. Equivalence rules for UML class diagrams. The Unified Modeling Language, UML'98 - Beyond the Notation. First International Workshop, Mulhouse, France, June, 1998. 1998;87-96
8. Gosling J., Joy B., Steele G. The Java Language Specification. 1996;Addison-Wesley
9. Hoare C., Spivey J., Hayes I., He J., Morgan C., Roscoe A.W., Sanders J., Sorenson I., Sufrin B. Laws of programming. Communications of the ACM. 30:1987;672-686
10. Jackson D. Object models as heap invariants. Essays on Programming Methodology. 2000;Springer-Verlag
11. Jackson D., Fekete A. Lightweight analysis of object interactions. Fourth International Symposium on Theoretical Aspects of Computer Software, Sendai, Japan. 2001
12. Jackson D., Schechter I., Shlyakhter I. Alcoa: the alloy constraint analyzer. International Conference on Software Engineering, Limerick, Ireland. 2000;730-733
13. Jackson D., Shlyakhter I., Sridharan M. A micromodularity mechanism. ACM SIGSOFT Conference on Foundations of Software Engineering/European Software Engineering Conference (FSE/ESEC'01), Vienna, Austria. 2001;62-73
14. Jackson D., Sullivan K. COM revisited: Tool assisted modelling and analysis of software structures. ACM SIGSOFT Conference on Foundations of Software Engineering, San Diego, USA. 2000;149-158
15. Kleppe A., Warmer J. The Object Constraint Language: Precise Modeling with UML. 1999;Addison-Wesley
16. Lano K., Bicarregui J. Semantics and transformations for UML models. The Unified Modeling Language, UML'98 - Beyond the Notation. First International Workshop, Mulhouse, France, June 1998. 1998;97-106
17. Liskov B., Guttag J. Program Development in Java. 2001;Addison-Wesley
18. Meseguer J. A logical theory of concurrent objects and its realization in the maude language. Object Oriented Programming. 1993;314-390 MIT Press
19. Spivey J. The Z Notation: A Reference Manual. C.A.R. Hoare Series Editor:1989;Prentice Hall
20. Sunyé G., Pollet D., Traon Y., Jézéquel J.-M. Refactoring UML models. The Unified Modeling Language, UML'01 - Modeling Languages, Concepts, and Tools. Fourth International Conference, Toronto, Canada, October 2001, Proceedings. LNCS. 2185:2001;134-148