BibTeX | Compact BibTeX | 2009
- 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. dagstuhl 2009: 1-26 [doi]
2008
- Alexander Brodsky, Sylvia Morgan Henshaw, Jon Whittle. CARD: a decision-guidance framework and application for recommending composite alternatives. recsys 2008: 171-178 [doi]
- Oscar Nierstrasz, Jon Whittle. Guest Editorial to the Special Issue on MoDELS 2006. SoSyM, 7(4):381-382, 2008. [doi]
- Jon Whittle, Duminda Wijesekera, Mark Hartong. Executable misuse cases for modeling security concerns. ICSE 2008: 121-130 [doi]
- Jon Whittle, Jan Jürjens, Bashar Nuseibeh, Glen Dobson. First International Modeling Security Workshop. MoDELS 2009: 181-184 [doi]
2007
- Jon Whittle, Praveen K. Jayaraman. MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation. MoDELS 2007: 16-27 [doi]
- Hassan Reza, Jon Whittle. Guest editorial: Special section on Software Engineering Research and Practice 2005 (SERP 05). sqj, 15(1):3-5, 2007. [doi]
- Praveen K. Jayaraman, Jon Whittle. UCSIM: A Tool for Simulating Use Case Scenarios. ICSE 2007: 43-44 [doi]
- 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: 151-165 [doi]
- 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: 514-528 [doi]
- Jon Whittle. Precise Specification of Use Case Scenarios. FASE 2007: 170-184 [doi]
2006
- Jon Whittle, Leif Geiger, Michael Meisinger. Workshop introduction of 5th intl. workshop on scenarios and state machines: models - algorithms - and tools (SCESM). scesm 2006: 1-3 [doi]
- Ana Moreira, João Araújo, Jon Whittle. Modeling Volatile Concerns as Aspects. caise 2006: 544-558 [doi]
- Thomas Baar, Jon Whittle. On the Usage of Concrete Syntax in Model Transformation Rules. ershov 2007: 84-97 [doi]
- João Araújo, Jon Whittle, Ana Moreira. Choosing the Right Time to Compose Aspectual Scenarios. compsac 2006: 29-32 [doi]
- Jon Whittle, Leif Geiger, Michael Meisinger, editors, SCESM 06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006. ACM, 2006.
- Jon Whittle, Leif Geiger, Michael Meisinger. Workshop description of 5th intl. workshop on scenarios and state machines: models-algorithms-and tools (SCESM). ICSE 2006: 1039-1040 [doi]
- Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio, editors, Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings. Volume 4199 of Lecture Notes in Computer Science, Springer, 2006.
- Jon Whittle, Praveen K. Jayaraman. Generating Hierarchical State Machines from Use Case Charts. RE 2006: 16-25 [doi]
2005
- Jon Whittle. Specifying Precise Use Cases with Use Case Charts. uml 2006: 290-301 [doi]
- 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. uml 2006: 210-216 [doi]
- Perdita Stevens, Jon Whittle. Guest editorial to the special issue on UML2003. SoSyM, 4(4):353-354, 2005. [doi]
- Jon Whittle, Richard Kwan, Jyoti Saboo. From scenarios to code: An air traffic control case study. SoSyM, 4(1):71-93, 2005. [doi]
2004
- João Araújo, Jon Whittle, Dae-Kyoo Kim. Modeling and Composing Scenario-Based Requirements with Aspects. RE 2004: 58-67 [doi]
- Jon Whittle, Johann Schumann. Automating the implementation of Kalman filter algorithms. TOMS, 30(4):434-453, 2004. [doi]
- Jon Whittle, João Araújo. Scenario modelling with aspects. iee, 151(4):157-172, 2004. [doi]
- 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 2005: 62-66 [doi]
- Martin Gogolla, Paul Sammut, Jon Whittle. Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME 2004). uml 2005: 43-51 [doi]
- Ewen Denney, Jon Whittle. Combining Model-Driven and Schema-Based Program Synthesis. serp 2004: 207-211
2003
- Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, Laurentiu Leustean. Certifying Optimality of State Estimation Programs. cav 2003: 301-314 [doi]
- 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 . sigsoft, 28(6):9, 2003. [doi]
- Perdita Stevens, Jon Whittle, Grady Booch, editors, «UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings. Volume 2863 of Lecture Notes in Computer Science, Springer, 2003.
- Johann Schumann, Bernd Fischer, Michael W. Whalen, Jon Whittle. Certification Support for Automatically Generated Programs. hicss 2003: 337 [doi]
- Jon Whittle, Jyoti Saboo, Richard Kwan. From Scenarios to Code: An Air Traffic Control Case Study. ICSE 2003: 490-497 [doi]
2002
2000
1999
- Bernd Fischer, Jon Whittle. An Integration of Deductive Retrieval into Deductive Synthesis. ASE 1999: 52 [doi]
- Erica Melis, Jon Whittle. Analogy in Inductive Theorem Proving. jar, 22(2):117-147, 1999.
- Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe. System Description: CyNTHIA. cade 1999: 388-392 [doi]
- Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe. An ML Editor Based on Proofs-As-Programs. ASE 1999: 166-173 [doi]
1997
1996