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

  1. Lookup NU author(s)
  2. Dr Richard Payne
  3. Professor John Fitzgerald
Author(s)Payne RJ; Fitzgerald JS
Publication type Report
Series TitleSchool of Computing Science Technical Report Series
Source Publication Date2011
Report Number1250
Full text is available for this publication:
InstitutionSchool of Computing Science, University of Newcastle upon Tyne
Place PublishedNewcastle University
ActionsLink to this publication