@article{WhittleS04,
  title = {Automating the implementation of Kalman filter algorithms},
  author = {Jon Whittle and Johann Schumann},
  year = {2004},
  doi = {10.1145/1039813.1039816},
  url = {http://doi.acm.org/10.1145/1039813.1039816},
  researchr = {https://researchr.org/publication/WhittleS04},
  cites = {0},
  citedby = {0},
  journal = {ACM Transactions on Mathematical Software},
  volume = {30},
  number = {4},
  pages = {434-453},
}

@article{StevensW05,
  title = {Guest editorial to the special issue on UML2003},
  author = {Perdita Stevens and Jon Whittle},
  year = {2005},
  doi = {10.1007/s10270-005-0086-1},
  url = {http://dx.doi.org/10.1007/s10270-005-0086-1},
  researchr = {https://researchr.org/publication/StevensW05},
  cites = {0},
  citedby = {0},
  journal = {Software and Systems Modeling},
  volume = {4},
  number = {4},
  pages = {353-354},
}

@article{WhittleC00,
  title = {Evaluating environments for functional programming},
  author = {Jon Whittle and Andrew Cumming},
  year = {2000},
  doi = {10.1006/ijhc.1999.0356},
  url = {http://dx.doi.org/10.1006/ijhc.1999.0356},
  tags = {meta programming, meta-model, functional programming, programming, Meta-Environment},
  researchr = {https://researchr.org/publication/WhittleC00},
  cites = {0},
  citedby = {0},
  journal = {International Journal of Man-Machine Studies},
  volume = {52},
  number = {5},
  pages = {847-878},
}

@inproceedings{MelisW97,
  title = {External Analogy in Inductive Theorem Proving},
  author = {Erica Melis and Jon Whittle},
  year = {1997},
  researchr = {https://researchr.org/publication/MelisW97},
  cites = {0},
  citedby = {0},
  pages = {111-122},
  booktitle = {KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings},
  editor = {Gerhard Brewka and Christopher Habel and Bernhard Nebel},
  volume = {1303},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63493-2},
}

@inproceedings{JayaramanWEG07,
  title = {Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis},
  author = {Praveen K. Jayaraman and Jon Whittle and Ahmed M. Elkhodary and Hassan Gomaa},
  year = {2007},
  doi = {10.1007/978-3-540-75209-7_11},
  url = {http://dx.doi.org/10.1007/978-3-540-75209-7_11},
  tags = {composition, analysis},
  researchr = {https://researchr.org/publication/JayaramanWEG07},
  cites = {0},
  citedby = {0},
  pages = {151-165},
  booktitle = {Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings},
  editor = {Gregor Engels and Bill Opdyke and Douglas C. Schmidt and Frank Weil},
  volume = {4735},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-75208-0},
}

@inproceedings{JayaramanW07,
  title = {UCSIM: A Tool for Simulating Use Case Scenarios},
  author = {Praveen K. Jayaraman and Jon Whittle},
  year = {2007},
  doi = {10.1109/ICSECOMPANION.2007.80},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICSECOMPANION.2007.80},
  researchr = {https://researchr.org/publication/JayaramanW07},
  cites = {0},
  citedby = {0},
  pages = {43-44},
  booktitle = {29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, Companion Volume},
  publisher = {IEEE Computer Society},
}

@article{RezaW07,
  title = {Guest editorial: Special section on Software Engineering Research and Practice 2005 (SERP 05)},
  author = {Hassan Reza and Jon Whittle},
  year = {2007},
  doi = {10.1007/s11219-006-9000-5},
  url = {http://dx.doi.org/10.1007/s11219-006-9000-5},
  tags = {software engineering},
  researchr = {https://researchr.org/publication/RezaW07},
  cites = {0},
  citedby = {0},
  journal = {Software Quality Journal},
  volume = {15},
  number = {1},
  pages = {3-5},
}

@inproceedings{WhittleWH08,
  title = {Executable misuse cases for modeling security concerns},
  author = {Jon Whittle and Duminda Wijesekera and Mark Hartong},
  year = {2008},
  doi = {10.1145/1368088.1368106},
  url = {http://doi.acm.org/10.1145/1368088.1368106},
  tags = {modeling, security},
  researchr = {https://researchr.org/publication/WhittleWH08},
  cites = {0},
  citedby = {0},
  pages = {121-130},
  booktitle = {30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008},
  editor = {Wilhelm Schäfer and Matthew B. Dwyer and Volker Gruhn},
  publisher = {ACM},
  isbn = {978-1-60558-079-1},
}

@inproceedings{GogollaSW04,
  title = {Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME 2004)},
  author = {Martin Gogolla and Paul Sammut and Jon Whittle},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3297&spage=43},
  tags = {meta-model, UML, software engineering, model-driven engineering, Meta-Environment},
  researchr = {https://researchr.org/publication/GogollaSW04},
  cites = {0},
  citedby = {0},
  pages = {43-51},
  booktitle = {UML Modeling Languages and Applications, «UML» 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers},
  editor = {Nuno Jardim Nunes and Bran Selic and Alberto Rodrigues da Silva and José Ambrosio Toval Álvarez},
  volume = {3297},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25081-6},
}

@inproceedings{WhittleJND08,
  title = {First International Modeling Security Workshop},
  author = {Jon Whittle and Jan Jürjens and Bashar Nuseibeh and Glen Dobson},
  year = {2008},
  doi = {10.1007/978-3-642-01648-6_19},
  url = {http://dx.doi.org/10.1007/978-3-642-01648-6_19},
  tags = {modeling, security},
  researchr = {https://researchr.org/publication/WhittleJND08},
  cites = {0},
  citedby = {0},
  pages = {181-184},
  booktitle = {Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers},
  editor = {Michel R. V. Chaudron},
  volume = {5421},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-01647-9},
}

@inproceedings{MelisW96,
  title = {Internal Analogy in Theorem Proving},
  author = {Erica Melis and Jon Whittle},
  year = {1996},
  researchr = {https://researchr.org/publication/MelisW96},
  cites = {0},
  citedby = {0},
  pages = {92-105},
  booktitle = {Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings},
  editor = {Michael A. McRobbie and John K. Slaney},
  volume = {1104},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61511-3},
}

@inproceedings{SchumannW00,
  title = {Automatic Synthesis of Agent Designs in UML},
  author = {Johann Schumann and Jon Whittle},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1871/18710148.htm},
  tags = {UML},
  researchr = {https://researchr.org/publication/SchumannW00},
  cites = {0},
  citedby = {0},
  pages = {148-162},
  booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
  editor = {James L. Rash and Christopher Rouff and Walt Truszkowski and Diana F. Gordon and Michael G. Hinchey},
  volume = {1871},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42716-3},
}

@inproceedings{RosuVWL03,
  title = {Certifying Optimality of State Estimation Programs},
  author = {Grigore Rosu and Ram Prasad Venkatesan and Jon Whittle and Laurentiu Leustean},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2725&spage=301},
  researchr = {https://researchr.org/publication/RosuVWL03},
  cites = {0},
  citedby = {0},
  pages = {301-314},
  booktitle = {Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
  editor = {Warren A. Hunt Jr. and Fabio Somenzi},
  volume = {2725},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40524-0},
}

@inproceedings{AraujoWM06,
  title = {Choosing the Right Time to Compose Aspectual Scenarios},
  author = {João Araújo and Jon Whittle and Ana Moreira},
  year = {2006},
  doi = {10.1109/COMPSAC.2006.124},
  url = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2006.124},
  researchr = {https://researchr.org/publication/AraujoWM06},
  cites = {0},
  citedby = {0},
  pages = {29-32},
  booktitle = {30th Annual International Computer Software and Applications Conference (COMPSAC 2006), 17-21 September 2006, Chicago, Illinois, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2655-1},
}

@inproceedings{BaarW06,
  title = {On the Usage of Concrete Syntax in Model Transformation Rules},
  author = {Thomas Baar and Jon Whittle},
  year = {2006},
  doi = {10.1007/978-3-540-70881-0_10},
  url = {http://dx.doi.org/10.1007/978-3-540-70881-0_10},
  tags = {model-to-model transformation, rule-based, meta-model, source-to-source, rules, model transformation, Meta-Environment, concrete syntax, transformation},
  researchr = {https://researchr.org/publication/BaarW06},
  cites = {0},
  citedby = {0},
  pages = {84-97},
  booktitle = {Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers},
  editor = {Irina Virbitskaite and Andrei Voronkov},
  volume = {4378},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-70880-3},
}

@inproceedings{BruelGHOPWZ04,
  title = {Models for Non-functional Aspects of Component-Based Software (NfC 04)},
  author = {Jean-Michel Bruel and Geri Georg and Heinrich Hußmann and Ileana Ober and Christoph Pohl and Jon Whittle and Steffen  Zschaler},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3297&spage=62},
  tags = {rule-based, software components, software component, UML},
  researchr = {https://researchr.org/publication/BruelGHOPWZ04},
  cites = {0},
  citedby = {0},
  pages = {62-66},
  booktitle = {UML Modeling Languages and Applications, «UML» 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers},
  editor = {Nuno Jardim Nunes and Bran Selic and Alberto Rodrigues da Silva and José Ambrosio Toval Álvarez},
  volume = {3297},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25081-6},
}

@inproceedings{ChengLGIMABBBCSDFGGGKKKLMMMPSTTWW09,
  title = {Software Engineering for Self-Adaptive Systems: A Research Roadmap},
  author = {Betty H. C. Cheng and Rogério de Lemos and Holger Giese and Paola Inverardi and Jeff Magee and Jesper Andersson and Basil Becker and Nelly Bencomo and Yuriy Brun and Bojan Cukic and Giovanna Di Marzo Serugendo and Schahram Dustdar and Anthony Finkelstein and Cristina Gacek and Kurt Geihs and Vincenzo Grassi and Gabor Karsai and Holger M. Kienle and Jeff Kramer and Marin Litoiu and Sam Malek and Raffaela Mirandola and Hausi A. Müller and Sooyong Park and Mary Shaw and Matthias Tichy and Massimo Tivoli and Danny Weyns and Jon Whittle},
  year = {2009},
  doi = {10.1007/978-3-642-02161-9_1},
  url = {http://dx.doi.org/10.1007/978-3-642-02161-9_1},
  tags = {software engineering, C++},
  researchr = {https://researchr.org/publication/ChengLGIMABBBCSDFGGGKKKLMMMPSTTWW09},
  cites = {0},
  citedby = {0},
  pages = {1-26},
  booktitle = {Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar]},
  editor = {Betty H. C. Cheng and Rogério de Lemos and Holger Giese and Paola Inverardi and Jeff Magee},
  volume = {5525},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02160-2},
}

@article{WhittleA04,
  title = {Scenario modelling with aspects},
  author = {Jon Whittle and João Araújo},
  year = {2004},
  doi = {10.1049/ip-sen:20040921},
  url = {http://dx.doi.org/10.1049/ip-sen:20040921},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/WhittleA04},
  cites = {0},
  citedby = {0},
  journal = {IEE Proceedings - Software},
  volume = {151},
  number = {4},
  pages = {157-172},
}

@article{MelisW99,
  title = {Analogy in Inductive Theorem Proving},
  author = {Erica Melis and Jon Whittle},
  year = {1999},
  researchr = {https://researchr.org/publication/MelisW99},
  cites = {0},
  citedby = {0},
  journal = {Journal of Automated Reasoning},
  volume = {22},
  number = {2},
  pages = {117-147},
}

@inproceedings{WhittleJ06,
  title = {Generating Hierarchical State Machines from Use Case Charts},
  author = {Jon Whittle and Praveen K. Jayaraman},
  year = {2006},
  doi = {10.1109/RE.2006.25},
  url = {http://doi.ieeecomputersociety.org/10.1109/RE.2006.25},
  tags = {state machines},
  researchr = {https://researchr.org/publication/WhittleJ06},
  cites = {0},
  citedby = {0},
  pages = {16-25},
  booktitle = {14th IEEE International Conference on Requirements Engineering (RE 2006), 11-15 September 2006, Minneapolis/St.Paul, Minnesota, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2555-5},
}

@inproceedings{AraujoWK04,
  title = {Modeling and Composing Scenario-Based Requirements with Aspects},
  author = {João Araújo and Jon Whittle and Dae-Kyoo Kim},
  year = {2004},
  doi = {10.1109/RE.2004.32},
  url = {http://doi.ieeecomputersociety.org/10.1109/RE.2004.32},
  tags = {rule-based, modeling},
  researchr = {https://researchr.org/publication/AraujoWK04},
  cites = {0},
  citedby = {0},
  pages = {58-67},
  booktitle = {12th IEEE International Conference on Requirements Engineering (RE 2004), 6-10 September 2004, Kyoto, Japan},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2174-6},
}

@inproceedings{WhittleBBL99:0,
  title = {An ML Editor Based on Proofs-As-Programs},
  author = {Jon Whittle and Alan Bundy and Richard J. Boulton and Helen Lowe},
  year = {1999},
  url = {http://computer.org/proceedings/ase/0415/04150166abs.htm},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/WhittleBBL99%3A0},
  cites = {0},
  citedby = {0},
  pages = {166-173},
  booktitle = {ASE},
}

@article{WhittleBB02,
  title = {Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor},
  author = {Jon Whittle and Alan Bundy and Richard J. Boulton},
  year = {2002},
  url = {http://link.springer.de/link/service/journals/00165/bibs/2013003/20130403.htm},
  tags = {rule-based, design},
  researchr = {https://researchr.org/publication/WhittleBB02},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {13},
  number = {3-5},
  pages = {403-421},
}

@inproceedings{GeorgAMOPTWZ05,
  title = {Workshop on Models for Non-functional Properties of Component-Based Software - NfC},
  author = {Geri Georg and Jan Øyvind Aagedal and Raffaela Mirandola and Ileana Ober and Dorina C. Petriu and Wolfgang Theilmann and Jon Whittle and Steffen  Zschaler},
  year = {2005},
  doi = {10.1007/11663430_22},
  url = {http://dx.doi.org/10.1007/11663430_22},
  tags = {rule-based, software components, software component, UML, C++},
  researchr = {https://researchr.org/publication/GeorgAMOPTWZ05},
  cites = {0},
  citedby = {0},
  pages = {210-216},
  booktitle = {Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers},
  editor = {Jean-Michel Bruel},
  volume = {3844},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-31780-5},
}

@inproceedings{WhittleGM06,
  title = {Workshop description of 5th intl. workshop on scenarios and state machines: models-algorithms-and tools (SCESM)},
  author = {Jon Whittle and Leif Geiger and Michael Meisinger},
  year = {2006},
  doi = {10.1145/1134494},
  url = {http://doi.acm.org/10.1145/1134494},
  tags = {state machines},
  researchr = {https://researchr.org/publication/WhittleGM06},
  cites = {0},
  citedby = {0},
  pages = {1039-1040},
  booktitle = {28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006},
  editor = {Leon J. Osterweil and H. Dieter Rombach and Mary Lou Soffa},
  publisher = {ACM},
  isbn = {1-59593-375-1},
}

@inproceedings{FischerW99,
  title = {An Integration of Deductive Retrieval into Deductive Synthesis},
  author = {Bernd  Fischer and Jon Whittle},
  year = {1999},
  url = {http://computer.org/proceedings/ase/0415/04150052abs.htm},
  researchr = {https://researchr.org/publication/FischerW99},
  cites = {0},
  citedby = {0},
  pages = {52},
  booktitle = {ASE},
}

@incollection{Whittle02,
  title = {Formal Approaches to Systems Analysis Using UML: An Overview},
  author = {Jon Whittle},
  year = {2002},
  tags = {analysis, UML, systematic-approach},
  researchr = {https://researchr.org/publication/Whittle02},
  cites = {0},
  citedby = {0},
  pages = {324-341},
  booktitle = {Advanced Topics in Database Research, Vol. 1},
}

@inproceedings{MoreiraAW06,
  title = {Modeling Volatile Concerns as Aspects},
  author = {Ana Moreira and João Araújo and Jon Whittle},
  year = {2006},
  doi = {10.1007/11767138_36},
  url = {http://dx.doi.org/10.1007/11767138_36},
  tags = {meta-model, modeling, Meta-Environment},
  researchr = {https://researchr.org/publication/MoreiraAW06},
  cites = {0},
  citedby = {0},
  pages = {544-558},
  booktitle = {Advanced Information Systems Engineering, 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006, Proceedings},
  editor = {Eric Dubois and Klaus Pohl},
  volume = {4001},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-34652-X},
}

@inproceedings{WhittleGM06:0,
  title = {Workshop introduction of 5th intl. workshop on scenarios and state machines: models - algorithms - and tools (SCESM)},
  author = {Jon Whittle and Leif Geiger and Michael Meisinger},
  year = {2006},
  doi = {10.1145/1138953.1138954},
  url = {http://doi.acm.org/10.1145/1138953.1138954},
  tags = {state machines},
  researchr = {https://researchr.org/publication/WhittleGM06%3A0},
  cites = {0},
  citedby = {0},
  pages = {1-3},
  booktitle = {SCESM  06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006},
  editor = {Jon Whittle and Leif Geiger and Michael Meisinger},
  publisher = {ACM},
  isbn = {1-59593-394-8},
}

@article{NierstraszW08,
  title = {Guest Editorial to the Special Issue on MoDELS 2006},
  author = {Oscar Nierstrasz and Jon Whittle},
  year = {2008},
  doi = {10.1007/s10270-008-0100-5},
  url = {http://dx.doi.org/10.1007/s10270-008-0100-5},
  researchr = {https://researchr.org/publication/NierstraszW08},
  cites = {0},
  citedby = {0},
  journal = {Software and Systems Modeling},
  volume = {7},
  number = {4},
  pages = {381-382},
}

@article{Whittle00,
  title = {Formal Approaches to Systems Analysis Using UML: An Overview},
  author = {Jon Whittle},
  year = {2000},
  tags = {analysis, UML, systematic-approach},
  researchr = {https://researchr.org/publication/Whittle00},
  cites = {0},
  citedby = {0},
  journal = {Journal of Database Management},
  volume = {11},
  number = {4},
  pages = {4-13},
}

@inproceedings{WhittleS00,
  title = {Generating statechart designs from scenarios},
  author = {Jon Whittle and Johann Schumann},
  year = {2000},
  doi = {10.1145/337180.337217},
  url = {http://doi.acm.org/10.1145/337180.337217},
  researchr = {https://researchr.org/publication/WhittleS00},
  cites = {0},
  citedby = {0},
  pages = {314-323},
  booktitle = {ICSE},
}

@inproceedings{SchumannFWW03,
  title = {Certification Support for Automatically Generated Programs},
  author = {Johann Schumann and Bernd  Fischer and Michael W. Whalen and Jon Whittle},
  year = {2003},
  url = {http://computer.org/proceedings/hicss/1874/track9/187490337aabs.htm},
  tags = {certification},
  researchr = {https://researchr.org/publication/SchumannFWW03},
  cites = {0},
  citedby = {0},
  pages = {337},
  booktitle = {HICSS},
}

@inproceedings{Whittle07,
  title = {Precise Specification of Use Case Scenarios},
  author = {Jon Whittle},
  year = {2007},
  doi = {10.1007/978-3-540-71289-3_15},
  url = {http://dx.doi.org/10.1007/978-3-540-71289-3_15},
  researchr = {https://researchr.org/publication/Whittle07},
  cites = {0},
  citedby = {0},
  pages = {170-184},
  booktitle = {Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  editor = {Matthew B. Dwyer and Antónia Lopes},
  volume = {4422},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-71288-6},
}

@inproceedings{Whittle05,
  title = {Specifying Precise Use Cases with Use Case Charts},
  author = {Jon Whittle},
  year = {2005},
  doi = {10.1007/11663430_30},
  url = {http://dx.doi.org/10.1007/11663430_30},
  tags = {UML},
  researchr = {https://researchr.org/publication/Whittle05},
  cites = {0},
  citedby = {0},
  pages = {290-301},
  booktitle = {Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers},
  editor = {Jean-Michel Bruel},
  volume = {3844},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-31780-5},
}

@article{KrugerUWZ03,
  title = {A summary of the second ICSE 2003 workshop on:  scenarios and state machines: models, algorithms, and tools },
  author = {Ingolf Krüger and Sebastián Uchitel and Jon Whittle and Albert Zündorf},
  year = {2003},
  doi = {10.1145/966221.966231},
  url = {http://doi.acm.org/10.1145/966221.966231},
  tags = {state machines},
  researchr = {https://researchr.org/publication/KrugerUWZ03},
  cites = {0},
  citedby = {0},
  journal = {ACM SIGSOFT Software Engineering Notes},
  volume = {28},
  number = {6},
  pages = {9},
}

@inproceedings{RosuW02,
  title = {Towards Certifying Domain-Specific Properties of Synthesized Code},
  author = {Grigore Rosu and Jon Whittle},
  year = {2002},
  url = {http://csdl.computer.org/comp/proceedings/ase/2002/1736/00/17360289abs.htm},
  researchr = {https://researchr.org/publication/RosuW02},
  cites = {0},
  citedby = {0},
  pages = {289-294},
  booktitle = {17th IEEE International Conference on Automated Software Engineering (ASE 2002), 23-27 September 2002, Edinburgh, Scotland, UK},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1736-6},
}

@inproceedings{BrodskyHW08,
  title = {CARD: a decision-guidance framework and application for recommending composite alternatives},
  author = {Alexander Brodsky and Sylvia Morgan Henshaw and Jon Whittle},
  year = {2008},
  doi = {10.1145/1454008.1454037},
  url = {http://doi.acm.org/10.1145/1454008.1454037},
  tags = {application framework},
  researchr = {https://researchr.org/publication/BrodskyHW08},
  cites = {0},
  citedby = {0},
  pages = {171-178},
  booktitle = {Proceedings of the 2008 ACM Conference on Recommender Systems, RecSys 2008, Lausanne, Switzerland, October 23-25, 2008},
  editor = {Pearl Pu and Derek G. Bridge and Bamshad Mobasher and Francesco Ricci},
  publisher = {ACM},
  isbn = {978-1-60558-093-7},
}

@inproceedings{WhittleJ07,
  title = {MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation},
  author = {Jon Whittle and Praveen K. Jayaraman},
  year = {2007},
  doi = {10.1007/978-3-540-69073-3_3},
  url = {http://dx.doi.org/10.1007/978-3-540-69073-3_3},
  tags = {model-to-model transformation, rule-based, graph transformation, meta-model, modeling, source-to-source, graph-rewriting, model transformation, Meta-Environment, rewriting, transformation},
  researchr = {https://researchr.org/publication/WhittleJ07},
  cites = {0},
  citedby = {0},
  pages = {16-27},
  booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers},
  editor = {Holger Giese},
  volume = {5002},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69069-6},
}

@inproceedings{WhittleBBL99,
  title = {System Description: CyNTHIA},
  author = {Jon Whittle and Alan Bundy and Richard J. Boulton and Helen Lowe},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1632/16320388.htm},
  researchr = {https://researchr.org/publication/WhittleBBL99},
  cites = {0},
  citedby = {0},
  pages = {388-392},
  booktitle = {Automated Deduction - CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings},
  editor = {Harald Ganzinger},
  volume = {1632},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66222-7},
}

@inproceedings{WhittleBL97,
  title = {An Editor for Helping Novices to Learn Standard ML},
  author = {Jon Whittle and Alan Bundy and Helen Lowe},
  year = {1997},
  researchr = {https://researchr.org/publication/WhittleBL97},
  cites = {0},
  citedby = {0},
  pages = {389-405},
  booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP 97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings},
  editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen},
  volume = {1292},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63398-7},
}

@article{WhittleKS05,
  title = {From scenarios to code: An air traffic control case study},
  author = {Jon Whittle and Richard Kwan and Jyoti Saboo},
  year = {2005},
  url = {http://www.springerlink.com/index/10.1007/s10270-004-0067-9},
  tags = {case study},
  researchr = {https://researchr.org/publication/WhittleKS05},
  cites = {0},
  citedby = {0},
  journal = {Software and Systems Modeling},
  volume = {4},
  number = {1},
  pages = {71-93},
}

@inproceedings{Whittle02:0,
  title = {Transformations and Software Modeling Languages: Automating Transformations in UML},
  author = {Jon Whittle},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2460/24600227.htm},
  tags = {model-to-model transformation, meta-model, modeling language, modeling, transformation language, language modeling, UML, source-to-source, model transformation, Meta-Environment, transformation},
  researchr = {https://researchr.org/publication/Whittle02%3A0},
  cites = {0},
  citedby = {0},
  pages = {227-242},
  booktitle = {UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings},
  editor = {Jean-Marc Jézéquel and Heinrich Hußmann and Stephen Cook},
  volume = {2460},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-44254-5},
}

@inproceedings{WhittleMAJER07,
  title = {An Expressive Aspect Composition Language for UML State Diagrams},
  author = {Jon Whittle and Ana Moreira and João Araújo and Praveen K. Jayaraman and Ahmed M. Elkhodary and Rasheed Rabbi},
  year = {2007},
  doi = {10.1007/978-3-540-75209-7_35},
  url = {http://dx.doi.org/10.1007/978-3-540-75209-7_35},
  tags = {composition, UML},
  researchr = {https://researchr.org/publication/WhittleMAJER07},
  cites = {0},
  citedby = {0},
  pages = {514-528},
  booktitle = {Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings},
  editor = {Gregor Engels and Bill Opdyke and Douglas C. Schmidt and Frank Weil},
  volume = {4735},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-75208-0},
}

@inproceedings{DenneyW04,
  title = {Combining Model-Driven and Schema-Based Program Synthesis},
  author = {Ewen  Denney and Jon Whittle},
  year = {2004},
  tags = {rule-based, XML, XML Schema},
  researchr = {https://researchr.org/publication/DenneyW04},
  cites = {0},
  citedby = {0},
  pages = {207-211},
  booktitle = {Proceedings of the International Conference on Software Engineering Research and Practice, SERP  04, June 21-24, 2004, Las Vegas, Nevada, USA, Volume 1},
  editor = {Hamid R. Arabnia and Hassan Reza},
  publisher = {CSREA Press},
  isbn = {1-932415-28-9},
}

@inproceedings{WhittleSK03,
  title = {From Scenarios to Code: An Air Traffic Control Case Study},
  author = {Jon Whittle and Jyoti Saboo and Richard Kwan},
  year = {2003},
  url = {http://computer.org/proceedings/icse/1877/18770490abs.htm},
  tags = {case study},
  researchr = {https://researchr.org/publication/WhittleSK03},
  cites = {0},
  citedby = {0},
  pages = {490-497},
  booktitle = {Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA},
  publisher = {IEEE Computer Society},
}

@inproceedings{Whittle02a,
  title = {Workshops and Tutorials at the UML 2002 Conference},
  author = {Jon Whittle},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2460/24600442.htm},
  tags = {UML},
  researchr = {https://researchr.org/publication/Whittle02a},
  cites = {0},
  citedby = {0},
  pages = {442-448},
  booktitle = {UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings},
  editor = {Jean-Marc Jézéquel and Heinrich Hußmann and Stephen Cook},
  volume = {2460},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-44254-5},
}
@proceedings{scesm:2006,
  title = {SCESM  06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006},
  year = {2006},
  tags = {state machines},
  researchr = {https://researchr.org/publication/scesm%3A2006},
  cites = {0},
  citedby = {0},
  booktitle = {SCESM  06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006},
  conference = {scesm},
  editor = {Jon Whittle and Leif Geiger and Michael Meisinger},
  publisher = {ACM},
  isbn = {1-59593-394-8},
}

@proceedings{uml:2003,
  title = {«UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings},
  year = {2003},
  tags = {modeling language, modeling, language modeling, UML},
  researchr = {https://researchr.org/publication/uml%3A2003},
  cites = {0},
  citedby = {0},
  booktitle = {«UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings},
  conference = {uml},
  editor = {Perdita Stevens and Jon Whittle and Grady Booch},
  volume = {2863},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20243-9},
}

@proceedings{models:2006,
  title = {Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings},
  year = {2006},
  tags = {meta-model, modeling language, language engineering, language modeling, model-driven engineering, Meta-Environment},
  researchr = {https://researchr.org/publication/models%3A2006},
  cites = {0},
  citedby = {0},
  booktitle = {Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings},
  conference = {MoDELS},
  editor = {Oscar Nierstrasz and Jon Whittle and David Harel and Gianna Reggio},
  volume = {4199},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-45772-0},
}