| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Daniel Lucrédio, Renata Pontin de Mattos Fortes, Jon Whittle |
MOOGLE: a metamodel-based model search engine.  |
Software and System Modeling  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaejoon Lee, Jon Whittle, Oliver Storz |
Bio-Inspired Mechanisms for Coordinating Multiple Instances of a Service Feature in Dynamic Software Product Lines. |
J. UCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Scott Songlin Piao, Jon Whittle |
A Feasibility Study on Extracting Twitter Users' Interests Using NLP Tools for Serendipitous Connections. |
SocialCom/PASSAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Messenger, Jon Whittle |
Recommendations Based on User-Generated Comments in Social Media. |
SocialCom/PASSAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Figueiredo, Alessandro Garcia, Marcelo Maia, Gabriel Ferreira, Camila Nunes, Jon Whittle |
On the impact of crosscutting concern projection on code measurement. |
AOSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Whittle |
What do 449 MDE Practitioners Think About MDE? |
EESSMod |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jon Whittle, John Hutchinson |
Mismatches between Industry Practice and Teaching of Model-Driven Software Development. |
MoDELS Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Whittle, Tony Clark, Thomas Kühne (eds.) |
Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hutchinson, Jon Whittle, Mark Rouncefield, Steinar Kristoffersen |
Empirical assessment of MDE in industry. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hardy, Christopher Bull 0001, Gerald Kotonya, Jon Whittle |
Digitally annexing desk space for software development. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Hutchinson, Mark Rouncefield, Jon Whittle |
Model-driven engineering practices in industry. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Whittle |
Extending interaction overview diagrams with activity diagram constructs. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Whittle, Praveen K. Jayaraman |
Synthesizing hierarchical state machines from expressive scenario descriptions. |
ACM Trans. Softw. Eng. Methodol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Whittle, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Jean-Michel Bruel |
RELAX: a language to address uncertainty in self-adaptive systems requirement. |
Requir. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gunter Mussbacher, Jon Whittle, Daniel Amyot |
Modeling and detecting semantic-based interactions in aspect-oriented scenarios. |
Requir. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | William Simm, Maria Angela Ferrario, Scott Songlin Piao, Jon Whittle, Paul Rayson |
Classification of Short Text Comments by Sentiment and Actionability for VoiceYourView. |
SocialCom/PASSAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kleinner Farias, Alessandro Garcia, Jon Whittle |
Assessing the impact of aspects on model composition effort. |
AOSD |
2010 |
DBLP DOI BibTeX RDF |
software architecture, empirical studies, software metrics, software product lines, model composition |
| 1 | Peter Sawyer, Nelly Bencomo, Jon Whittle, Emmanuel Letier, Anthony Finkelstein |
Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems. |
RE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukman Ab Rahim, Jon Whittle |
Verifying Semantic Conformance of State Machine-to-Java Code Generators. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nelly Bencomo, Jon Whittle, Peter Sawyer, Anthony Finkelstein, Emmanuel Letier |
Requirements reflection: requirements as runtime entities. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
requirements, reflection, runtime, self-adaptive systems |
| 1 | Jon Whittle, William Simm, Maria Angela Ferrario, Katerina Frankova, Laurence Garton, Andrée Woodcock, Baseerit Nasa, Jane Binner, Aom Ariyatum |
VoiceYourView: collecting real-time feedback on the design of public spaces. |
UbiComp |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Whittle, Praveen K. Jayaraman, Ahmed M. Elkhodary, Ana Moreira, João Araújo |
MATA: A Unified Approach for Composing UML Aspect Models Based on Graph Transformation. |
T. Aspect-Oriented Software Development |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gunter Mussbacher, Daniel Amyot, Jon Whittle |
Semantic-Based Aspect Interaction Detection with Goal Models - (position paper). |
ICFI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle |
Software Engineering for Self-Adaptive Systems: A Research Roadmap. |
Software Engineering for Self-Adaptive Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Figueiredo, Bruno Carreiro da Silva, Cláudio Sant'Anna, Alessandro F. Garcia, Jon Whittle, Daltro José Nunes |
Crosscutting patterns and design stability: An exploratory analysis. |
ICPC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Whittle, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Jean-Michel Bruel |
RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems. |
RE |
2009 |
DBLP DOI BibTeX RDF |
uncertainty, requirements, self-adaptation |
| 1 | Gunter Mussbacher, Jon Whittle, Daniel Amyot |
Semantic-Based Interaction Detection in Aspect-Oriented Scenarios. |
RE |
2009 |
DBLP DOI BibTeX RDF |
Semantic Interactions, Feature Interactions, Goal Modeling, Aspect-oriented Modeling, Aspect Interactions |
| 1 | Gunter Mussbacher, Daniel Amyot, Jon Whittle |
Refactoring-Safe Modeling of Aspect-Oriented Scenarios. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
Aspect-oriented Use Case Maps, Aspects-oriented Modeling, User Requirements Notation |
| 1 | Betty H. C. Cheng, Peter Sawyer, Nelly Bencomo, Jon Whittle |
A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
Requirements engineering, uncertainty, goal models, dynamically adaptive systems |
| 1 | Eduardo Figueiredo, Jon Whittle, Alessandro F. Garcia |
ConcernMorph: metrics-based detection of crosscutting patterns. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
crosscutting patterns, metrics, crosscutting concerns |
| 1 | Oscar Nierstrasz, Jon Whittle |
Guest Editorial to the Special Issue on MoDELS 2006. |
Software and System Modeling |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Brodsky, Sylvia Morgan Henshaw, Jon Whittle |
CARD: a decision-guidance framework and application for recommending composite alternatives. |
RecSys |
2008 |
DBLP DOI BibTeX RDF |
decision guidance, decision optimization, recommender systems, ranking, development framework, preference learning |
| 1 | Jon Whittle, Jan Jürjens, Bashar Nuseibeh, Glen Dobson |
First International Modeling Security Workshop. |
MoDELS Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Lucrédio, Renata Pontin de Mattos Fortes, Jon Whittle |
MOOGLE: A Model Search Engine. |
MoDELS |
2008 |
DBLP DOI BibTeX RDF |
Software Reuse, Model-Driven Development, Model Search |
| 1 | Jon Whittle, Duminda Wijesekera, Mark Hartong |
Executable misuse cases for modeling security concerns. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
aspect scenarios, misuse cases |
| 1 | Hassan Reza, Jon Whittle |
Guest editorial: Special section on Software Engineering Research and Practice 2005 (SERP'05). |
Software Quality Journal |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Whittle |
Precise Specification of Use Case Scenarios. |
FASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Praveen K. Jayaraman, Jon Whittle, Ahmed M. Elkhodary, Hassan Gomaa |
Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis. |
MoDELS |
2007 |
DBLP DOI BibTeX RDF |
model transformation, Software product lines, feature interaction |
| 1 | Jon Whittle, Ana Moreira, João Araújo, Praveen K. Jayaraman, Ahmed M. Elkhodary, Rasheed Rabbi |
An Expressive Aspect Composition Language for UML State Diagrams. |
MoDELS |
2007 |
DBLP DOI BibTeX RDF |
aspect-oriented development, use cases, state machines |
| 1 | Jon Whittle, Praveen K. Jayaraman |
MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation. |
MoDELS Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed M. Elkhodary, Jon Whittle |
A Survey of Approaches to Adaptive Application Security. |
SEAMS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Praveen K. Jayaraman, Jon Whittle |
UCSIM: A Tool for Simulating Use Case Scenarios. |
ICSE Companion |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Whittle, Leif Geiger, Michael Meisinger |
5th Intl. Workshop on Scenarios and State Machines: Models - Algorithms - and Tools (SCESM). |
ACM SIGSOFT Software Engineering Notes |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Baar, Jon Whittle |
On the Usage of Concrete Syntax in Model Transformation Rules. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
UML, Refactoring, Model Transformation, Metamodeling |
| 1 | Ana Moreira, João Araújo, Jon Whittle |
Modeling Volatile Concerns as Aspects. |
CAiSE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | João Araújo, Jon Whittle, Ana Moreira |
Choosing the Right Time to Compose Aspectual Scenarios. |
COMPSAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Whittle, Leif Geiger, Michael Meisinger |
Workshop introduction of 5th intl. workshop on scenarios and state machines: models - algorithms - and tools (SCESM). |
SCESM |
2006 |
DBLP DOI BibTeX RDF |
UML, scenarios, state machines, message sequence charts |
| 1 | Jon Whittle, Leif Geiger, Michael Meisinger (eds.) |
SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006 |
SCESM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jon Whittle, Praveen K. Jayaraman |
Generating Hierarchical State Machines from Use Case Charts. |
RE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio (eds.) |
Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings |
MoDELS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jon Whittle, Leif Geiger, Michael Meisinger |
Workshop description of 5th intl. workshop on scenarios and state machines: models-algorithms-and tools (SCESM). |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
UML, scenarios, state machines, message sequence charts |
| 1 | Jon Whittle, Richard Kwan, Jyoti Saboo |
From scenarios to code: An air traffic control case study. |
Software and System Modeling |
2005 |
DBLP DOI BibTeX RDF |
Code generation, Scenario, Case study, State machine, Software modeling |
| 1 | Perdita Stevens, Jon Whittle |
Guest editorial to the special issue on UML2003. |
Software and System Modeling |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastián Uchitel, Manfred Broy, Ingolf H. Krüger, Jon Whittle |
Guest Editorial: Special Section on Interaction and State-Based Modeling. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Whittle |
Specifying Precise Use Cases with Use Case Charts. |
MoDELS Satellite Events |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Geri Georg, Jan Øyvind Aagedal, Raffaela Mirandola, Ileana Ober, Dorina C. Petriu, Wolfgang Theilmann, Jon Whittle, Steffen Zschaler |
Workshop on Models for Non-functional Properties of Component-Based Software - NfC. |
MoDELS Satellite Events |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dae-Kyoo Kim, Jon Whittle |
Generating UML Models from Domain Patterns. |
SERA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Whittle, João Araújo |
Scenario modelling with aspects. |
IEE Proceedings - Software |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Whittle, Johann Schumann |
Automating the implementation of Kalman filter algorithms. |
ACM Trans. Math. Softw. |
2004 |
DBLP DOI BibTeX RDF |
Code generation, Kalman filters, automatic programming, state estimation |
| 1 | Martin Gogolla, Paul Sammut, Jon Whittle |
Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME'2004). |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Bruel, Geri Georg, Heinrich Hußmann, Ileana Ober, Christoph Pohl, Jon Whittle, Steffen Zschaler |
Models for Non-functional Aspects of Component-Based Software (NfC'04). |
UML Satellite Activities |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | João Araújo, Jon Whittle, Dae-Kyoo Kim |
Modeling and Composing Scenario-Based Requirements with Aspects. |
RE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ewen Denney, Jon Whittle |
Combining Model-Driven and Schema-Based Program Synthesis. |
Software Engineering Research and Practice |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ingolf Krüger, Sebastián Uchitel, Jon Whittle, Albert Zündorf |
A summary of the second ICSE 2003 workshop on: "scenarios and state machines: models, algorithms, and tools". |
ACM SIGSOFT Software Engineering Notes |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Perdita Stevens, Jon Whittle, Grady Booch (eds.) |
«UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings |
UML |
2003 |
DBLP BibTeX RDF |
|
| 1 | Johann Schumann, Bernd Fischer 0002, Michael W. Whalen, Jon Whittle |
Certification Support for Automatically Generated Programs. (PDF / PS) |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, Laurentiu Leustean |
Certifying Optimality of State Estimation Programs. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Whittle, Jyoti Saboo, Richard Kwan |
From Scenarios to Code: An Air Traffic Control Case Study. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Whittle, Alan Bundy, Richard J. Boulton |
Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor. |
Formal Asp. Comput. |
2002 |
DBLP DOI BibTeX RDF |
Programming environments, Functional programming, Theorem proving |
| 1 | Jon Whittle |
Formal Approaches to Systems Analysis Using UML: An Overview. |
Advanced Topics in Database Research, Vol. 1 |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jon Whittle |
Transformations and Software Modeling Languages: Automating Transformations in UML. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Whittle |
Workshops and Tutorials at the UML 2002 Conference. |
UML |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu, Jon Whittle |
Towards Certifying Domain-Specific Properties of Synthesized Code. |
ASE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | João Araújo, Jonathan Whittle, José Ambrosio Toval Álvarez, Robert B. France |
Integration and Transformation of UML Models. |
ECOOP Workshops |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Whittle, Jeffrey Van Baalen, Johann Schumann, Peter Robinson, Thomas Pressburger, John Penix, Phil Oh, Michael R. Lowry, Guillaume P. Brat |
Amphion/NAV: Deductive Synthesis of State Estimation Software. (PDF / PS) |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Whittle, Andrew Cumming |
Evaluating environments for functional programming. |
Int. J. Hum.-Comput. Stud. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Whittle |
Formal Approaches to Systems Analysis Using UML: An Overview. |
J. Database Manag. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Johann Schumann, Jon Whittle |
Automatic Synthesis of Agent Designs in UML. |
FAABS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Whittle, Johann Schumann |
Generating statechart designs from scenarios. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
UML, UML, scenarios, automated software engineering |
| 1 | Erica Melis, Jon Whittle |
Analogy in Inductive Theorem Proving. |
J. Autom. Reasoning |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe |
System Description: CyNTHIA. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Fischer 0002, Jon Whittle |
An Integration of Deductive Retrieval into Deductive Synthesis. (PDF / PS) |
ASE |
1999 |
DBLP DOI BibTeX RDF |
deductive retrieval, software engineering, software reuse, program synthesis |
| 1 | Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe |
An ML Editor Based on Proofs-As-Programs. (PDF / PS) |
ASE |
1999 |
DBLP DOI BibTeX RDF |
proofs-as-programs, termination proof, Functional programming |
| 1 | Jon Whittle, Alan Bundy, Helen Lowe |
An Editor for Helping Novices to Learn Standard ML. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
Programming Language Learning, Analogy, Learning Environments |
| 1 | Erica Melis, Jon Whittle |
External Analogy in Inductive Theorem Proving. |
KI |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Erica Melis, Jon Whittle |
Internal Analogy in Theorem Proving. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")