Integrating a Program Design Calculus and a Subset of UML

Research output: Contribution to journalArticlepeer-review


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 languageUndefined/Unknown
Pages (from-to)82-99
Number of pages18
JournalInt. J. Hum.-Comput. Stud.
Issue number2
Publication statusPublished - 1999

Cite this