You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Birmingham City University » Outputs » Detail

Output details

11 - Computer Science and Informatics

Birmingham City University

Return to search Previous output Next output

Output 15 of 30 in the submission

Article title

Graph transformations for object-oriented refinement

Type

D - Journal article

DOI

10.1007/s00165-007-0067-y

Title of journal

Formal Aspects of Computing

Article number

Volume number

Issue number

1-2

First page of article

103

ISSN of journal

1433-299X

Year of publication

2008

URL

http://link.springer.com/article/10.1007/s00165-007-0067-y#page-1

Number of additional authors

Additional information

<07> This paper defines for the first time the notion of oo structural refinement, and establishes the laws of oo programming as refinement calculi do for structured programming. The theories of soundness and completeness allows OO refactoring and design patterns to be used as refinement law, forming the foundation for correct by design of oo programs. Presenting refinement laws in graph transformations supports tool development.

It forms part of the foundation of the internationally known method of refinement of Component and Object Systems (rCOS) that is followed by a dozen of research groups in the world, and over projects in Mainland China.

Interdisciplinary

Cross-referral requested

Research group

3 - Software Engineering

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract