S. Riddle
5 published titles
Learning by doing : practical courses in lightweight formal methods using VDM++
(Contributor)
1 edition
- University of Newcastle upon Tyne
- 2006
- Details
Dependability metadata acquisition and assessment : a state of the art survey
(Contributor)
1 edition
- University of Newcastle upon Tyne
- 2010
- Details
Linking software design metrics to component change-proneness
(Contributor)
1 edition
- Computing Science, Newcastle University
- 2011
- Details
Dependability explicit metadata : experimental results and research issues
(Contributor)
1 edition
Dependability explicit metadata : extended report on properties, policies and exemplary application to case studies
(Contributor)
1 edition
