Integrating a Program Design Calculus and a Subset of UML

Richard F. Paige

doi:10.1093/comjnl/42.2.82

Integrating a Program Design Calculus and a Subset of UML

Richard F. Paige

Computer Science

Research output: Contribution to journal › Article › peer-review

Abstract

The predicative programming design calculus is integrated with an object-oriented method that uses a subset of the Unified Modelling Language. The integration is carried out so as to make the calculus and refinement techniques more applicable to the development of large-scale object- oriented software. The two methods are integrated using a meta-method for formal method integration based on heterogeneous notations. We demonstrate how the methods being integrated complement each other and outline the use of the integrated method in a case study.

Original language	Undefined/Unknown
Pages (from-to)	82-99
Number of pages	18
Journal	Int. J. Hum.-Comput. Stud.
Volume	42
Issue number	2
DOIs	https://doi.org/10.1093/comjnl/42.2.82
Publication status	Published - 1999

Access to Document

10.1093/comjnl/42.2.82

Cite this

@article{fca2911860f5421ebcb3d2f6c34ea680,

title = "Integrating a Program Design Calculus and a Subset of UML",

abstract = "The predicative programming design calculus is integrated with an object-oriented method that uses a subset of the Unified Modelling Language. The integration is carried out so as to make the calculus and refinement techniques more applicable to the development of large-scale object- oriented software. The two methods are integrated using a meta-method for formal method integration based on heterogeneous notations. We demonstrate how the methods being integrated complement each other and outline the use of the integrated method in a case study.",

author = "Paige, {Richard F.}",

year = "1999",

doi = "10.1093/comjnl/42.2.82",

language = "Undefined/Unknown",

volume = "42",

pages = "82--99",

journal = "Int. J. Hum.-Comput. Stud.",

publisher = "Elsevier",

number = "2",

}

TY - JOUR

T1 - Integrating a Program Design Calculus and a Subset of UML

AU - Paige, Richard F.

PY - 1999

Y1 - 1999

N2 - The predicative programming design calculus is integrated with an object-oriented method that uses a subset of the Unified Modelling Language. The integration is carried out so as to make the calculus and refinement techniques more applicable to the development of large-scale object- oriented software. The two methods are integrated using a meta-method for formal method integration based on heterogeneous notations. We demonstrate how the methods being integrated complement each other and outline the use of the integrated method in a case study.

AB - The predicative programming design calculus is integrated with an object-oriented method that uses a subset of the Unified Modelling Language. The integration is carried out so as to make the calculus and refinement techniques more applicable to the development of large-scale object- oriented software. The two methods are integrated using a meta-method for formal method integration based on heterogeneous notations. We demonstrate how the methods being integrated complement each other and outline the use of the integrated method in a case study.

U2 - 10.1093/comjnl/42.2.82

DO - 10.1093/comjnl/42.2.82

M3 - Article

VL - 42

SP - 82

EP - 99

JO - Int. J. Hum.-Comput. Stud.

JF - Int. J. Hum.-Comput. Stud.

IS - 2

ER -