| 1999 |
|---|
| 6 | | George Spanoudakis,
Anthony Finkelstein,
David Till:
Overlaps in Requirements Engineering.
Autom. Softw. Eng. 6(2): 171-198 (1999) |
| 1998 |
|---|
| 5 | EE | Sara Jones,
David Till,
Ann M. Wrightson:
Formal methods and requirements engineering: Challenges and synergies.
Journal of Systems and Software 40(3): 263-273 (1998) |
| 1997 |
|---|
| 4 | | Jonathan P. Bowen,
Michael G. Hinchey,
David Till:
ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings
Springer 1997 |
| 1994 |
|---|
| 3 | | R. A. Buhr,
David Till,
C. Robert Zarnke:
Assignment as the Sole Means of Updating Objects.
Softw., Pract. Exper. 24(9): 835-870 (1994) |
| 1993 |
|---|
| 2 | | 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:
Requirements Engineering: An Integrated View of Representation, Process, and Domain.
ESEC 1993: 100-114 |
| 1992 |
|---|
| 1 | EE | David Bolton,
Sara Jones,
David Till,
David Furber,
Stewart Green:
Knowledge-Based Support for Requirements Engineering.
International Journal of Software Engineering and Knowledge Engineering 2(2): 293-319 (1992) |
