ePrints

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

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

Downloads

• Published version [.pdf]

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