Requirements engineering in the solution domain E Hull, K Jackson, J Dick Requirements Engineering, 109-129, 2005 | 1812 | 2005 |
Automating the generation and sequencing of test cases from model-based specifications J Dick, A Faivre International Symposium of Formal Methods Europe, 268-284, 1993 | 655 | 1993 |
Using formal specifications to support testing RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, ... ACM Computing Surveys (CSUR) 41 (2), 1-76, 2009 | 513 | 2009 |
Rich traceability J Dick Proceedings of the 1st international workshop on traceability in emerging …, 2002 | 93 | 2002 |
Automating the knuth bendix ordering J Dick, J Kalmus, U Martin Acta Informatica 28 (2), 95-119, 1990 | 75 | 1990 |
Design traceability J Dick IEEE software 22 (6), 14-16, 2005 | 70 | 2005 |
Making the most of formal specification through animation, testing and proof J Bicarreguiaab, J Dick, B Matthewsa, E Woodsd Sci. Comput. Programming 28 (2), 1997 | 51 | 1997 |
Integrating structured and formal methods: A visual approach to VDM J Dick, J Loubersac ESEC'91: 3rd European Software Engineering Conference, ESEC'91 Milan, Italy …, 1991 | 45 | 1991 |
Quantitative analysis of an application of formal methods J Bicarregui, J Dick, E Woods International Symposium of Formal Methods Europe, 60-73, 1996 | 34 | 1996 |
Requirements engineering H Elizabeth, J Ken, D Jeremy Springer, 2011 | 33 | 2011 |
Applying the B technologies to CICS J Hoare, J Dick, D Neilson, I Sørensen International Symposium of Formal Methods Europe, 74-84, 1996 | 24 | 1996 |
DOORS: A tool to manage requirements E Hull, K Jackson, J Dick Requirements Engineering, 181-198, 2011 | 23* | 2011 |
7.1. 2 The Systems Engineering Sandwich: combining requirements, models and design J Dick, J Chard INCOSE International Symposium 14 (1), 1401-1414, 2004 | 22 | 2004 |
On the use of attributes to manage requirements LS Wheatcraft, MJ Ryan, J Dick Systems Engineering 19 (5), 448-458, 2016 | 18 | 2016 |
Supporting the length of formal development: From diagrams to VDM to B to C J Bicarregui, J Dick, E Woods Z Twenty Years on {What is its Future, 63-75, 1995 | 17 | 1995 |
A visual approach to VDM: entity-structure diagrams J Dick, J Loubersac Bull Research Center Report, DE/DRPA/DMA/91001, 1991 | 17 | 1991 |
Intramolecular Diels–Alder reactions of 1-phenylsulfonylalka-1, 2,(ω− 3),(ω− 1)-tetraenes JR Bull, R Gordon, R Hunter Journal of the Chemical Society, Perkin Transactions 1, 3129-3139, 2000 | 16 | 2000 |
On the definition of terms in a requirements expression MJ Ryan, LS Wheatcraft, J Dick, R Zinni INCOSE International Symposium 25 (1), 169-181, 2015 | 15 | 2015 |
Working together: Formal methods and testing K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, M Gheorghe, ... ACM Computing Surveys (December 2003), 2003 | 15 | 2003 |
Extending B AMN with concurrency K Lano, J Fiadeiro, J Dick Proceedings of the Third Imperial College Workshop, 228-239, 1996 | 14 | 1996 |