Derek Mannering

According to our database, Derek Mannering authored at least 5 papers between 2007 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

Problem Oriented Engineering for Software Safety.

Derek P. Mannering

PhD thesis, 2010

2008

Implementable requirements in problem orientation.

Derek P. Mannering

Proceedings of the 3rd International Workshop on Applications and Advances of Problem Frames, 2008

2007

Safety Process Improvement with POSE and Alloy.

Derek Mannering, Jon G. Hall, Lucia Rapanotti

Proceedings of the Computer Safety, 2007

Arguing safety with Problem Oriented Software Engineering.

Jon G. Hall, Derek Mannering, Lucia Rapanotti

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Towards Normal Design for Safety-Critical Systems.

Derek Mannering, Jon G. Hall, Lucia Rapanotti

Proceedings of the Fundamental Approaches to Software Engineering, 2007