Industrial deployment of system engineering methods providing high dependability and productivity
 

Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification

Jones, C. B. and Pierce, K. G. (2010) Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. Technical Report. Newcastle University .

[img]
Preview
PDF (Technical Report (pre-publication))
206Kb

Item Type:Monograph (Technical Report)
Subjects:Methodology
ID Code:282
Deposited By:Prof Cliff Jones
Deposited On:31 Jan 2011 17:19
Last Modified:31 Jan 2011 17:19

Repository Staff Only: item control page

Deploy Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.

Deploy-Project - All right reserved