publications:
- title: "Automating the implementation of Kalman filter algorithms"
  author:
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "Johann Schumann"
    link: "https://researchr.org/alias/johann-schumann"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1039813.1039816"
  links:
    doi: "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"
  kind: "article"
  key: "WhittleS04"
- title: "Guest editorial to the special issue on UML2003"
  author:
  - name: "Perdita Stevens"
    link: "https://researchr.org/alias/perdita-stevens"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/s10270-005-0086-1"
  links:
    doi: "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"
  kind: "article"
  key: "StevensW05"
- title: "Evaluating environments for functional programming"
  author:
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "Andrew Cumming"
    link: "https://researchr.org/alias/andrew-cumming"
  year: "2000"
  doi: "http://dx.doi.org/10.1006/ijhc.1999.0356"
  links:
    doi: "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"
  kind: "article"
  key: "WhittleC00"
- title: "External Analogy in Inductive Theorem Proving"
  author:
  - name: "Erica Melis"
    link: "https://researchr.org/alias/erica-melis"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  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:
  - name: "Gerhard Brewka"
    link: "https://researchr.org/alias/gerhard-brewka"
  - name: "Christopher Habel"
    link: "https://researchr.org/alias/christopher-habel"
  - name: "Bernhard Nebel"
    link: "https://researchr.org/alias/bernhard-nebel"
  volume: "1303"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63493-2"
  kind: "inproceedings"
  key: "MelisW97"
- title: "Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis"
  author:
  - name: "Praveen K. Jayaraman"
    link: "https://researchr.org/alias/praveen-k.-jayaraman"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "Ahmed M. Elkhodary"
    link: "https://researchr.org/alias/ahmed-m.-elkhodary"
  - name: "Hassan Gomaa"
    link: "https://researchr.org/alias/hassan-gomaa"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-75209-7_11"
  links:
    doi: "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:
  - name: "Gregor Engels"
    link: "https://researchr.org/alias/gregor-engels"
  - name: "Bill Opdyke"
    link: "https://researchr.org/alias/bill-opdyke"
  - name: "Douglas C. Schmidt"
    link: "https://researchr.org/alias/douglas-c.-schmidt"
  - name: "Frank Weil"
    link: "https://researchr.org/alias/frank-weil"
  volume: "4735"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-75208-0"
  kind: "inproceedings"
  key: "JayaramanWEG07"
- title: "UCSIM: A Tool for Simulating Use Case Scenarios"
  author:
  - name: "Praveen K. Jayaraman"
    link: "https://researchr.org/alias/praveen-k.-jayaraman"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICSECOMPANION.2007.80"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "JayaramanW07"
- title: "Guest editorial: Special section on Software Engineering Research and Practice 2005 (SERP 05)"
  author:
  - name: "Hassan Reza"
    link: "https://researchr.org/alias/hassan-reza"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s11219-006-9000-5"
  links:
    doi: "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"
  kind: "article"
  key: "RezaW07"
- title: "Executable misuse cases for modeling security concerns"
  author:
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "Duminda Wijesekera"
    link: "https://researchr.org/alias/duminda-wijesekera"
  - name: "Mark Hartong"
    link: "https://researchr.org/alias/mark-hartong"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1368088.1368106"
  links:
    doi: "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:
  - name: "Wilhelm Schäfer"
    link: "https://researchr.org/alias/wilhelm-sch%C3%A4fer"
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "Volker Gruhn"
    link: "https://researchr.org/alias/volker-gruhn"
  publisher: "ACM"
  isbn: "978-1-60558-079-1"
  kind: "inproceedings"
  key: "WhittleWH08"
- title: "Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME 2004)"
  author:
  - name: "Martin Gogolla"
    link: "https://researchr.org/alias/martin-gogolla"
  - name: "Paul Sammut"
    link: "https://researchr.org/alias/paul-sammut"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3297&spage=43"
  links:
    doi: "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:
  - name: "Nuno Jardim Nunes"
    link: "https://researchr.org/alias/nuno-jardim-nunes"
  - name: "Bran Selic"
    link: "https://researchr.org/alias/bran-selic"
  - name: "Alberto Rodrigues da Silva"
    link: "https://researchr.org/alias/alberto-rodrigues-da-silva"
  - name: "José Ambrosio Toval Álvarez"
    link: "https://researchr.org/alias/jos%C3%A9-ambrosio-toval-%C3%A1lvarez"
  volume: "3297"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25081-6"
  kind: "inproceedings"
  key: "GogollaSW04"
- title: "First International Modeling Security Workshop"
  author:
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "Jan Jürjens"
    link: "https://researchr.org/alias/jan-j%C3%BCrjens"
  - name: "Bashar Nuseibeh"
    link: "https://researchr.org/alias/bashar-nuseibeh"
  - name: "Glen Dobson"
    link: "https://researchr.org/alias/glen-dobson"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-01648-6_19"
  links:
    doi: "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:
  - name: "Michel R. V. Chaudron"
    link: "http://www.win.tue.nl/~mchaudro/"
  volume: "5421"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-01647-9"
  kind: "inproceedings"
  key: "WhittleJND08"
- title: "Internal Analogy in Theorem Proving"
  author:
  - name: "Erica Melis"
    link: "https://researchr.org/alias/erica-melis"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  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:
  - name: "Michael A. McRobbie"
    link: "https://researchr.org/alias/michael-a.-mcrobbie"
  - name: "John K. Slaney"
    link: "https://researchr.org/alias/john-k.-slaney"
  volume: "1104"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61511-3"
  kind: "inproceedings"
  key: "MelisW96"
- title: "Automatic Synthesis of Agent Designs in UML"
  author:
  - name: "Johann Schumann"
    link: "https://researchr.org/alias/johann-schumann"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1871/18710148.htm"
  links:
    doi: "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:
  - name: "James L. Rash"
    link: "https://researchr.org/alias/james-l.-rash"
  - name: "Christopher Rouff"
    link: "https://researchr.org/alias/christopher-rouff"
  - name: "Walt Truszkowski"
    link: "https://researchr.org/alias/walt-truszkowski"
  - name: "Diana F. Gordon"
    link: "https://researchr.org/alias/diana-f.-gordon"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  volume: "1871"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42716-3"
  kind: "inproceedings"
  key: "SchumannW00"
- title: "Certifying Optimality of State Estimation Programs"
  author:
  - name: "Grigore Rosu"
    link: "http://fsl.cs.uiuc.edu/~grosu/"
  - name: "Ram Prasad Venkatesan"
    link: "https://researchr.org/alias/ram-prasad-venkatesan"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "Laurentiu Leustean"
    link: "https://researchr.org/alias/laurentiu-leustean"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2725&spage=301"
  links:
    doi: "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:
  - name: "Warren A. Hunt Jr."
    link: "https://researchr.org/alias/warren-a.-hunt-jr."
  - name: "Fabio Somenzi"
    link: "https://researchr.org/alias/fabio-somenzi"
  volume: "2725"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40524-0"
  kind: "inproceedings"
  key: "RosuVWL03"
- title: "Choosing the Right Time to Compose Aspectual Scenarios"
  author:
  - name: "João Araújo"
    link: "https://researchr.org/alias/jo%C3%A3o-ara%C3%BAjo"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "Ana Moreira"
    link: "https://researchr.org/alias/ana-moreira"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2006.124"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "AraujoWM06"
- title: "On the Usage of Concrete Syntax in Model Transformation Rules"
  author:
  - name: "Thomas Baar"
    link: "https://researchr.org/alias/thomas-baar"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-70881-0_10"
  links:
    doi: "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:
  - name: "Irina Virbitskaite"
    link: "https://researchr.org/alias/irina-virbitskaite"
  - name: "Andrei Voronkov"
    link: "http://www.voronkov.com/"
  volume: "4378"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-70880-3"
  kind: "inproceedings"
  key: "BaarW06"
- title: "Models for Non-functional Aspects of Component-Based Software (NfC 04)"
  author:
  - name: "Jean-Michel Bruel"
    link: "https://researchr.org/alias/jean-michel-bruel"
  - name: "Geri Georg"
    link: "https://researchr.org/alias/geri-georg"
  - name: "Heinrich Hußmann"
    link: "http://www.medien.ifi.lmu.de/team/heinrich.hussmann/"
  - name: "Ileana Ober"
    link: "https://researchr.org/alias/ileana-ober"
  - name: "Christoph Pohl"
    link: "http://"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "Steffen  Zschaler"
    link: "http://www.steffen-zschaler.de/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3297&spage=62"
  links:
    doi: "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:
  - name: "Nuno Jardim Nunes"
    link: "https://researchr.org/alias/nuno-jardim-nunes"
  - name: "Bran Selic"
    link: "https://researchr.org/alias/bran-selic"
  - name: "Alberto Rodrigues da Silva"
    link: "https://researchr.org/alias/alberto-rodrigues-da-silva"
  - name: "José Ambrosio Toval Álvarez"
    link: "https://researchr.org/alias/jos%C3%A9-ambrosio-toval-%C3%A1lvarez"
  volume: "3297"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25081-6"
  kind: "inproceedings"
  key: "BruelGHOPWZ04"
- title: "Software Engineering for Self-Adaptive Systems: A Research Roadmap"
  author:
  - name: "Betty H. C. Cheng"
    link: "https://researchr.org/alias/betty-h.-c.-cheng"
  - name: "Rogério de Lemos"
    link: "https://researchr.org/alias/rog%C3%A9rio-de-lemos"
  - name: "Holger Giese"
    link: "https://researchr.org/alias/holger-giese"
  - name: "Paola Inverardi"
    link: "https://researchr.org/alias/paola-inverardi"
  - name: "Jeff Magee"
    link: "https://researchr.org/alias/jeff-magee"
  - name: "Jesper Andersson"
    link: "https://researchr.org/alias/jesper-andersson"
  - name: "Basil Becker"
    link: "https://researchr.org/alias/basil-becker"
  - name: "Nelly Bencomo"
    link: "https://researchr.org/alias/nelly-bencomo"
  - name: "Yuriy Brun"
    link: "https://researchr.org/alias/yuriy-brun"
  - name: "Bojan Cukic"
    link: "https://researchr.org/alias/bojan-cukic"
  - name: "Giovanna Di Marzo Serugendo"
    link: "https://researchr.org/alias/giovanna-di-marzo-serugendo"
  - name: "Schahram Dustdar"
    link: "https://researchr.org/alias/schahram-dustdar"
  - name: "Anthony Finkelstein"
    link: "https://researchr.org/alias/anthony-finkelstein"
  - name: "Cristina Gacek"
    link: "https://researchr.org/alias/cristina-gacek"
  - name: "Kurt Geihs"
    link: "https://researchr.org/alias/kurt-geihs"
  - name: "Vincenzo Grassi"
    link: "https://researchr.org/alias/vincenzo-grassi"
  - name: "Gabor Karsai"
    link: "http://w3.isis.vanderbilt.edu/gabor/"
  - name: "Holger M. Kienle"
    link: "https://researchr.org/alias/holger-m.-kienle"
  - name: "Jeff Kramer"
    link: "https://researchr.org/alias/jeff-kramer"
  - name: "Marin Litoiu"
    link: "https://researchr.org/alias/marin-litoiu"
  - name: "Sam Malek"
    link: "https://researchr.org/alias/sam-malek"
  - name: "Raffaela Mirandola"
    link: "https://researchr.org/alias/raffaela-mirandola"
  - name: "Hausi A. Müller"
    link: "http://webhome.cs.uvic.ca/~hausi/"
  - name: "Sooyong Park"
    link: "https://researchr.org/alias/sooyong-park"
  - name: "Mary Shaw"
    link: "https://researchr.org/alias/mary-shaw"
  - name: "Matthias Tichy"
    link: "https://researchr.org/alias/matthias-tichy"
  - name: "Massimo Tivoli"
    link: "http://www.di.univaq.it/tivoli"
  - name: "Danny Weyns"
    link: "https://researchr.org/alias/danny-weyns"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02161-9_1"
  links:
    doi: "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:
  - name: "Betty H. C. Cheng"
    link: "https://researchr.org/alias/betty-h.-c.-cheng"
  - name: "Rogério de Lemos"
    link: "https://researchr.org/alias/rog%C3%A9rio-de-lemos"
  - name: "Holger Giese"
    link: "https://researchr.org/alias/holger-giese"
  - name: "Paola Inverardi"
    link: "https://researchr.org/alias/paola-inverardi"
  - name: "Jeff Magee"
    link: "https://researchr.org/alias/jeff-magee"
  volume: "5525"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-02160-2"
  kind: "inproceedings"
  key: "ChengLGIMABBBCSDFGGGKKKLMMMPSTTWW09"
- title: "Scenario modelling with aspects"
  author:
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "João Araújo"
    link: "https://researchr.org/alias/jo%C3%A3o-ara%C3%BAjo"
  year: "2004"
  doi: "http://dx.doi.org/10.1049/ip-sen:20040921"
  links:
    doi: "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"
  kind: "article"
  key: "WhittleA04"
- title: "Analogy in Inductive Theorem Proving"
  author:
  - name: "Erica Melis"
    link: "https://researchr.org/alias/erica-melis"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  year: "1999"
  researchr: "https://researchr.org/publication/MelisW99"
  cites: 0
  citedby: 0
  journal: "Journal of Automated Reasoning"
  volume: "22"
  number: "2"
  pages: "117-147"
  kind: "article"
  key: "MelisW99"
- title: "Generating Hierarchical State Machines from Use Case Charts"
  author:
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "Praveen K. Jayaraman"
    link: "https://researchr.org/alias/praveen-k.-jayaraman"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/RE.2006.25"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "WhittleJ06"
- title: "Modeling and Composing Scenario-Based Requirements with Aspects"
  author:
  - name: "João Araújo"
    link: "https://researchr.org/alias/jo%C3%A3o-ara%C3%BAjo"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "Dae-Kyoo Kim"
    link: "https://researchr.org/alias/dae-kyoo-kim"
  year: "2004"
  doi: "http://doi.ieeecomputersociety.org/10.1109/RE.2004.32"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "AraujoWK04"
- title: "An ML Editor Based on Proofs-As-Programs"
  author:
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "Alan Bundy"
    link: "https://researchr.org/alias/alan-bundy"
  - name: "Richard J. Boulton"
    link: "https://researchr.org/alias/richard-j.-boulton"
  - name: "Helen Lowe"
    link: "https://researchr.org/alias/helen-lowe"
  year: "1999"
  doi: "http://computer.org/proceedings/ase/0415/04150166abs.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "WhittleBBL99:0"
- title: "Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor"
  author:
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "Alan Bundy"
    link: "https://researchr.org/alias/alan-bundy"
  - name: "Richard J. Boulton"
    link: "https://researchr.org/alias/richard-j.-boulton"
  year: "2002"
  doi: "http://link.springer.de/link/service/journals/00165/bibs/2013003/20130403.htm"
  links:
    doi: "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"
  kind: "article"
  key: "WhittleBB02"
- title: "Workshop on Models for Non-functional Properties of Component-Based Software - NfC"
  author:
  - name: "Geri Georg"
    link: "https://researchr.org/alias/geri-georg"
  - name: "Jan Øyvind Aagedal"
    link: "https://researchr.org/alias/jan-%C3%B8yvind-aagedal"
  - name: "Raffaela Mirandola"
    link: "https://researchr.org/alias/raffaela-mirandola"
  - name: "Ileana Ober"
    link: "https://researchr.org/alias/ileana-ober"
  - name: "Dorina C. Petriu"
    link: "https://researchr.org/alias/dorina-c.-petriu"
  - name: "Wolfgang Theilmann"
    link: "https://researchr.org/alias/wolfgang-theilmann"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "Steffen  Zschaler"
    link: "http://www.steffen-zschaler.de/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11663430_22"
  links:
    doi: "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:
  - name: "Jean-Michel Bruel"
    link: "https://researchr.org/alias/jean-michel-bruel"
  volume: "3844"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-31780-5"
  kind: "inproceedings"
  key: "GeorgAMOPTWZ05"
- title: "Workshop description of 5th intl. workshop on scenarios and state machines: models-algorithms-and tools (SCESM)"
  author:
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "Leif Geiger"
    link: "https://researchr.org/alias/leif-geiger"
  - name: "Michael Meisinger"
    link: "https://researchr.org/alias/michael-meisinger"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1134494"
  links:
    doi: "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:
  - name: "Leon J. Osterweil"
    link: "https://researchr.org/alias/leon-j.-osterweil"
  - name: "H. Dieter Rombach"
    link: "https://researchr.org/alias/h.-dieter-rombach"
  - name: "Mary Lou Soffa"
    link: "https://researchr.org/alias/mary-lou-soffa"
  publisher: "ACM"
  isbn: "1-59593-375-1"
  kind: "inproceedings"
  key: "WhittleGM06"
- title: "An Integration of Deductive Retrieval into Deductive Synthesis"
  author:
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  year: "1999"
  doi: "http://computer.org/proceedings/ase/0415/04150052abs.htm"
  links:
    doi: "http://computer.org/proceedings/ase/0415/04150052abs.htm"
  researchr: "https://researchr.org/publication/FischerW99"
  cites: 0
  citedby: 0
  pages: "52"
  booktitle: "ASE"
  kind: "inproceedings"
  key: "FischerW99"
- title: "Formal Approaches to Systems Analysis Using UML: An Overview"
  author:
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  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"
  kind: "incollection"
  key: "Whittle02"
- title: "Modeling Volatile Concerns as Aspects"
  author:
  - name: "Ana Moreira"
    link: "https://researchr.org/alias/ana-moreira"
  - name: "João Araújo"
    link: "https://researchr.org/alias/jo%C3%A3o-ara%C3%BAjo"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11767138_36"
  links:
    doi: "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:
  - name: "Eric Dubois"
    link: "https://researchr.org/alias/eric-dubois"
  - name: "Klaus Pohl"
    link: "https://researchr.org/alias/klaus-pohl"
  volume: "4001"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-34652-X"
  kind: "inproceedings"
  key: "MoreiraAW06"
- title: "Workshop introduction of 5th intl. workshop on scenarios and state machines: models - algorithms - and tools (SCESM)"
  author:
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "Leif Geiger"
    link: "https://researchr.org/alias/leif-geiger"
  - name: "Michael Meisinger"
    link: "https://researchr.org/alias/michael-meisinger"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1138953.1138954"
  links:
    doi: "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:
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "Leif Geiger"
    link: "https://researchr.org/alias/leif-geiger"
  - name: "Michael Meisinger"
    link: "https://researchr.org/alias/michael-meisinger"
  publisher: "ACM"
  isbn: "1-59593-394-8"
  kind: "inproceedings"
  key: "WhittleGM06:0"
- title: "Guest Editorial to the Special Issue on MoDELS 2006"
  author:
  - name: "Oscar Nierstrasz"
    link: "http://scg.unibe.ch/staff/oscar"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/s10270-008-0100-5"
  links:
    doi: "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"
  kind: "article"
  key: "NierstraszW08"
- title: "Formal Approaches to Systems Analysis Using UML: An Overview"
  author:
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  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"
  kind: "article"
  key: "Whittle00"
- title: "Generating statechart designs from scenarios"
  author:
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "Johann Schumann"
    link: "https://researchr.org/alias/johann-schumann"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/337180.337217"
  links:
    doi: "http://doi.acm.org/10.1145/337180.337217"
  researchr: "https://researchr.org/publication/WhittleS00"
  cites: 0
  citedby: 0
  pages: "314-323"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "WhittleS00"
- title: "Certification Support for Automatically Generated Programs"
  author:
  - name: "Johann Schumann"
    link: "https://researchr.org/alias/johann-schumann"
  - name: "Bernd  Fischer"
    link: "http://www.ecs.soton.ac.uk/people/bf"
  - name: "Michael W. Whalen"
    link: "https://researchr.org/alias/michael-w.-whalen"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  year: "2003"
  doi: "http://computer.org/proceedings/hicss/1874/track9/187490337aabs.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "SchumannFWW03"
- title: "Precise Specification of Use Case Scenarios"
  author:
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-71289-3_15"
  links:
    doi: "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:
  - name: "Matthew B. Dwyer"
    link: "https://researchr.org/alias/matthew-b.-dwyer"
  - name: "Antónia Lopes"
    link: "https://researchr.org/alias/ant%C3%B3nia-lopes"
  volume: "4422"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-71288-6"
  kind: "inproceedings"
  key: "Whittle07"
- title: "Specifying Precise Use Cases with Use Case Charts"
  author:
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11663430_30"
  links:
    doi: "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:
  - name: "Jean-Michel Bruel"
    link: "https://researchr.org/alias/jean-michel-bruel"
  volume: "3844"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-31780-5"
  kind: "inproceedings"
  key: "Whittle05"
- title: "A summary of the second ICSE 2003 workshop on:  scenarios and state machines: models, algorithms, and tools "
  author:
  - name: "Ingolf Krüger"
    link: "https://researchr.org/alias/ingolf-kr%C3%BCger"
  - name: "Sebastián Uchitel"
    link: "https://researchr.org/alias/sebasti%C3%A1n-uchitel"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "Albert Zündorf"
    link: "https://researchr.org/alias/albert-z%C3%BCndorf"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/966221.966231"
  links:
    doi: "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"
  kind: "article"
  key: "KrugerUWZ03"
- title: "Towards Certifying Domain-Specific Properties of Synthesized Code"
  author:
  - name: "Grigore Rosu"
    link: "http://fsl.cs.uiuc.edu/~grosu/"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  year: "2002"
  doi: "http://csdl.computer.org/comp/proceedings/ase/2002/1736/00/17360289abs.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "RosuW02"
- title: "CARD: a decision-guidance framework and application for recommending composite alternatives"
  author:
  - name: "Alexander Brodsky"
    link: "https://researchr.org/alias/alexander-brodsky"
  - name: "Sylvia Morgan Henshaw"
    link: "https://researchr.org/alias/sylvia-morgan-henshaw"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1454008.1454037"
  links:
    doi: "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:
  - name: "Pearl Pu"
    link: "https://researchr.org/alias/pearl-pu"
  - name: "Derek G. Bridge"
    link: "https://researchr.org/alias/derek-g.-bridge"
  - name: "Bamshad Mobasher"
    link: "https://researchr.org/alias/bamshad-mobasher"
  - name: "Francesco Ricci"
    link: "https://researchr.org/alias/francesco-ricci"
  publisher: "ACM"
  isbn: "978-1-60558-093-7"
  kind: "inproceedings"
  key: "BrodskyHW08"
- title: "MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation"
  author:
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "Praveen K. Jayaraman"
    link: "https://researchr.org/alias/praveen-k.-jayaraman"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-69073-3_3"
  links:
    doi: "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:
  - name: "Holger Giese"
    link: "https://researchr.org/alias/holger-giese"
  volume: "5002"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-69069-6"
  kind: "inproceedings"
  key: "WhittleJ07"
- title: "System Description: CyNTHIA"
  author:
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "Alan Bundy"
    link: "https://researchr.org/alias/alan-bundy"
  - name: "Richard J. Boulton"
    link: "https://researchr.org/alias/richard-j.-boulton"
  - name: "Helen Lowe"
    link: "https://researchr.org/alias/helen-lowe"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1632/16320388.htm"
  links:
    doi: "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:
  - name: "Harald Ganzinger"
    link: "https://researchr.org/alias/harald-ganzinger"
  volume: "1632"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66222-7"
  kind: "inproceedings"
  key: "WhittleBBL99"
- title: "An Editor for Helping Novices to Learn Standard ML"
  author:
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "Alan Bundy"
    link: "https://researchr.org/alias/alan-bundy"
  - name: "Helen Lowe"
    link: "https://researchr.org/alias/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:
  - name: "Hugh Glaser"
    link: "https://researchr.org/alias/hugh-glaser"
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Herbert Kuchen"
    link: "https://researchr.org/alias/herbert-kuchen"
  volume: "1292"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63398-7"
  kind: "inproceedings"
  key: "WhittleBL97"
- title: "From scenarios to code: An air traffic control case study"
  author:
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "Richard Kwan"
    link: "https://researchr.org/alias/richard-kwan"
  - name: "Jyoti Saboo"
    link: "https://researchr.org/alias/jyoti-saboo"
  year: "2005"
  doi: "http://www.springerlink.com/index/10.1007/s10270-004-0067-9"
  links:
    doi: "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"
  kind: "article"
  key: "WhittleKS05"
- title: "Transformations and Software Modeling Languages: Automating Transformations in UML"
  author:
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2460/24600227.htm"
  links:
    doi: "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:
  - name: "Jean-Marc Jézéquel"
    link: "https://researchr.org/alias/jean-marc-j%C3%A9z%C3%A9quel"
  - name: "Heinrich Hußmann"
    link: "https://researchr.org/alias/heinrich-hu%C3%9Fmann"
  - name: "Stephen Cook"
    link: "https://researchr.org/alias/stephen-cook"
  volume: "2460"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44254-5"
  kind: "inproceedings"
  key: "Whittle02:0"
- title: "An Expressive Aspect Composition Language for UML State Diagrams"
  author:
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "Ana Moreira"
    link: "https://researchr.org/alias/ana-moreira"
  - name: "João Araújo"
    link: "https://researchr.org/alias/jo%C3%A3o-ara%C3%BAjo"
  - name: "Praveen K. Jayaraman"
    link: "https://researchr.org/alias/praveen-k.-jayaraman"
  - name: "Ahmed M. Elkhodary"
    link: "https://researchr.org/alias/ahmed-m.-elkhodary"
  - name: "Rasheed Rabbi"
    link: "https://researchr.org/alias/rasheed-rabbi"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-75209-7_35"
  links:
    doi: "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:
  - name: "Gregor Engels"
    link: "https://researchr.org/alias/gregor-engels"
  - name: "Bill Opdyke"
    link: "https://researchr.org/alias/bill-opdyke"
  - name: "Douglas C. Schmidt"
    link: "https://researchr.org/alias/douglas-c.-schmidt"
  - name: "Frank Weil"
    link: "https://researchr.org/alias/frank-weil"
  volume: "4735"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-75208-0"
  kind: "inproceedings"
  key: "WhittleMAJER07"
- title: "Combining Model-Driven and Schema-Based Program Synthesis"
  author:
  - name: "Ewen  Denney"
    link: "http://ti.arc.nasa.gov/profile/edenney/"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  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:
  - name: "Hamid R. Arabnia"
    link: "https://researchr.org/alias/hamid-r.-arabnia"
  - name: "Hassan Reza"
    link: "https://researchr.org/alias/hassan-reza"
  publisher: "CSREA Press"
  isbn: "1-932415-28-9"
  kind: "inproceedings"
  key: "DenneyW04"
- title: "From Scenarios to Code: An Air Traffic Control Case Study"
  author:
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "Jyoti Saboo"
    link: "https://researchr.org/alias/jyoti-saboo"
  - name: "Richard Kwan"
    link: "https://researchr.org/alias/richard-kwan"
  year: "2003"
  doi: "http://computer.org/proceedings/icse/1877/18770490abs.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "WhittleSK03"
- title: "Workshops and Tutorials at the UML 2002 Conference"
  author:
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2460/24600442.htm"
  links:
    doi: "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:
  - name: "Jean-Marc Jézéquel"
    link: "https://researchr.org/alias/jean-marc-j%C3%A9z%C3%A9quel"
  - name: "Heinrich Hußmann"
    link: "https://researchr.org/alias/heinrich-hu%C3%9Fmann"
  - name: "Stephen Cook"
    link: "https://researchr.org/alias/stephen-cook"
  volume: "2460"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44254-5"
  kind: "inproceedings"
  key: "Whittle02a"
- 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:
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "Leif Geiger"
    link: "https://researchr.org/alias/leif-geiger"
  - name: "Michael Meisinger"
    link: "https://researchr.org/alias/michael-meisinger"
  publisher: "ACM"
  isbn: "1-59593-394-8"
  kind: "proceedings"
  key: "scesm:2006"
- 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:
  - name: "Perdita Stevens"
    link: "https://researchr.org/alias/perdita-stevens"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "Grady Booch"
    link: "https://researchr.org/alias/grady-booch"
  volume: "2863"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20243-9"
  kind: "proceedings"
  key: "uml:2003"
- 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:
  - name: "Oscar Nierstrasz"
    link: "http://scg.unibe.ch/staff/oscar"
  - name: "Jon Whittle"
    link: "http://www.comp.lancs.ac.uk/~whittljn/"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Gianna Reggio"
    link: "https://researchr.org/alias/gianna-reggio"
  volume: "4199"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-45772-0"
  kind: "proceedings"
  key: "models:2006"