BibTeX records: Eoin Woods

download as .bib file

@inproceedings{DBLP:conf/enviroinfo/LagoGW22,
  author       = {Patricia Lago and
                  Danny Greefhorst and
                  Eoin Woods},
  editor       = {Volker Wohlgemuth and
                  Stefan Naumann and
                  Hans{-}Knud Arndt and
                  Grit Behrens and
                  Maximilian H{\"{o}}b},
  title        = {Architecting for Sustainability},
  booktitle    = {36th International Conference on Informatics for Environmental Protection,
                  EnviroInfo 2022, Hamburg, Germany, September 26-28, 2022},
  series       = {{LNI}},
  volume       = {{P-328}},
  pages        = {199--210},
  publisher    = {Gesellschaft f{\"{u}}r Informatik e.V.},
  year         = {2022},
  url          = {https://dl.gi.de/handle/20.500.12116/39397},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/enviroinfo/LagoGW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/WoodsB21,
  author       = {Eoin Woods and
                  Rabih Bashroush},
  editor       = {Stefan Biffl and
                  Elena Navarro and
                  Welf L{\"{o}}we and
                  Marjan Sirjani and
                  Raffaela Mirandola and
                  Danny Weyns},
  title        = {How Software Architects Focus Their Attention},
  booktitle    = {Software Architecture - 15th European Conference, {ECSA} 2021, Virtual
                  Event, Sweden, September 13-17, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12857},
  pages        = {312--326},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-86044-8\_21},
  doi          = {10.1007/978-3-030-86044-8\_21},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsa/WoodsB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Woods18,
  author       = {Eoin Woods},
  title        = {Addressing energy efficiency in system design: a journey from architecture
                  to operation},
  school       = {University of East London, {UK}},
  year         = {2018},
  url          = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.768464},
  doi          = {10.15123/PUB.7951},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Woods18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/NakagawaCWK18,
  author       = {Elisa Yumi Nakagawa and
                  Rafael Capilla and
                  Eoin Woods and
                  Philippe Kruchten},
  title        = {Sustainability and longevity of systems and architectures},
  journal      = {J. Syst. Softw.},
  volume       = {140},
  pages        = {1--2},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jss.2018.02.044},
  doi          = {10.1016/J.JSS.2018.02.044},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jss/NakagawaCWK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/WoodsF18,
  author       = {Eoin Woods and
                  George Fairbanks},
  title        = {The Pragmatic Architect Evolves},
  journal      = {{IEEE} Softw.},
  volume       = {35},
  number       = {6},
  pages        = {12--15},
  year         = {2018},
  url          = {https://doi.org/10.1109/MS.2018.4321235},
  doi          = {10.1109/MS.2018.4321235},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/WoodsF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Woods18,
  author       = {Eoin Woods},
  editor       = {Robert L. Nord and
                  Frank Buschmann and
                  Philippe Kruchten},
  title        = {The past, present and future of technical debt: learning from the
                  past to prepare for the future},
  booktitle    = {Proceedings of the 2018 International Conference on Technical Debt,
                  TechDebt@ICSE 2018, Gothenburg, Sweden, May 27-28, 2018},
  pages        = {61},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3194164.3194181},
  doi          = {10.1145/3194164.3194181},
  timestamp    = {Tue, 10 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/Woods18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BashroushW17,
  author       = {Rabih Bashroush and
                  Eoin Woods},
  title        = {Architectural Principles for Energy-Aware Internet-Scale Applications},
  journal      = {{IEEE} Softw.},
  volume       = {34},
  number       = {3},
  pages        = {14--17},
  year         = {2017},
  url          = {https://doi.org/10.1109/MS.2017.60},
  doi          = {10.1109/MS.2017.60},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/BashroushW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Woods17,
  author       = {Eoin Woods},
  title        = {Should Architects Code?},
  journal      = {{IEEE} Softw.},
  volume       = {34},
  number       = {5},
  pages        = {20--21},
  year         = {2017},
  url          = {https://doi.org/10.1109/MS.2017.3571574},
  doi          = {10.1109/MS.2017.3571574},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/Woods17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/WoodsB17,
  author       = {Eoin Woods and
                  Rabih Bashroush},
  editor       = {Ant{\'{o}}nia Lopes and
                  Rog{\'{e}}rio de Lemos},
  title        = {A Model for Prioritization of Software Architecture Effort},
  booktitle    = {Software Architecture - 11th European Conference, {ECSA} 2017, Canterbury,
                  UK, September 11-15, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10475},
  pages        = {183--190},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-65831-5\_13},
  doi          = {10.1007/978-3-319-65831-5\_13},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsa/WoodsB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BashroushWN16,
  author       = {Rabih Bashroush and
                  Eoin Woods and
                  Adel Noureddine},
  title        = {Data Center Energy Demand: What Got Us Here Won't Get Us There},
  journal      = {{IEEE} Softw.},
  volume       = {33},
  number       = {2},
  pages        = {18--21},
  year         = {2016},
  url          = {https://doi.org/10.1109/MS.2016.53},
  doi          = {10.1109/MS.2016.53},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/BashroushWN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Woods16,
  author       = {Eoin Woods},
  title        = {Operational: The Forgotten Architectural View},
  journal      = {{IEEE} Softw.},
  volume       = {33},
  number       = {3},
  pages        = {20--23},
  year         = {2016},
  url          = {https://doi.org/10.1109/MS.2016.86},
  doi          = {10.1109/MS.2016.86},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/Woods16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Woods16a,
  author       = {Eoin Woods},
  title        = {Harnessing the Power of Architectural Design Principles},
  journal      = {{IEEE} Softw.},
  volume       = {33},
  number       = {4},
  pages        = {15--17},
  year         = {2016},
  url          = {https://doi.org/10.1109/MS.2016.88},
  doi          = {10.1109/MS.2016.88},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/Woods16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Woods16b,
  author       = {Eoin Woods},
  title        = {Software Architecture in a Changing World},
  journal      = {{IEEE} Softw.},
  volume       = {33},
  number       = {6},
  pages        = {94--97},
  year         = {2016},
  url          = {https://doi.org/10.1109/MS.2016.149},
  doi          = {10.1109/MS.2016.149},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/Woods16b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/WoodsB15,
  author       = {Eoin Woods and
                  Rabih Bashroush},
  title        = {Modelling large-scale information systems using ADLs - An industrial
                  experience report},
  journal      = {J. Syst. Softw.},
  volume       = {99},
  pages        = {97--108},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jss.2014.09.018},
  doi          = {10.1016/J.JSS.2014.09.018},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/WoodsB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Woods15,
  author       = {Eoin Woods},
  title        = {Architecting in the Gaps: {A} Metaphor for Architecture Work},
  journal      = {{IEEE} Softw.},
  volume       = {32},
  number       = {4},
  pages        = {33--35},
  year         = {2015},
  url          = {https://doi.org/10.1109/MS.2015.98},
  doi          = {10.1109/MS.2015.98},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/Woods15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Woods15a,
  author       = {Eoin Woods},
  title        = {Aligning Architecture Work with Agile Teams},
  journal      = {{IEEE} Softw.},
  volume       = {32},
  number       = {5},
  pages        = {24--26},
  year         = {2015},
  url          = {https://doi.org/10.1109/MS.2015.119},
  doi          = {10.1109/MS.2015.119},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/software/Woods15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Woods14,
  author       = {Eoin Woods},
  title        = {Return of the Pragmatic Architect},
  journal      = {{IEEE} Softw.},
  volume       = {31},
  number       = {3},
  pages        = {10--13},
  year         = {2014},
  url          = {https://doi.org/10.1109/MS.2014.69},
  doi          = {10.1109/MS.2014.69},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/Woods14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Woods14a,
  author       = {Eoin Woods},
  title        = {Harnessing {UML} for Architectural Description-the Context View},
  journal      = {{IEEE} Softw.},
  volume       = {31},
  number       = {6},
  pages        = {30--33},
  year         = {2014},
  url          = {https://doi.org/10.1109/MS.2014.139},
  doi          = {10.1109/MS.2014.139},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/Woods14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/BaroniMMW14,
  author       = {Alessandro Baroni and
                  Henry Muccini and
                  Ivano Malavolta and
                  Eoin Woods},
  title        = {Architecture Description Leveraging Model Driven Engineering and Semantic
                  Wikis},
  booktitle    = {2014 {IEEE/IFIP} Conference on Software Architecture, {WICSA} 2014,
                  Sydney, Australia, April 7-11, 2014},
  pages        = {251--254},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/WICSA.2014.21},
  doi          = {10.1109/WICSA.2014.21},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wicsa/BaroniMMW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/Woods12,
  author       = {Eoin Woods},
  title        = {Industrial architectural assessment using {TARA}},
  journal      = {J. Syst. Softw.},
  volume       = {85},
  number       = {9},
  pages        = {2034--2047},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.jss.2012.04.055},
  doi          = {10.1016/J.JSS.2012.04.055},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/Woods12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/WoodsB12,
  author       = {Eoin Woods and
                  Rabih Bashroush},
  title        = {Using an Architecture Description Language to Model a Large-Scale
                  Information System - An Industrial Experience Report},
  booktitle    = {2012 Joint Working {IEEE/IFIP} Conference on Software Architecture
                  and European Conference on Software Architecture, {WICSA/ECSA} 2012,
                  Helsinki, Finland, August 20-24, 2012},
  pages        = {239--243},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/WICSA-ECSA.212.37},
  doi          = {10.1109/WICSA-ECSA.212.37},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/wicsa/WoodsB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/Woods11,
  author       = {Eoin Woods},
  title        = {Industrial Architectural Assessment Using {TARA}},
  booktitle    = {9th Working {IEEE/IFIP} Conference on Software Architecture, {WICSA}
                  2011, Boulder, Colorado, USA, June 20-24, 2011},
  pages        = {56--65},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/WICSA.2011.17},
  doi          = {10.1109/WICSA.2011.17},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wicsa/Woods11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/TekinerdoganCMCPW11,
  author       = {Bedir Tekinerdogan and
                  Paul C. Clements and
                  Henry Muccini and
                  Michel R. V. Chaudron and
                  Andrea Polini and
                  Eoin Woods},
  title        = {Architecture-Based Testing and System Validation - Workshop Summary},
  booktitle    = {9th Working {IEEE/IFIP} Conference on Software Architecture, {WICSA}
                  2011, Boulder, Colorado, USA, June 20-24, 2011},
  pages        = {341},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/WICSA.2011.53},
  doi          = {10.1109/WICSA.2011.53},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wicsa/TekinerdoganCMCPW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/WoodsR11,
  author       = {Eoin Woods and
                  Nick Rozanski},
  editor       = {Paris Avgeriou and
                  John Grundy and
                  Jon G. Hall and
                  Patricia Lago and
                  Ivan Mistr{\'{\i}}k},
  title        = {How Software Architecture can Frame, Constrain and Inspire System
                  Requirements},
  booktitle    = {Relating Software Requirements and Architectures},
  pages        = {333--352},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21001-3\_19},
  doi          = {10.1007/978-3-642-21001-3\_19},
  timestamp    = {Thu, 13 Sep 2018 16:29:42 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/WoodsR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/WoodsES10,
  author       = {Eoin Woods and
                  David E. Emery and
                  Bran Selic},
  title        = {Point/Counterpoint},
  journal      = {{IEEE} Softw.},
  volume       = {27},
  number       = {6},
  pages        = {54--57},
  year         = {2010},
  url          = {https://doi.org/10.1109/MS.2010.145},
  doi          = {10.1109/MS.2010.145},
  timestamp    = {Wed, 11 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/WoodsES10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/WoodsR10,
  author       = {Eoin Woods and
                  Nick Rozanski},
  editor       = {Ian Gorton and
                  Carlos E. Cuesta and
                  Muhammad Ali Babar},
  title        = {Unifying software architecture with its implementation},
  booktitle    = {Software Architecture, 4th European Conference, {ECSA} 2010, Copenhagen,
                  Denmark, August 23-26, 2010. Companion Volume},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {55--58},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1842752.1842767},
  doi          = {10.1145/1842752.1842767},
  timestamp    = {Fri, 14 Apr 2023 23:05:45 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsa/WoodsR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/WoodsR09,
  author       = {Eoin Woods and
                  Nick Rozanski},
  title        = {The system context architectural viewpoint},
  booktitle    = {Joint Working {IEEE/IFIP} Conference on Software Architecture 2009
                  and European Conference on Software Architecture 2009, {WICSA/ECSA}
                  2009, Cambridge, UK, 14-17 September 2009},
  pages        = {333--336},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/WICSA.2009.5290673},
  doi          = {10.1109/WICSA.2009.5290673},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wicsa/WoodsR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europlop/LongshawW05,
  author       = {Andy Longshaw and
                  Eoin Woods},
  editor       = {Andy Longshaw and
                  Uwe Zdun},
  title        = {More Patterns for the Generation, Handling and Management of Errors},
  booktitle    = {EuroPLoP' 2005, Tenth European Conference on Pattern Languages of
                  Programs, Irsee, Germany, July 6-10, 2005},
  pages        = {517--530},
  publisher    = {{UVK} - Universitaetsverlag Konstanz},
  year         = {2005},
  timestamp    = {Tue, 02 Mar 2010 09:13:03 +0100},
  biburl       = {https://dblp.org/rec/conf/europlop/LongshawW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/WoodsR05,
  author       = {Eoin Woods and
                  Nick Rozanski},
  title        = {Using Architectural Perspectives},
  booktitle    = {Fifth Working {IEEE} / {IFIP} Conference on Software Architecture
                  {(WICSA} 2005), 6-10 November 2005, Pittsburgh, Pennsylvania, {USA}},
  pages        = {25--35},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/WICSA.2005.74},
  doi          = {10.1109/WICSA.2005.74},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wicsa/WoodsR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/WoodsH05,
  author       = {Eoin Woods and
                  Rich Hilliard},
  title        = {Architecture Description Languages in Practice Session Report},
  booktitle    = {Fifth Working {IEEE} / {IFIP} Conference on Software Architecture
                  {(WICSA} 2005), 6-10 November 2005, Pittsburgh, Pennsylvania, {USA}},
  pages        = {243--246},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/WICSA.2005.15},
  doi          = {10.1109/WICSA.2005.15},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wicsa/WoodsH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europlop/LongshawW04,
  author       = {Andy Longshaw and
                  Eoin Woods},
  editor       = {Klaus Marquardt and
                  Dietmar Sch{\"{u}}tz},
  title        = {Patterns for Generation, Handling and Management of Errors},
  booktitle    = {Proceedings of the 9th European Conference on Pattern Languages of
                  Programms (EuroPLoP '2004), Irsee, Germany, July 7-11, 2004},
  pages        = {27--52},
  publisher    = {{UVK} - Universitaetsverlag Konstanz},
  year         = {2004},
  url          = {http://hillside.net/europlop/HillsideEurope/Papers/EuroPLoP2004/2004\_LongshawEtAl\_PatternsForGeneration.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/europlop/LongshawW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsa/Woods04,
  author       = {Eoin Woods},
  editor       = {Fl{\'{a}}vio Oquendo and
                  Brian Warboys and
                  Ronald Morrison},
  title        = {Experiences Using Viewpoints for Information Systems Architecture:
                  An Industrial Experience Report},
  booktitle    = {Software Architecture, First European Workshop, {EWSA} 2004, St Andrews,
                  UK, May 21-22, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3047},
  pages        = {182--193},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24769-2\_13},
  doi          = {10.1007/978-3-540-24769-2\_13},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ewsa/Woods04.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}
}