Brenton Atchison

According to our database, Brenton Atchison authored at least 7 papers between 2000 and 2005.

Collaborative distances:

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

2005

Model-Driven Development within a Legacy System: An Industry Experience Report.

Anthony MacDonald, Daniel M. Russell, Brenton Atchison

Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

2004

The integration of safety analysis and functional verification techniques for software safety arguments / Brenton Atchison

Brenton Atchison

PhD thesis, 2004

SubCM: A Tool for Improved Visibility of Software Change in an Industrial Setting.

Hagen Völzer, Anthony MacDonald, Brenton Atchison, Andrew Hanlon, Peter A. Lindsay, Paul A. Strooper

IEEE Trans. Software Eng., 2004

2002

Engineering SCADA Products for Use in Safety-Related Systems.

Brenton Atchison, Alena Griffiths

Proceedings of the Components of System Safety, 2002

A Product-Based Assurance Model for Mixed-Integrity Markets.

Brenton Atchison, Alena Griffiths

Proceedings of the Safety Critical Systems and Software 2002, 2002

A Tool for Subsystem Configuration Management.

Hagen Völzer, Brenton Atchison, Paul A. Strooper, Peter A. Lindsay, Anthony MacDonald

Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

2000

Safety validation of embedded control software using Z animation.

Brenton Atchison, Peter A. Lindsay

Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000