Rohit Gheyi, Paulo Borba  Home/Search
Context
Related
| nazare.cin.ufpe.br...ions_ENTCS2004.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: nazare.cin.ufpe...reaPublications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. (Update)
Active bibliography (related documents): More All
0.3: Algebraic Reasoning for Object-Oriented Programming - Borba, Sampaio, Cavalcanti, .. (2004) (Correct)
0.3: A Predicative Semantics of Objects and References - Chen (Correct)
0.2: A Language for Specifying Java Transformations - Castor, Borba (2001) (Correct)
Similar documents based on text: More All
1.0: Refactoring Alloy Specifications - Rohit Gheyi Paulo (2003) (Correct)
0.8: Proving Aspect-Oriented Programming Laws - Leonardo Cole Lcn (2005) (Correct)
0.3: Implementing Distribution and Persistence Aspects with AspectJ - Soares, Laureano, Borba (2002) (Correct)
BibTeX entry: (Update)
@misc{ gheyi-refactoring,
author = "Rohit Gheyi and Paulo Borba",
title = "Refactoring Alloy Specifications",
url = "citeseer.ist.psu.edu/gheyi04refactoring.html" }
Citations (may not include all citations):862 The Java Language Specification - Gosling, Joy et al. - 1996
245 Refactoring: Improving the Design of Existing Code (context) - Fowler - 1999
126 A logical theory of concurrent objects and its realization i.. (context) - Meseguer - 1993
125 Extreme Programming Explained (context) - Beck - 2000
108 Communications of the ACM (context) - Hoare, Spivey et al. - 1987
79 The Unified Modelling Language User Guide (context) - Booch, Jacobson et al. - 1999
61 Alcoa: the alloy constraint analyzer (context) - Jackson, Schechter et al. - 2000
30 A micromodularity mechanism (context) - Jackson, Shlyakhter et al. - 2001
30 Reasoning with UML class diagrams - Evans - 1998
26 The Z Notation: A Reference Manual (context) - Spivey - 1989
19 Semantics and transformations for UML models (context) - Lano, Bicarregui - 1998
12 Equivalence rules for UML class diagrams - Gogolla, Richters - 1998
12 Lightweight analysis of object interactions (context) - Jackson, Fekete - 2001
10 Program Development in Java (context) - Liskov, Guttag - 2001
10 Object models as heap invariants (context) - Jackson - 2000
8 COM revisited: Tool assisted modelling and analysis of softw.. - Jackson, Sullivan - 2000
7 Refactoring UML models - Sunye, Pollet et al. - 2001
5 The Object Constraint Language: Precise Modeling with UML (context) - Kleppe, Warmer - 1999
4 Basic laws of ROOL: an object-oriented language - Borba, Sampaio - 2000
3 A refinement algebra for object-oriented programming - Borba, Sampaio et al. - 2003
Documents on the same site (http://nazare.cin.ufpe.br/twiki/bin/view/SPG/GenteAreaPublications): More
A Refinement Algebra for Object-Oriented Programming - Borba, Sampaio, Cornelio (2003) (Correct)
Using Aspects to Structure Small Devices Adaptive Applications - Dantas, Borba, Alves (Correct)
JaTS: A Java Transformation System - Kellen (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC