Tim M. Bull

According to our database, Tim M. Bull authored at least 7 papers between 1992 and 1996.

Collaborative distances:

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

1996

A report on the Durham program transformations workshop.

Tim M. Bull, Keith H. Bennett

ACM SIGSOFT Softw. Eng. Notes, 1996

Reverse Engineering Concurrent Programs Using Formal Modelling and Analysis.

E. J. Younger, Z. Luo, Keith H. Bennett, Tim M. Bull

Proceedings of the 3rd Working Conference on Reverse Engineering, 1996

System Safety through Formal Domain-Specific Languages.

Tim M. Bull, Keith H. Bennett

Proceedings of the Safety-Critical Systems: The Convergence of High Tech and Human Factors, 1996

Comprehension of Safety-Critical Systems Using Domain-Specific Languages.

Tim M. Bull

Proceedings of the 4th International Workshop on Program Comprehension (WPC '96), 1996

1995

Bylands: reverse engineering safety-critical systems.

Tim M. Bull, E. J. Younger, Keith H. Bennett, Z. Luo

Proceedings of the International Conference on Software Maintenance, 1995

1994

Software maintenance by program transformation in a wide spectrum language.

Tim M. Bull

PhD thesis, 1994

1992

A transformation system for maintenance-turning theory into practice.

Keith H. Bennett, Tim M. Bull, Hongji Yang

Proceedings of the Conference on Software Maintenance, 1992