ePrints

Contract-Based Interface Specification Language for Functional and Non-Functional Properties

Lookup NU author(s): Dr Richard Payne, Emeritus Professor John FitzgeraldORCiD

Downloads

• Published version [.pdf]

Licence

This is the final published version of a report that has been published in its final definitive form by School of Computing Science, University of Newcastle upon Tyne, 2011.

For re-use rights please refer to the publisher's terms and conditions.

Publication metadata

Author(s): Payne RJ; Fitzgerald JS

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2011

Pages: 34

Print publication date: 01/01/2011

Source Publication Date: 2011

Report Number: 1250

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle University

Share