David Till

According to our database, David Till authored at least 7 papers between 1991 and 1999.

Collaborative distances:

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

1999

Overlaps in Requirements Engineering.

George Spanoudakis, Anthony Finkelstein, David Till

Autom. Softw. Eng., 1999

1998

Formal methods and requirements engineering: Challenges and synergies.

Sara Jones, David Till, Ann M. Wrightson

J. Syst. Softw., 1998

1996

Managing interference.

Anthony Finkelstein, George Spanoudakis, David Till

Proceedings of the Joint Proceedings of the Second International Software Architecture Workshop (ISAW-2) and International Workshop on Multiple Perspectives in Software Development (Viewpoints '96) on SIGSOFT '96 workshops, 1996

1994

Assignment as the Sole Means of Updating Objects.

R. A. Buhr, David Till, C. Robert Zarnke

Softw. Pract. Exp., 1994

1993

Requirements Engineering: An Integrated View of Representation, Process, and Domain.

Matthias Jarke, Klaus Pohl, Stephan Jacobs, Janis A. Bubenko Jr., Petia Assenova, Peter Holm, Benkt Wangler, Colette Rolland, Véronique Plihon, Jean-Roch Schmitt, Alistair G. Sutcliffe, Sara Jones, Neil A. M. Maiden, David Till, Yannis Vassiliou, Panos Constantopoulos, George Spanoudakis

Proceedings of the Software Engineering, 1993

1992

Knowledge-Based Support for Requirements Engineering.

David Bolton, Sara Jones, David Till, David Furber, Stewart Green

Int. J. Softw. Eng. Knowl. Eng., 1992

1991

Introduction to formal specification and Z.

Ben Potter, Jane E. Sinclair, David Till

Prentice Hall International Series in Computer Science, Prentice Hall, ISBN: 978-0-13-478702-2, 1991