Work

Object-oriented Programming Laws for Annotated Java Programs

Year: 2010

Type: article

Abstract: Object-oriented programming laws have been proposed in the context of languages that are not combined with a behavioral interface specification language (BISL). The strong dependence between source-code and interface specifications may cause a number of difficulties when transforming programs. 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 features 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.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.21.6

Authors: Gabriel Falconieri Freitas, Márcio Cornélio, Tiago Massoni, Rohit Gheyi

Language: English

Topic: Model-Driven Software Engineering Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funders: Conselho Nacional de Desenvolvimento Científico e Tecnológico, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco, Instituto Nacional de Ciência e Tecnologia para Engenharia de Software

Awards: G1667595581, G2594626537, G317461943, G4966972500, G586477216, G931470856

OpenAlex ID: W2042990770

FWCI: 0.653

Cites: 22

Cited by: 2

Related to: 10