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: "TOMS"
  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: "SoSyM"
  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: "ijmms"
  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"
  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: "MoDELS"
  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: "ICSE"
  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: "sqj"
  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: "ICSE"
  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"
  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"
  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: "cade"
  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: "faabs"
  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: "cav"
  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: "compsac"
  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: "ershov"
  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"
  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: "Dagstuhl"
  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"
  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: "JAR"
  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: "RE"
  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: "RE"
  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: "fac"
  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: "uml"
  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: "ICSE"
  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: "caise"
  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"
  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: "SoSyM"
  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: "JDM"
  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: "FASE"
  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: "uml"
  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: "sigsoft"
  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: "ASE"
  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: "recsys"
  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"
  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: "cade"
  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: "plilp"
  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: "SoSyM"
  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"
  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: "MoDELS"
  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: "serp"
  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: "ICSE"
  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"
  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"