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