BibTeX records: Jeremy Dick

download as .bib file

@book{DBLP:books/sp/DickHJ17,
  author       = {Jeremy Dick and
                  M. Elizabeth C. Hull and
                  Ken Jackson},
  title        = {Requirements Engineering, 4th Edition},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61073-3},
  doi          = {10.1007/978-3-319-61073-3},
  isbn         = {978-3-319-61072-6},
  timestamp    = {Fri, 25 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/DickHJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/se/WheatcraftRD16,
  author       = {Louis S. Wheatcraft and
                  Michael J. Ryan and
                  Jeremy Dick},
  title        = {On the Use of Attributes to Manage Requirements},
  journal      = {Syst. Eng.},
  volume       = {19},
  number       = {5},
  pages        = {448--458},
  year         = {2016},
  url          = {https://doi.org/10.1002/sys.21369},
  doi          = {10.1002/SYS.21369},
  timestamp    = {Sun, 10 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/se/WheatcraftRD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/daglib/0025717,
  editor       = {M. Elizabeth C. Hull and
                  Ken Jackson and
                  Jeremy Dick},
  title        = {Requirements Engineering, Third Edition},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-1-84996-405-0},
  doi          = {10.1007/978-1-84996-405-0},
  isbn         = {978-1-8499-6404-3},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0025717.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/se/Dick10,
  author       = {Jeremy Dick},
  editor       = {Phillip A. Laplante},
  title        = {Requirements Engineering: Principles and Practice},
  booktitle    = {Encyclopedia of Software Engineering},
  pages        = {949--961},
  publisher    = {Taylor {\&} Francis},
  year         = {2010},
  url          = {http://www.crcnetbase.com/doi/abs/10.1081/E-ESE-120044859},
  doi          = {10.1081/E-ESE-120044859},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/se/Dick10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/csur/HieronsBBCDDGHKKLSVWZ09,
  author       = {Robert M. Hierons and
                  Kirill Bogdanov and
                  Jonathan P. Bowen and
                  Rance Cleaveland and
                  John Derrick and
                  Jeremy Dick and
                  Marian Gheorghe and
                  Mark Harman and
                  Kalpesh Kapoor and
                  Paul J. Krause and
                  Gerald L{\"{u}}ttgen and
                  Anthony J. H. Simons and
                  Sergiy A. Vilkomir and
                  Martin R. Woodward and
                  Hussein Zedan},
  title        = {Using formal specifications to support testing},
  journal      = {{ACM} Comput. Surv.},
  volume       = {41},
  number       = {2},
  pages        = {9:1--9:76},
  year         = {2009},
  url          = {https://doi.org/10.1145/1459352.1459354},
  doi          = {10.1145/1459352.1459354},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/HieronsBBCDDGHKKLSVWZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/re/Dick06,
  author       = {Jeremy Dick},
  title        = {A Requirements Guide For All {(REGAL):} An {INCOSE} Initiative},
  booktitle    = {14th {IEEE} International Conference on Requirements Engineering {(RE}
                  2006), 11-15 September 2006, Minneapolis/St.Paul, Minnesota, {USA}},
  pages        = {264},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/RE.2006.7},
  doi          = {10.1109/RE.2006.7},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/Dick06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/daglib/0015248,
  author       = {M. Elizabeth C. Hull and
                  Ken Jackson and
                  Jeremy Dick},
  title        = {Requirements Engineering, Second Edition},
  publisher    = {Springer},
  year         = {2005},
  isbn         = {978-1-85233-879-4},
  timestamp    = {Wed, 14 Sep 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0015248.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jss/DickHJ05,
  author       = {A. J. J. Dick and
                  M. Elizabeth C. Hull and
                  Ken Jackson},
  title        = {Specifying process and measuring progress in terms of information
                  state},
  journal      = {J. Syst. Softw.},
  volume       = {76},
  number       = {3},
  pages        = {311--322},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.jss.2004.07.015},
  doi          = {10.1016/J.JSS.2004.07.015},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/DickHJ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/software/Dick05,
  author       = {Jeremy Dick},
  title        = {Design Traceability},
  journal      = {{IEEE} Softw.},
  volume       = {22},
  number       = {6},
  pages        = {14--16},
  year         = {2005},
  url          = {https://doi.org/10.1109/MS.2005.150},
  doi          = {10.1109/MS.2005.150},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/Dick05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/re/FanmuyPRDBWB05,
  author       = {Gauthier Fanmuy and
                  Frederique Populus and
                  Jean Rene and
                  Jeremy Dick and
                  Sjaak Brinkkemper and
                  Matthias Weber and
                  Philippe Baron},
  title        = {Are Requirements Engineering best practices the same for all industries?},
  booktitle    = {13th {IEEE} International Conference on Requirements Engineering {(RE}
                  2005), 29 August - 2 September 2005, Paris, France},
  pages        = {448},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/RE.2005.13},
  doi          = {10.1109/RE.2005.13},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/FanmuyPRDBWB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/daglib/0007547,
  author       = {M. Elizabeth C. Hull and
                  Ken Jackson and
                  Jeremy Dick},
  title        = {Requirements Engineering},
  series       = {Practitioner series},
  publisher    = {Springer},
  year         = {2002},
  isbn         = {978-1-85233-577-9},
  timestamp    = {Wed, 14 Sep 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0007547.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/infsof/DickW97,
  author       = {Jeremy Dick and
                  Eoin Woods},
  title        = {Lessons learned from rigorous system software development},
  journal      = {Inf. Softw. Technol.},
  volume       = {39},
  number       = {8},
  pages        = {551--560},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0950-5849(97)00013-X},
  doi          = {10.1016/S0950-5849(97)00013-X},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/infsof/DickW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/BicarreguiDMW97,
  author       = {Juan Bicarregui and
                  Jeremy Dick and
                  Brian Matthews and
                  Eoin Woods},
  title        = {Making the Most of Formal Specification Through Animation, Testing
                  and Proof},
  journal      = {Sci. Comput. Program.},
  volume       = {29},
  number       = {1-2},
  pages        = {53--78},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0167-6423(96)00029-9},
  doi          = {10.1016/S0167-6423(96)00029-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BicarreguiDMW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/BicarreguiDW96,
  author       = {Juan Bicarregui and
                  Jeremy Dick and
                  Eoin Woods},
  editor       = {Marie{-}Claude Gaudel and
                  Jim Woodcock},
  title        = {Quantitative Analysis of an Application of Formal Methods},
  booktitle    = {{FME} '96: Industrial Benefit and Advances in Formal Methods, Third
                  International Symposium of Formal Methods Europe, Co-Sponsored by
                  {IFIP} {WG} 14.3, Oxford, UK, March 18-22, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1051},
  pages        = {60--73},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60973-3\_80},
  doi          = {10.1007/3-540-60973-3\_80},
  timestamp    = {Fri, 17 Feb 2023 09:02:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/BicarreguiDW96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/HoareDNS96,
  author       = {Jonathan Hoare and
                  Jeremy Dick and
                  David Neilson and
                  Ib Holm S{\o}rensen},
  editor       = {Marie{-}Claude Gaudel and
                  Jim Woodcock},
  title        = {Applying the {B} Technologies on {CICS}},
  booktitle    = {{FME} '96: Industrial Benefit and Advances in Formal Methods, Third
                  International Symposium of Formal Methods Europe, Co-Sponsored by
                  {IFIP} {WG} 14.3, Oxford, UK, March 18-22, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1051},
  pages        = {74--84},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60973-3\_81},
  doi          = {10.1007/3-540-60973-3\_81},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/HoareDNS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sofsem/DickL96,
  author       = {Jeremy Dick and
                  J{\'{e}}r{\^{o}}me Loubersac},
  editor       = {Keith G. Jeffery and
                  Jaroslav Kr{\'{a}}l and
                  Miroslav Bartosek},
  title        = {A Visual Approach to {VDM}},
  booktitle    = {{SOFSEM} '96: Theory and Practice of Informatics, 23rd Seminar on
                  Current Trends in Theory and Practice of Informatics, Milovy, Czech
                  Republic, November 23-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1175},
  pages        = {275--284},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/BFb0037409},
  doi          = {10.1007/BFB0037409},
  timestamp    = {Mon, 16 Sep 2019 15:23:32 +0200},
  biburl       = {https://dblp.org/rec/conf/sofsem/DickL96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/DickF93,
  author       = {Jeremy Dick and
                  Alain Faivre},
  editor       = {Jim Woodcock and
                  Peter Gorm Larsen},
  title        = {Automating the Generation and Sequencing of Test Cases from Model-Based
                  Specifications},
  booktitle    = {{FME} '93: Industrial-Strength Formal Methods, First International
                  Symposium of Formal Methods Europe, Odense, Denmark, April 19-23,
                  1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {670},
  pages        = {268--284},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0024651},
  doi          = {10.1007/BFB0024651},
  timestamp    = {Fri, 17 Feb 2023 09:02:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/DickF93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cj/Dick91,
  author       = {A. J. J. Dick},
  title        = {An Introduction to Knuth-Bendix Completion},
  journal      = {Comput. J.},
  volume       = {34},
  number       = {1},
  pages        = {2--15},
  year         = {1991},
  url          = {https://doi.org/10.1093/comjnl/34.1.2},
  doi          = {10.1093/COMJNL/34.1.2},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Dick91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cj/DickW91,
  author       = {A. J. J. Dick and
                  Phil Watson},
  title        = {Order-Sorted Term Rewriting},
  journal      = {Comput. J.},
  volume       = {34},
  number       = {1},
  pages        = {16--19},
  year         = {1991},
  url          = {https://doi.org/10.1093/comjnl/34.1.16},
  doi          = {10.1093/COMJNL/34.1.16},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/DickW91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esec/DickL91,
  author       = {Jeremy Dick and
                  J{\'{e}}r{\^{o}}me Loubersac},
  editor       = {Axel van Lamsweerde and
                  Alfonso Fuggetta},
  title        = {Integrating Structured and Formal Methods: {A} Visual Approach to
                  {VDM}},
  booktitle    = {{ESEC} '91, 3rd European Software Engineering Conference, Milan, Italy,
                  October 21-24, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {550},
  pages        = {37--59},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3540547428\_42},
  doi          = {10.1007/3540547428\_42},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/esec/DickL91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/DickL91,
  author       = {Jeremy Dick and
                  J{\'{e}}r{\^{o}}me Loubersac},
  editor       = {S{\o}ren Prehn and
                  W. J. Toetenel},
  title        = {The Visual Presentation of {VDM} Specifications},
  booktitle    = {{VDM} '91 - Formal Software Development, 4th International Symposium
                  of {VDM} Europe, Noordwijkerhout, The Netherlands, October 21-25,
                  1991, Proceedings, Volume 1: Conference Contributions},
  series       = {Lecture Notes in Computer Science},
  volume       = {551},
  pages        = {670--671},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54834-3\_42},
  doi          = {10.1007/3-540-54834-3\_42},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/DickL91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/DickKM90,
  author       = {Jeremy Dick and
                  John Kalmus and
                  Ursula Martin},
  title        = {Automating the Knuth Bendix Ordering},
  journal      = {Acta Informatica},
  volume       = {28},
  number       = {2},
  pages        = {95--119},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01237233},
  doi          = {10.1007/BF01237233},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/DickKM90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/zum/DickKC89,
  author       = {A. J. J. Dick and
                  Paul J. Krause and
                  J. Cozens},
  editor       = {John E. Nicholls},
  title        = {Computer Aided Transformation of {Z} into Prolog},
  booktitle    = {Proceedings of the Fourth Annual {Z} User Meeting, Oxford, UK, December
                  15, 1989},
  series       = {Workshops in Computing},
  pages        = {71--85},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-1-4471-3877-8\_5},
  doi          = {10.1007/978-1-4471-3877-8\_5},
  timestamp    = {Mon, 24 Jun 2019 15:55:03 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/DickKC89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/ethos/Dick88,
  author       = {Alan Jeremy Jeffcoat Dick},
  title        = {Order-sorted equational reasoning and rewrite systems},
  school       = {Imperial College London, {UK}},
  year         = {1988},
  url          = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.717305},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Dick88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/DickC86,
  author       = {A. J. J. Dick and
                  Jim Cunningham},
  editor       = {J{\"{o}}rg H. Siekmann},
  title        = {Using Narrowing to do Isolation in Symbolic Equation Solving - An
                  Experiment in Automated Reasoning},
  booktitle    = {8th International Conference on Automated Deduction, Oxford, England,
                  July 27 - August 1, 1986, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {230},
  pages        = {272--280},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-16780-3\_96},
  doi          = {10.1007/3-540-16780-3\_96},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/DickC86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/CunninghamD85,
  author       = {Jim Cunningham and
                  A. J. J. Dick},
  title        = {Rewrite Systems on a Lattice of Types},
  journal      = {Acta Informatica},
  volume       = {22},
  number       = {2},
  pages        = {149--169},
  year         = {1985},
  url          = {https://doi.org/10.1007/BF00264228},
  doi          = {10.1007/BF00264228},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/CunninghamD85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurocal/Dick85,
  author       = {A. J. J. Dick},
  editor       = {Bob F. Caviness},
  title        = {{ERIL} - Equational Reasoning: an Interactive Laboratory},
  booktitle    = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
                  April 1-3, 1985, Proceedings Volume 2: Research Contributions},
  series       = {Lecture Notes in Computer Science},
  volume       = {204},
  pages        = {400--401},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-15984-3\_295},
  doi          = {10.1007/3-540-15984-3\_295},
  timestamp    = {Tue, 29 Aug 2023 20:47:14 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocal/Dick85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.