Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Perdita Stevens
@inproceedings{DBLP:conf/isola/Stevens22, author = {Perdita Stevens}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {Models as Documents, Documents as Models}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {13702}, pages = {28--34}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-19756-7\_3}, doi = {10.1007/978-3-031-19756-7\_3}, timestamp = {Sun, 13 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isola/Stevens22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/Stevens21, author = {Perdita Stevens}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {The Future of Programming andModelling: {A} Vision}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13036}, pages = {357--377}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-89159-6\_23}, doi = {10.1007/978-3-030-89159-6\_23}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/isola/Stevens21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/Stevens20, author = {Perdita Stevens}, title = {Maintaining consistency in networks of models: bidirectional transformations in the large}, journal = {Softw. Syst. Model.}, volume = {19}, number = {1}, pages = {39--65}, year = {2020}, url = {https://doi.org/10.1007/s10270-019-00736-x}, doi = {10.1007/S10270-019-00736-X}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/Stevens20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/Stevens20a, author = {Perdita Stevens}, title = {Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels}, journal = {Softw. Syst. Model.}, volume = {19}, number = {4}, pages = {935--958}, year = {2020}, url = {https://doi.org/10.1007/s10270-020-00788-4}, doi = {10.1007/S10270-020-00788-4}, timestamp = {Fri, 14 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/Stevens20a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csedu/GogollaS18, author = {Martin Gogolla and Perdita Stevens}, title = {Teaching modeling in computer science as an ecosystem: a provocative analogy}, journal = {Comput. Sci. Educ.}, volume = {28}, number = {1}, pages = {5--22}, year = {2018}, url = {https://doi.org/10.1080/08993408.2018.1463634}, doi = {10.1080/08993408.2018.1463634}, timestamp = {Mon, 08 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/csedu/GogollaS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/DenneySW18, author = {Ewen Denney and Perdita Stevens and Andrzej Wasowski}, title = {Editorial}, journal = {Formal Aspects Comput.}, volume = {30}, number = {1}, pages = {1}, year = {2018}, url = {https://doi.org/10.1007/s00165-017-0448-9}, doi = {10.1007/S00165-017-0448-9}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fac/DenneySW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/HofmannACSS18, author = {Martin Hofmann and David Aspinall and Brian Campbell and Ian Stark and Perdita Stevens}, title = {Foreword}, journal = {Theor. Comput. Sci.}, volume = {741}, pages = {1--2}, year = {2018}, url = {https://doi.org/10.1016/j.tcs.2018.06.032}, doi = {10.1016/J.TCS.2018.06.032}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/HofmannACSS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecmdafa/Stevens18, author = {Perdita Stevens}, editor = {Alfonso Pierantonio and Salvador Trujillo}, title = {Is Bidirectionality Important?}, booktitle = {Modelling Foundations and Applications - 14th European Conference, ECMFA@STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10890}, pages = {1--11}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-92997-2\_1}, doi = {10.1007/978-3-319-92997-2\_1}, timestamp = {Fri, 20 Nov 2020 13:15:21 +0100}, biburl = {https://dblp.org/rec/conf/ecmdafa/Stevens18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/Stevens18a, author = {Perdita Stevens}, editor = {{\"{O}}nder Babur and Daniel Str{\"{u}}ber and Silvia Abrah{\~{a}}o and Loli Burgue{\~{n}}o and Martin Gogolla and Joel Greenyer and Sahar Kokaly and Dimitris S. Kolovos and Tanja Mayerhofer and Mansooreh Zahedi}, title = {Teaching and learning about abstraction}, booktitle = {Proceedings of the 21st {ACM/IEEE} International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, {MODELS} 2018, Copenhagen, Denmark, October 14-19, 2018}, pages = {143}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3270112.3270138}, doi = {10.1145/3270112.3270138}, timestamp = {Wed, 23 Feb 2022 12:16:51 +0100}, biburl = {https://dblp.org/rec/conf/models/Stevens18a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/Stevens18, author = {Perdita Stevens}, editor = {Andrzej Wasowski and Richard F. Paige and {\O}ystein Haugen}, title = {Towards sound, optimal, and flexible building from megamodels}, booktitle = {Proceedings of the 21th {ACM/IEEE} International Conference on Model Driven Engineering Languages and Systems, {MODELS} 2018, Copenhagen, Denmark, October 14-19, 2018}, pages = {301--311}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3239372.3239378}, doi = {10.1145/3239372.3239378}, timestamp = {Wed, 21 Nov 2018 12:44:12 +0100}, biburl = {https://dblp.org/rec/conf/models/Stevens18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programming/JohnsonS18, author = {Michael Johnson and Perdita Stevens}, editor = {Stefan Marr and Jennifer B. Sartor}, title = {Confidentiality in the process of (model-driven) software development}, booktitle = {Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France, April 09-12, 2018}, pages = {1--8}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3191697.3191714}, doi = {10.1145/3191697.3191714}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/programming/JohnsonS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ac/2016bt, editor = {Jeremy Gibbons and Perdita Stevens}, title = {Bidirectional Transformations - International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {9715}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-79108-1}, doi = {10.1007/978-3-319-79108-1}, isbn = {978-3-319-79107-4}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ac/2016bt.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dagstuhl-reports/CleveKSZ18, author = {Anthony Cleve and Ekkart Kindler and Perdita Stevens and Vadim Zaytsev}, title = {Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491)}, journal = {Dagstuhl Reports}, volume = {8}, number = {12}, pages = {1--48}, year = {2018}, url = {https://doi.org/10.4230/DagRep.8.12.1}, doi = {10.4230/DAGREP.8.12.1}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dagstuhl-reports/CleveKSZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jot/CheneyGMS17, author = {James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens}, title = {On principles of Least Change and Least Surprise for bidirectional transformations}, journal = {J. Object Technol.}, volume = {16}, number = {1}, pages = {3:1--31}, year = {2017}, url = {https://doi.org/10.5381/jot.2017.16.1.a3}, doi = {10.5381/JOT.2017.16.1.A3}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jot/CheneyGMS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etaps/StevensG17, author = {Perdita Stevens and Jeremy Gibbons}, editor = {Romina Eramo and Michael Johnson}, title = {On Ontologology}, booktitle = {Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, BX@ETAPS 2017, Uppsala, Sweden, April 29, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1827}, pages = {54--58}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1827/paper9.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:57 +0100}, biburl = {https://dblp.org/rec/conf/etaps/StevensG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/Stevens17, author = {Perdita Stevens}, title = {Bidirectional Transformations in the Large}, booktitle = {20th {ACM/IEEE} International Conference on Model Driven Engineering Languages and Systems, {MODELS} 2017, Austin, TX, USA, September 17-22, 2017}, pages = {1--11}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/MODELS.2017.8}, doi = {10.1109/MODELS.2017.8}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/models/Stevens17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ac/Abou-SalehCGMS16, author = {Faris Abou{-}Saleh and James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens}, editor = {Jeremy Gibbons and Perdita Stevens}, title = {Introduction to Bidirectional Transformations}, booktitle = {Bidirectional Transformations - International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {9715}, pages = {1--28}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-79108-1\_1}, doi = {10.1007/978-3-319-79108-1\_1}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/ac/Abou-SalehCGMS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Abou-SalehCGMS16, author = {Faris Abou{-}Saleh and James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens}, editor = {Sam Lindley and Conor McBride and Philip W. Trinder and Donald Sannella}, title = {Reflections on Monadic Lenses}, booktitle = {A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {9600}, pages = {1--31}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-30936-1\_1}, doi = {10.1007/978-3-319-30936-1\_1}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/birthday/Abou-SalehCGMS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/etaps/McKinnaS16, author = {James McKinna and Perdita Stevens}, editor = {Anthony Anjorin and Jeremy Gibbons}, title = {How to Regain Equilibrium without Losing your Balance? Scenarios for Bx Deployment (Discussion Paper)}, booktitle = {Proceedings of the 5th International Workshop on Bidirectional Transformations, Bx 2016, co-located with The European Joint Conferences on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April 8, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1571}, pages = {32--34}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1571/paper\_12.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:57 +0100}, biburl = {https://dblp.org/rec/conf/etaps/McKinnaS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fase/2016, editor = {Perdita Stevens and Andrzej Wasowski}, title = {Fundamental Approaches to Software Engineering - 19th International Conference, {FASE} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9633}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-49665-7}, doi = {10.1007/978-3-662-49665-7}, isbn = {978-3-662-49664-0}, timestamp = {Wed, 16 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fase/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Abou-SalehCGMS16, author = {Faris Abou{-}Saleh and James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens}, title = {Reflections on Monadic Lenses}, journal = {CoRR}, volume = {abs/1601.02484}, year = {2016}, url = {http://arxiv.org/abs/1601.02484}, eprinttype = {arXiv}, eprint = {1601.02484}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Abou-SalehCGMS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/KazmeierS15, author = {J{\"{u}}rgen Kazmeier and Perdita Stevens}, title = {Guest editorial to the special section on {MODELS} 2012}, journal = {Softw. Syst. Model.}, volume = {14}, number = {4}, pages = {1321--1322}, year = {2015}, url = {https://doi.org/10.1007/s10270-014-0418-0}, doi = {10.1007/S10270-014-0418-0}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/KazmeierS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mpc/Abou-SalehCGMS15, author = {Faris Abou{-}Saleh and James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens}, editor = {Ralf Hinze and Janis Voigtl{\"{a}}nder}, title = {Notions of Bidirectional Computation and Entangled State Monads}, booktitle = {Mathematics of Program Construction - 12th International Conference, {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9129}, pages = {187--214}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19797-5\_9}, doi = {10.1007/978-3-319-19797-5\_9}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mpc/Abou-SalehCGMS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/staf/CheneyGMS15, author = {James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens}, editor = {Alcino Cunha and Ekkart Kindler}, title = {Towards a Principle of Least Surprise for Bidirectional Transformations}, booktitle = {Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, {STAF} 2015, L'Aquila, Italy, July 24, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1396}, pages = {66--80}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1396/p66-cheney.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:10 +0100}, biburl = {https://dblp.org/rec/conf/staf/CheneyGMS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/staf/AnjorinLKSS15, author = {Anthony Anjorin and Erhan Leblebici and Roland Kluge and Andy Sch{\"{u}}rr and Perdita Stevens}, editor = {Alcino Cunha and Ekkart Kindler}, title = {A Systematic Approach and Guidelines to Developing a Triple Graph Grammar}, booktitle = {Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, {STAF} 2015, L'Aquila, Italy, July 24, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1396}, pages = {81--95}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1396/p81-anjorin.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/staf/AnjorinLKSS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Abou-SalehCGMS15, author = {Faris Abou{-}Saleh and James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens}, title = {Notions of bidirectional computation and entangled state monads}, journal = {CoRR}, volume = {abs/1505.02579}, year = {2015}, url = {http://arxiv.org/abs/1505.02579}, eprinttype = {arXiv}, eprint = {1505.02579}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Abou-SalehCGMS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edbt/CheneyMSG14, author = {James Cheney and James McKinna and Perdita Stevens and Jeremy Gibbons}, editor = {K. Sel{\c{c}}uk Candan and Sihem Amer{-}Yahia and Nicole Schweikardt and Vassilis Christophides and Vincent Leroy}, title = {Towards a Repository of Bx Examples}, booktitle = {Proceedings of the Workshops of the {EDBT/ICDT} 2014 Joint Conference {(EDBT/ICDT} 2014), Athens, Greece, March 28, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1133}, pages = {87--91}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1133/paper-14.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:45 +0100}, biburl = {https://dblp.org/rec/conf/edbt/CheneyMSG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edbt/CheneyMSGA14, author = {James Cheney and James McKinna and Perdita Stevens and Jeremy Gibbons and Faris Abou{-}Saleh}, editor = {K. Sel{\c{c}}uk Candan and Sihem Amer{-}Yahia and Nicole Schweikardt and Vassilis Christophides and Vincent Leroy}, title = {Entangled State Monads}, booktitle = {Proceedings of the Workshops of the {EDBT/ICDT} 2014 Joint Conference {(EDBT/ICDT} 2014), Athens, Greece, March 28, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1133}, pages = {108--111}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1133/paper-17.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edbt/CheneyMSGA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/Stevens14, author = {Perdita Stevens}, editor = {Stefania Gnesi and Arend Rensink}, title = {Bidirectionally Tolerating Inconsistency: Partial Transformations}, booktitle = {Fundamental Approaches to Software Engineering - 17th International Conference, {FASE} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8411}, pages = {32--46}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54804-8\_3}, doi = {10.1007/978-3-642-54804-8\_3}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fase/Stevens14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/models/2013edusym, editor = {Timothy C. Lethbridge and Perdita Stevens}, title = {Proceedings of the Educators' Symposium co-located with {ACM/IEEE} 16th International Conference on Model Driven Engineering Languages and Systems {(MODELS} 2013), Miami, USA, September 30th, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1134}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1134}, urn = {urn:nbn:de:0074-1134-7}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/models/2013edusym.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/StevensT13, author = {Perdita Stevens and James F. Terwilliger}, title = {Preface}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {57}, year = {2013}, url = {https://doi.org/10.14279/tuj.eceasst.57.876.867}, doi = {10.14279/TUJ.ECEASST.57.876.867}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/StevensT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/Stevens13, author = {Perdita Stevens}, title = {A simple game-theoretic approach to checkonly {QVT} Relations}, journal = {Softw. Syst. Model.}, volume = {12}, number = {1}, pages = {175--199}, year = {2013}, url = {https://doi.org/10.1007/s10270-011-0198-8}, doi = {10.1007/S10270-011-0198-8}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/Stevens13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/BradfieldS13, author = {Julian C. Bradfield and Perdita Stevens}, editor = {Vittorio Cortellessa and D{\'{a}}niel Varr{\'{o}}}, title = {Enforcing {QVT-R} with mu-Calculus and Games}, booktitle = {Fundamental Approaches to Software Engineering - 16th International Conference, {FASE} 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7793}, pages = {282--296}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-37057-1\_21}, doi = {10.1007/978-3-642-37057-1\_21}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fase/BradfieldS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/AkayamaDLSSS13, author = {Seiko Akayama and Birgit Demuth and Timothy C. Lethbridge and Marion Scholz and Perdita Stevens and Dave R. Stikkolorum}, editor = {Timothy C. Lethbridge and Perdita Stevens}, title = {Tool Use in Software Modelling Education}, booktitle = {Proceedings of the Educators' Symposium co-located with {ACM/IEEE} 16th International Conference on Model Driven Engineering Languages and Systems {(MODELS} 2013), Miami, USA, September 30th, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1134}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1134/paper6.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:20 +0100}, biburl = {https://dblp.org/rec/conf/models/AkayamaDLSSS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/Stevens12, author = {Perdita Stevens}, title = {Observations relating to the equivalences induced on model sets by bidirectional transformations}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {49}, year = {2012}, url = {https://doi.org/10.14279/tuj.eceasst.49.714}, doi = {10.14279/TUJ.ECEASST.49.714}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/Stevens12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/BradfieldS12, author = {Julian C. Bradfield and Perdita Stevens}, editor = {Juan de Lara and Andrea Zisman}, title = {Recursive Checkonly {QVT-R} Transformations with General when and where Clauses via the Modal Mu Calculus}, booktitle = {Fundamental Approaches to Software Engineering - 15th International Conference, {FASE} 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7212}, pages = {194--208}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28872-2\_14}, doi = {10.1007/978-3-642-28872-2\_14}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fase/BradfieldS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigmod/HuSST11, author = {Zhenjiang Hu and Andy Sch{\"{u}}rr and Perdita Stevens and James F. Terwilliger}, title = {Dagstuhl seminar on bidirectional transformations {(BX)}}, journal = {{SIGMOD} Rec.}, volume = {40}, number = {1}, pages = {35--39}, year = {2011}, url = {https://doi.org/10.1145/2007206.2007217}, doi = {10.1145/2007206.2007217}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigmod/HuSST11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dagstuhl-reports/HuSST11, author = {Zhenjiang Hu and Andy Sch{\"{u}}rr and Perdita Stevens and James F. Terwilliger}, title = {Bidirectional Transformation "bx" (Dagstuhl Seminar 11031)}, journal = {Dagstuhl Reports}, volume = {1}, number = {1}, pages = {42--67}, year = {2011}, url = {https://doi.org/10.4230/DagRep.1.1.42}, doi = {10.4230/DAGREP.1.1.42}, timestamp = {Wed, 07 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dagstuhl-reports/HuSST11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/Stevens10, author = {Perdita Stevens}, title = {Bidirectional model transformations in {QVT:} semantic issues and open questions}, journal = {Softw. Syst. Model.}, volume = {9}, number = {1}, pages = {7--20}, year = {2010}, url = {https://doi.org/10.1007/s10270-008-0109-9}, doi = {10.1007/S10270-008-0109-9}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/Stevens10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icmt/Stevens09, author = {Perdita Stevens}, editor = {Richard F. Paige}, title = {A Simple Game-Theoretic Approach to Checkonly {QVT} Relations}, booktitle = {Theory and Practice of Model Transformations - 2nd International Conference, ICMT@TOOLS 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5563}, pages = {165--180}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02408-5\_12}, doi = {10.1007/978-3-642-02408-5\_12}, timestamp = {Wed, 24 Jun 2020 13:02:21 +0200}, biburl = {https://dblp.org/rec/conf/icmt/Stevens09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/Stevens08, author = {Perdita Stevens}, editor = {Hartmut Ehrig and Reiko Heckel and Grzegorz Rozenberg and Gabriele Taentzer}, title = {Towards an Algebraic Theory of Bidirectional Transformations}, booktitle = {Graph Transformations, 4th International Conference, {ICGT} 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5214}, pages = {1--17}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-87405-8\_1}, doi = {10.1007/978-3-540-87405-8\_1}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/gg/Stevens08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/kbs/TenzerS07, author = {Jennifer Tenzer and Perdita Stevens}, title = {{GUIDE:} Games with {UML} for interactive design exploration}, journal = {Knowl. Based Syst.}, volume = {20}, number = {7}, pages = {652--670}, year = {2007}, url = {https://doi.org/10.1016/j.knosys.2007.05.005}, doi = {10.1016/J.KNOSYS.2007.05.005}, timestamp = {Tue, 25 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/kbs/TenzerS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gttse/Stevens07, author = {Perdita Stevens}, editor = {Ralf L{\"{a}}mmel and Joost Visser and Jo{\~{a}}o Saraiva}, title = {A Landscape of Bidirectional Model Transformations}, booktitle = {Generative and Transformational Techniques in Software Engineering II, International Summer School, {GTTSE} 2007, Braga, Portugal, July 2-7, 2007. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {5235}, pages = {408--424}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-88643-3\_10}, doi = {10.1007/978-3-540-88643-3\_10}, timestamp = {Sun, 26 Apr 2020 17:09:18 +0200}, biburl = {https://dblp.org/rec/conf/gttse/Stevens07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/Stevens07, author = {Perdita Stevens}, editor = {Gregor Engels and Bill Opdyke and Douglas C. Schmidt and Frank Weil}, title = {Bidirectional Model Transformations in {QVT:} Semantic Issues and Open Questions}, booktitle = {Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4735}, pages = {1--15}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75209-7\_1}, doi = {10.1007/978-3-540-75209-7\_1}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/models/Stevens07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dagstuhl/2006P6351, editor = {Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel J. Wieringa}, title = {Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006}, series = {Dagstuhl Seminar Proceedings}, volume = {06351}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2007}, url = {http://drops.dagstuhl.de/portals/06351/}, timestamp = {Thu, 10 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/2006P6351.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0016253, author = {Perdita Stevens and Rob Pooley}, title = {Using {UML} - software engineering with objects and components, Second Edition}, series = {Addison Wesley object technology series}, publisher = {Addison-Wesley}, year = {2006}, isbn = {978-0-321-26967-6}, timestamp = {Wed, 25 Mar 2015 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/daglib/0016253.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/TenzerS06, author = {Jennifer Tenzer and Perdita Stevens}, title = {On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams}, journal = {Formal Aspects Comput.}, volume = {18}, number = {4}, pages = {397--420}, year = {2006}, url = {https://doi.org/10.1007/s00165-006-0003-6}, doi = {10.1007/S00165-006-0003-6}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/TenzerS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/BrinksmaHMSW06, author = {Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel J. Wieringa}, editor = {Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel J. Wieringa}, title = {06351 Summary -- Methods for Modelling Software Systems {(MMOSS)}}, booktitle = {Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006}, series = {Dagstuhl Seminar Proceedings}, volume = {06351}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2006}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/957}, timestamp = {Thu, 10 Jun 2021 13:02:07 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/BrinksmaHMSW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/BrinksmaHMSW06a, author = {Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel J. Wieringa}, editor = {Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel J. Wieringa}, title = {06351 Abstracts Collection -- Methods for Modelling Software Systems {(MMOSS)}}, booktitle = {Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006}, series = {Dagstuhl Seminar Proceedings}, volume = {06351}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2006}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/958}, timestamp = {Thu, 14 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dagstuhl/BrinksmaHMSW06a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/StevensW05, author = {Perdita Stevens and Jon Whittle}, title = {Guest editorial to the special issue on {UML2003}}, journal = {Softw. Syst. Model.}, volume = {4}, number = {4}, pages = {353--354}, year = {2005}, url = {https://doi.org/10.1007/s10270-005-0086-1}, doi = {10.1007/S10270-005-0086-1}, timestamp = {Tue, 24 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/StevensW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/LeuckerNSW05, author = {Martin Leucker and Thomas Noll and Perdita Stevens and Michael Weber}, title = {Functional programming languages for verification tools: a comparison of Standard {ML} and Haskell}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {7}, number = {2}, pages = {184--194}, year = {2005}, url = {https://doi.org/10.1007/s10009-004-0184-3}, doi = {10.1007/S10009-004-0184-3}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/LeuckerNSW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fiw/Stevens05, author = {Perdita Stevens}, editor = {Stephan Reiff{-}Marganiec and Mark Ryan}, title = {A Practical Introduction to Games, Infinity and the Edinburgh Concurrency Workbench}, booktitle = {Feature Interactions in Telecommunications and Software Systems VIII, ICFI'05, 28-30 June 2005, Leicester, {UK}}, pages = {35--36}, publisher = {{IOS} Press}, year = {2005}, timestamp = {Mon, 06 Nov 2017 16:35:11 +0100}, biburl = {https://dblp.org/rec/conf/fiw/Stevens05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/KatoenS04, author = {Joost{-}Pieter Katoen and Perdita Stevens}, title = {Guest editors' introduction: Advancements and extensions of verification techniques}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {6}, number = {2}, pages = {99--101}, year = {2004}, url = {https://doi.org/10.1007/s10009-004-0150-0}, doi = {10.1007/S10009-004-0150-0}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/KatoenS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wosp/CanevetGHKS04, author = {C. Canevet and Stephen Gilmore and Jane Hillston and Le{\"{\i}}la Kloul and Perdita Stevens}, editor = {Jozo J. Dujmovic and Virg{\'{\i}}lio A. F. Almeida and Doug Lea}, title = {Analysing {UML} 2.0 activity diagrams in the software performance engineering process}, booktitle = {Proceedings of the Fourth International Workshop on Software and Performance, {WOSP} 2004, Redwood Shores, California, USA, January 14-16, 2004}, pages = {74--78}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/974044.974055}, doi = {10.1145/974044.974055}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wosp/CanevetGHKS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ase/Stevens03, author = {Perdita Stevens}, title = {Small-Scale {XMI} Programming: {A} Revolution in {UML} Tool Use?}, journal = {Autom. Softw. Eng.}, volume = {10}, number = {1}, pages = {7--21}, year = {2003}, url = {https://doi.org/10.1023/A:1021860700141}, doi = {10.1023/A:1021860700141}, timestamp = {Thu, 18 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ase/Stevens03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asm/Stevens03, author = {Perdita Stevens}, editor = {Egon B{\"{o}}rger and Angelo Gargantini and Elvinia Riccobene}, title = {{UML} and Concurrency}, booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2589}, pages = {151--165}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-36498-6\_8}, doi = {10.1007/3-540-36498-6\_8}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/asm/Stevens03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/TenzerS03, author = {Jennifer Tenzer and Perdita Stevens}, editor = {Mauro Pezz{\`{e}}}, title = {Modelling Recursive Calls with {UML} State Diagrams}, booktitle = {Fundamental Approaches to Software Engineering, 6th International Conference, {FASE} 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2621}, pages = {135--149}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-36578-8\_10}, doi = {10.1007/3-540-36578-8\_10}, timestamp = {Sun, 02 Oct 2022 16:01:12 +0200}, biburl = {https://dblp.org/rec/conf/fase/TenzerS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/global/BaumeisterKKSW03, author = {Hubert Baumeister and Nora Koch and Piotr Kosiuczenko and Perdita Stevens and Martin Wirsing}, editor = {Corrado Priami}, title = {{UML} for Global Computing}, booktitle = {Global Computing. Programming Environments, Languages, Security, and Analysis of Systems, {IST/FET} International Workshop, {GC} 2003, Rovereto, Italy, February 9-14, 2003, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2874}, pages = {1--24}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40042-4\_1}, doi = {10.1007/978-3-540-40042-4\_1}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/global/BaumeisterKKSW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fmoods/2003, editor = {Elie Najm and Uwe Nestmann and Perdita Stevens}, title = {Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2884}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/b94120}, doi = {10.1007/B94120}, isbn = {3-540-20491-1}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fmoods/2003.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/uml/2003, editor = {Perdita Stevens and Jon Whittle and Grady Booch}, title = {{\guillemotleft}UML{\guillemotright} 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2863}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/b14063}, doi = {10.1007/B14063}, isbn = {3-540-20243-9}, timestamp = {Tue, 24 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/uml/2003.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/DAdderioDLS02, author = {Luciana D'Adderio and Rick G. Dewar and Ashley D. Lloyd and Perdita Stevens}, title = {Has the pattern emperor any clothes?: a controversy in three acts}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {27}, number = {1}, pages = {31--35}, year = {2002}, url = {https://doi.org/10.1145/566493.1148026}, doi = {10.1145/566493.1148026}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/DAdderioDLS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/Stevens02, author = {Perdita Stevens}, title = {On the interpretation of binary associations in the Unified Modelling Language}, journal = {Softw. Syst. Model.}, volume = {1}, number = {1}, pages = {68--79}, year = {2002}, url = {https://doi.org/10.1007/s10270-002-0002-x}, doi = {10.1007/S10270-002-0002-X}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sosym/Stevens02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/stvr/Stevens02, author = {Perdita Stevens}, title = {Refinement in {Z} and object-Z: foundations and advanced applications}, journal = {Softw. Test. Verification Reliab.}, volume = {12}, number = {1}, pages = {61}, year = {2002}, url = {https://doi.org/10.1002/stvr.237}, doi = {10.1002/STVR.237}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/stvr/Stevens02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coordination/Stevens02, author = {Perdita Stevens}, editor = {Farhad Arbab and Carolyn L. Talcott}, title = {Playing Games with Software Design}, booktitle = {Coordination Models and Languages, 5th International Conference, {COORDINATION} 2002, YORK, UK, April 8-11, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2315}, pages = {1}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-46000-4\_1}, doi = {10.1007/3-540-46000-4\_1}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/coordination/Stevens02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/BradfieldFS02, author = {Julian C. Bradfield and Juliana K{\"{u}}ster Filipe and Perdita Stevens}, editor = {Ralf{-}Detlef Kutsche and Herbert Weber}, title = {Enriching {OCL} Using Observational Mu-Calculus}, booktitle = {Fundamental Approaches to Software Engineering, 5th International Conference, {FASE} 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2306}, pages = {203--217}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45923-5\_14}, doi = {10.1007/3-540-45923-5\_14}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fase/BradfieldFS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmco/StevensT02, author = {Perdita Stevens and Jennifer Tenzer}, editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever}, title = {Games for {UML} Software Design}, booktitle = {Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {2852}, pages = {467--486}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/978-3-540-39656-7\_20}, doi = {10.1007/978-3-540-39656-7\_20}, timestamp = {Sun, 02 Jun 2019 21:14:42 +0200}, biburl = {https://dblp.org/rec/conf/fmco/StevensT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsm/DeursenLS02, author = {Arie van Deursen and Timothy Lethbridge and Perdita Stevens}, title = {Panel Introducion}, booktitle = {18th International Conference on Software Maintenance {(ICSM} 2002), Maintaining Distributed Heterogeneous Systems, 3-6 October 2002, Montreal, Quebec, Canada}, pages = {248}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/ICSM.2002.1167774}, doi = {10.1109/ICSM.2002.1167774}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icsm/DeursenLS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tacas/2002, editor = {Joost{-}Pieter Katoen and Perdita Stevens}, title = {Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, {TACAS} 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2280}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-46002-0}, doi = {10.1007/3-540-46002-0}, isbn = {3-540-43419-4}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/2002.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0004611, author = {Perdita Stevens and Rob Pooley}, title = {{UML} - Softwareentwicklung mit Objekten und Komponenten: Version 1.3}, publisher = {Pearson Studium}, year = {2001}, url = {http://www.pearson-studium.de}, isbn = {978-3-8273-7003-7}, timestamp = {Tue, 12 Apr 2011 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0004611.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/Stevens01, author = {Perdita Stevens}, editor = {Heinrich Hu{\ss}mann}, title = {On Use Cases and Their Relationships in the Unified Modelling Language}, booktitle = {Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2029}, pages = {140--155}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45314-8\_11}, doi = {10.1007/3-540-45314-8\_11}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fase/Stevens01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uml/Stevens01, author = {Perdita Stevens}, editor = {Martin Gogolla and Cris Kobryn}, title = {On Associations in the Unified Modelling Language}, booktitle = {{\guillemotleft}UML{\guillemotright} 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2185}, pages = {361--375}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45441-1\_27}, doi = {10.1007/3-540-45441-1\_27}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/uml/Stevens01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iee/DewarLPS99, author = {Rick G. Dewar and Ashley D. Lloyd and Rob Pooley and Perdita Stevens}, title = {Identifying nd communicting expertise in systems reengineering: a patterns approach}, journal = {{IEE} Proc. Softw.}, volume = {146}, number = {3}, pages = {145--152}, year = {1999}, url = {https://doi.org/10.1049/ip-sen:19990614}, doi = {10.1049/IP-SEN:19990614}, timestamp = {Tue, 19 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iee/DewarLPS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoopw/EvansFGHS99, author = {Andy Evans and Robert B. France and Guy Genilloud and Brian Henderson{-}Sellers and Perdita Stevens}, editor = {Ana M. D. Moreira and Serge Demeyer}, title = {Aggregation}, booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1743}, pages = {55--56}, publisher = {Springer}, year = {1999}, timestamp = {Mon, 15 Jun 2020 17:08:35 +0200}, biburl = {https://dblp.org/rec/conf/ecoopw/EvansFGHS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoopw/Stevens99, author = {Perdita Stevens}, editor = {Ana M. D. Moreira and Serge Demeyer}, title = {{UML} for Describing Product-Line Architectures?}, booktitle = {Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1743}, pages = {199}, publisher = {Springer}, year = {1999}, timestamp = {Mon, 22 Apr 2002 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecoopw/Stevens99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/Stevens99, author = {Perdita Stevens}, editor = {Rance Cleaveland}, title = {Some Issues in the Software Engineering of Verification Tools}, booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, {TACAS} '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1579}, pages = {435--438}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-49059-0\_30}, doi = {10.1007/3-540-49059-0\_30}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/Stevens99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/Stevens98, author = {Perdita Stevens}, title = {A Verification Tool Seveloper's Vade Mecum}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {2}, number = {2}, pages = {89--94}, year = {1998}, url = {https://doi.org/10.1007/s100090050019}, doi = {10.1007/S100090050019}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/Stevens98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/Stevens98, author = {Perdita Stevens}, editor = {Davide Sangiorgi and Robert de Simone}, title = {Abstract Games for Infinite State Processes}, booktitle = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1466}, pages = {147--162}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0055621}, doi = {10.1007/BFB0055621}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/Stevens98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoopw/StevensP98, author = {Perdita Stevens and Rob Pooley}, editor = {Serge Demeyer and Jan Bosch}, title = {Systems Reengineering Patterns}, booktitle = {Object-Oriented Technology, ECOOP'98 Workshop Reader, ECOOP'98 Workshops, Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1543}, pages = {85--86}, publisher = {Springer}, year = {1998}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/ecoopw/StevensP98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecoopw/Stevens98, author = {Perdita Stevens}, editor = {Serge Demeyer and Jan Bosch}, title = {Report of Working Group on Reengineering Patterns}, booktitle = {Object-Oriented Technology, ECOOP'98 Workshop Reader, ECOOP'98 Workshops, Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1543}, pages = {89--92}, publisher = {Springer}, year = {1998}, timestamp = {Thu, 13 Jun 2002 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecoopw/Stevens98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/StevensP98, author = {Perdita Stevens and Rob Pooley}, editor = {Leon J. Osterweil and William L. Scherlis}, title = {Systems Reengineering Patterns}, booktitle = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida, USA, November 3-5, 1998}, pages = {17--23}, publisher = {{ACM}}, year = {1998}, url = {https://doi.org/10.1145/288195.288210}, doi = {10.1145/288195.288210}, timestamp = {Tue, 27 Jul 2021 17:16:40 +0200}, biburl = {https://dblp.org/rec/conf/sigsoft/StevensP98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/StevensS98, author = {Perdita Stevens and Colin Stirling}, editor = {Bernhard Steffen}, title = {Practical Model-Checking Using Games}, booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, {TACAS} '98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1384}, pages = {85--101}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0054166}, doi = {10.1007/BFB0054166}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/StevensS98.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.