Browsing publications by Dr Amer Saeed

Newcastle AuthorsTitleYear
Paul Mason
Dr Amer Saeed
Dr Paul Arkley
Dr Stephen Riddle
Meta-modelling approach to traceability for avionics: A framework for managing the engineering of computer based aerospace systems2003
Paul Mason
Dr Amer Saeed
Dr Stephen Riddle
On the role of traceability for standards compliance: Tracking requirements to code2003
Dr Rogerio De Lemos
Dr Amer Saeed
Safety analysis techniques for validating formal models during verification1999
Dr Stephen Riddle
Dr Amer Saeed
Tool support for implementation and analysis of traceability structures1999
Dr Rogerio De Lemos
Dr Amer Saeed
Validating Formal Verification using Safety Analysis Techniques1999
Dr Stephen Riddle
Dr Amer Saeed
Traceability for the Development and Assessment of Safe Avionic Systems1998
Paul Mason
Dr Amer Saeed
Tracing Safety for Dependable Avionic Systems: An Object-Oriented and Deductive Approach1998
Dr Amer Saeed
Dr Rogerio De Lemos
Dr Stephen Riddle
An Object-Based Approach to Modelling and Analysis of Failure Properties1997
Dr Rogerio De Lemos
Dr Stephen Riddle
Dr Amer Saeed
An Object-Based Approach to Modelling and Analysis of Failure Properties1997
Dr Amer Saeed
Information Structures for Traceability for Dependable Avionic Systems1997
12345