@inproceedings{Stevens98:0, title = {Abstract Games for Infinite State Processes}, author = {Perdita Stevens}, year = {1998}, url = {http://link.springer.de/link/service/series/0558/bibs/1466/14660147.htm}, researchr = {https://researchr.org/publication/Stevens98%3A0}, cites = {0}, citedby = {0}, pages = {147-162}, booktitle = {concur}, } @inproceedings{DeursenLS02, title = {Panel Introducion}, author = {Arie van Deursen and Timothy Lethbridge and Perdita Stevens}, year = {2002}, url = {http://computer.org/proceedings/icsm/1819/18190248abs.htm}, researchr = {https://researchr.org/publication/DeursenLS02}, cites = {0}, citedby = {0}, pages = {248}, booktitle = {ICSM}, } @article{TenzerS07, title = {GUIDE: Games with UML for interactive design exploration}, author = {Jennifer Tenzer and Perdita Stevens}, year = {2007}, doi = {10.1016/j.knosys.2007.05.005}, url = {http://dx.doi.org/10.1016/j.knosys.2007.05.005}, tags = {UML, design}, researchr = {https://researchr.org/publication/TenzerS07}, cites = {0}, citedby = {0}, journal = {kbs}, volume = {20}, number = {7}, pages = {652-670}, } @inproceedings{Stevens98:1, title = {Report of Working Group on Reengineering Patterns}, author = {Perdita Stevens}, year = {1998}, researchr = {https://researchr.org/publication/Stevens98%3A1}, cites = {0}, citedby = {0}, pages = {89-92}, booktitle = {ECOOPW}, } @article{Stevens98, title = {A Verification Tool Seveloper s Vade Mecum}, author = {Perdita Stevens}, year = {1998}, url = {http://link.springer.de/link/service/journals/10009/bibs/8002002/80020089.htm}, researchr = {https://researchr.org/publication/Stevens98}, cites = {0}, citedby = {0}, journal = {STTT}, volume = {2}, number = {2}, pages = {89-94}, } @article{Stevens03:1, title = {Small-Scale XMI Programming: A Revolution in UML Tool Use?}, author = {Perdita Stevens}, year = {2003}, tags = {UML, programming}, researchr = {https://researchr.org/publication/Stevens03%3A1}, cites = {0}, citedby = {0}, journal = {ASE}, volume = {10}, number = {1}, pages = {7-21}, } @inproceedings{Stevens07:1, title = {A Landscape of Bidirectional Model Transformations}, author = {Perdita Stevens}, year = {2007}, doi = {10.1007/978-3-540-88643-3_10}, url = {http://dx.doi.org/10.1007/978-3-540-88643-3_10}, tags = {model-to-model transformation, bidirectional model transformations, transformation engineering, bidirectional transformation, bidirectional model transformation, meta-model, modeling, model-driven development, source-to-source, survey, software engineering, model-driven engineering, model transformation, context-aware, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/Stevens07%3A1}, cites = {0}, citedby = {0}, pages = {408-424}, booktitle = {GTTSE}, } @article{KatoenS04, title = {Guest editors introduction: Advancements and extensions of verification techniques}, author = {Joost-Pieter Katoen and Perdita Stevens}, year = {2004}, url = {http://www.springerlink.com/index/10.1007/s10009-004-0150-0}, researchr = {https://researchr.org/publication/KatoenS04}, cites = {0}, citedby = {0}, journal = {STTT}, volume = {6}, number = {2}, pages = {99-101}, } @inproceedings{Stevens99:1, title = {UML for Describing Product-Line Architectures?}, author = {Perdita Stevens}, year = {1999}, tags = {architecture, UML, product line}, researchr = {https://researchr.org/publication/Stevens99%3A1}, cites = {0}, citedby = {0}, pages = {199}, booktitle = {ECOOPW}, } @inproceedings{BrinksmaHMSW06a, title = {06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)}, author = {Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa}, year = {2006}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/958}, researchr = {https://researchr.org/publication/BrinksmaHMSW06a}, cites = {0}, citedby = {0}, booktitle = {Dagstuhl}, } @article{Stevens02, title = {Refinement in Z and object-Z: foundations and advanced applications}, author = {Perdita Stevens}, year = {2002}, tags = {meta-model, refinement, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/Stevens02}, cites = {0}, citedby = {0}, journal = {stvr}, volume = {12}, number = {1}, pages = {61}, } @article{TenzerS06, title = {On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams}, author = {Jennifer Tenzer and Perdita Stevens}, year = {2006}, doi = {10.1007/s00165-006-0003-6}, url = {http://dx.doi.org/10.1007/s00165-006-0003-6}, tags = {modeling language, modeling, language modeling}, researchr = {https://researchr.org/publication/TenzerS06}, cites = {0}, citedby = {0}, journal = {fac}, volume = {18}, number = {4}, pages = {397-420}, } @inproceedings{EvansFGHS99, title = {Aggregation}, author = {Andy Evans and Robert B. France and Guy Genilloud and Brian Henderson-Sellers and Perdita Stevens}, year = {1999}, researchr = {https://researchr.org/publication/EvansFGHS99}, cites = {0}, citedby = {0}, pages = {55-56}, booktitle = {ECOOPW}, } @proceedings{dagstuhl:2006P6351, title = {Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006}, year = {2007}, researchr = {https://researchr.org/publication/dagstuhl%3A2006P6351}, cites = {0}, citedby = {0}, booktitle = {Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006}, conference = {Dagstuhl}, editor = {Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa}, volume = {06351}, series = {Dagstuhl Seminar Proceedings}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, }