Add to ORKGObject-oriented programming laws have been proposed in the context of languages that are not com-bined with a behavioral interface specification language (BISL). The strong dependence between source-code and interface specifications may cause a number of difficulties when transforming pro-grams. In this paper we introduce a set of programming laws for object-oriented languages like Java combined with the Java Modeling Language (JML). The set of laws deals with object-oriented fea-tures taking into account their specifications. Some laws deal only with features of the specification language. These laws constitute a set of small transformations for the development of more elaborate ones like refactorings.
The Java Modeling Language (JML) can be used to specify the detailed design of Java classes and inte...
The object-oriented paradigm represents a significant shift in approach to the development of comple...
AbstractIn this paper we present how refactoring of object-oriented programs can be accomplished by ...
Object-oriented programming laws have been proposed in the context of languages that are not combine...
Specification notations such as JML and Spec# which are embedded into program code provide a promisi...
AbstractThis paper proposes modeling laws for Alloy, a formal object-oriented modeling language. The...
Programming laws are a means of stating properties of programming con-structs and resoning about pro...
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling L...
JML is a behavioral interface specification language tailored to Java. It also allows assertions to ...
The development of programming languages is challenging because the typical language processing tool...
The Object Constraint Language OCL is a textual specification language that could be used for constr...
Proving programs in a fully mathematical and rigorous way is hard and time consuming. Although there...
JML is a behavioral interface specification language tailored to Java. It is designed to be written ...
For novices, learning an object-oriented programming language can be a daunting task. Not only do st...
This text is a general, self contained, and tool independent introduction into the Java Modeling Lan...
The Java Modeling Language (JML) can be used to specify the detailed design of Java classes and inte...
The object-oriented paradigm represents a significant shift in approach to the development of comple...
AbstractIn this paper we present how refactoring of object-oriented programs can be accomplished by ...
Object-oriented programming laws have been proposed in the context of languages that are not combine...
Specification notations such as JML and Spec# which are embedded into program code provide a promisi...
AbstractThis paper proposes modeling laws for Alloy, a formal object-oriented modeling language. The...
Programming laws are a means of stating properties of programming con-structs and resoning about pro...
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling L...
JML is a behavioral interface specification language tailored to Java. It also allows assertions to ...
The development of programming languages is challenging because the typical language processing tool...
The Object Constraint Language OCL is a textual specification language that could be used for constr...
Proving programs in a fully mathematical and rigorous way is hard and time consuming. Although there...
JML is a behavioral interface specification language tailored to Java. It is designed to be written ...
For novices, learning an object-oriented programming language can be a daunting task. Not only do st...
This text is a general, self contained, and tool independent introduction into the Java Modeling Lan...
The Java Modeling Language (JML) can be used to specify the detailed design of Java classes and inte...
The object-oriented paradigm represents a significant shift in approach to the development of comple...
AbstractIn this paper we present how refactoring of object-oriented programs can be accomplished by ...