Work

A semantic framework for object-oriented development.

Year: 1999

Type: book

Abstract: A categorical model of object-oriented systems is proposed and denoted using a -calculus.The model is used to provide a de nition of design re nement.An example system is rigorously developed in Java from an initial user requirements by re ning an initial design.

Source: Middlesex University Research Repository (Middlesex University Of London)

Author: Tony Clark

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1603280810

FWCI: 0.656

Cites:

Cited by: 2

Related to: 10