dblp.uni-trier.dewww.uni-trier.de

Steve Riddle

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
9EEPeter Gorm Larsen, John S. Fitzgerald, Steve Riddle: Practice-oriented courses in formal methods using VDM++. Formal Asp. Comput. 21(3): 245-257 (2009)
2006
8EEPaul Arkley, Steve Riddle, Tom Brookes: Tailoring Traceability Information to Business Needs. RE 2006: 234-239
2005
7EEMeine van der Meulen, Steve Riddle, Lorenzo Strigini, Nigel Jefferson: Protective Wrapping of Off-the-Shelf Components. ICCBSS 2005: 168-177
6EEPaul Arkley, Steve Riddle: Overcoming the Traceability Benefit Problem. RE 2005: 385-389
5EETom Anderson, Mei Feng, Steve Riddle, Alexander Romanovsky: Error Recovery for a Boiler System with OTS PID Controller. WORDS 2005: 113-120
2003
4EEPaul Mason, Amer Saeed, Paul Arkley, Steve Riddle: Meta-Modelling Approach to Traceability for Avionics: A Framework for Managing the Engineering of Computer Based Aerospace Systems. ECBS 2003: 233-246
3EETom Anderson, Mei Feng, Steve Riddle, Alexander B. Romanovsky: Protective Wrapper Development: A Case Study. ICCBSS 2003: 1-14
2EEPaul Mason, Amer Saeed, Steve Riddle: On the Role of Traceability for Standards Compliance: Tracking Requirements to Code. SAFECOMP 2003: 303-316
2001
1EEPeter T. Popov, Lorenzo Strigini, Steve Riddle, Alexander B. Romanovsky: On Systematic Design of Protectors for Employing OTS Items. EUROMICRO 2001: 22-29

Coauthor Index

1Tom Anderson [3] [5]
2Paul Arkley [4] [6] [8]
3Tom Brookes [8]
4Mei Feng [3] [5]
5John S. Fitzgerald [9]
6Nigel Jefferson [7]
7Peter Gorm Larsen [9]
8Paul Mason [2] [4]
9Meine van der Meulen [7]
10Peter T. Popov [1]
11Alexander Romanovsky (Alexander B. Romanovsky) [1] [3] [5]
12Amer Saeed [2] [4]
13Lorenzo Strigini [1] [7]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)