Scholarly Works

Refinement and Development of Programs from...

Journal article

Refinement and Development of Programs from Relational Specifications

Abstract

These tutorial notes present an overview of specification and refinement concepts and methods that are based on relations.

Authors

Kahl W

Journal

Electronic Notes in Theoretical Computer Science, Vol. 44, No. 3, pp. 51–93

Publisher

Elsevier

Publication Date

January 1, 2003

DOI

10.1016/s1571-0661(04)80932-0

ISSN

1571-0661

Associated Experts

Wolfram Kahl

Professor, Faculty of Engineering

Labels

Fields of Research (FoR)

46 Information and Computing Sciences 4612 Software Engineering 4613 Theory of computation

View published work (Non-McMaster Users)

View published work (McMaster Users)

Contact the Experts team

Get technical help

or

Provide website feedback