Menu

R. J. Payne

10 published titles

RPL : a policy language for dynamic reconfiguration

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2008
  • Details

Evaluation of architectural frameworks supporting contract-based specification

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2010
  • Details

Contract-based interface specification language for functional and non-functional properties

1 edition

  • University of Newcastle upon Tyne, Computing Science
  • 2011
  • Details

Modelling the major incident procedure manual : a system of systems case study

1 edition

  • Computer Science, Newcastle University
  • 2012
  • Details

Interface specification for system-of-systems architectures

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2012
  • Details

A formal model-based approach to engineering systems-of-systems

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • 2012
  • Details

Maintaining emergence in systems of systems integration : a contractual approach using SysML

(Contributor)

1 edition

  • University of Newcastle Upon Tyne, Computing Science
  • 2014
  • Details

Fault modelling for systems of systems

(Contributor)

1 edition

  • Computing Science, Newcastle University
  • Details

Model-based engineering of emergence in a collaborative SoS : exploiting SysML & formalism

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • Details

Proceedings of the Workshop on Engineering Dependable Systems of Systems (EDSoS) 2014

(Contributor)

1 edition

  • Newcastle University, Computing Science
  • Details

obnb.uk is a Good Stuff website.