Jon Whittle Home Page Coauthor index pubzone.org

Jonathan Whittle

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Franco Curmi, Maria Angela Ferrario, Jen Southern, Jon Whittle: HeartLink: open broadcast of live biometric data to social networks. CHI 2013: 1749-1758
c68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Franco Curmi, Maria Angela Ferrario, Jen Southern, Jon Whittle: HeartLink: open broadcast of live biometric data to social networks. CHI Extended Abstracts 2013: 2793-2794
c67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jen Southern, Rod Dillon, Rob Potts, Daniel Morrell, Maria Angela Ferrario, William Simm, Rebecca Ellis, Jon Whittle: Patchworks: citizen-led innovation for chaotic lives. CHI Extended Abstracts 2013: 2871-2872
c66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christopher N. Bull, Jon Whittle, Leon Cruickshank: Studios in software engineering education: towards an evaluable model. ICSE 2013: 1063-1072
2012
j21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daniel Lucrédio, Renata Pontin de Mattos Fortes, Jon Whittle: MOOGLE: a metamodel-based model search engine. Software and System Modeling 11(2): 183-208 (2012)
j20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gregor Engels, Jon Whittle: Ten years of software and systems modeling - Reflecting on the past, looking to the future. Software and System Modeling 11(4): 467-470 (2012)
c65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Francisco Dantas, Alessandro Garcia, Jon Whittle: On the role of composition code properties on evolving programs. ESEM 2012: 291-300
c64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nelly Bencomo, Kristopher Welsh, Pete Sawyer, Jon Whittle: Self-Explanation in Adaptive Systems. ICECCS 2012: 157-166
c63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maria Angela Ferrario, William Simm, Jon Whittle, Paul Rayson, Maria Terzi, Jane Binner: Understanding Actionable Knowledge in Social Media: BBC Question Time and Twitter, a Case Study. ICWSM 2012
c62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kleinner Farias, Alessandro Garcia, Jon Whittle, Christina Chavez, Carlos José Pereira de Lucena: Evaluating the Effort of Composing Design Models: A Controlled Experiment. MoDELS 2012: 676-691
2011
j19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jaejoon Lee, Jon Whittle, Oliver Storz: Bio-Inspired Mechanisms for Coordinating Multiple Instances of a Service Feature in Dynamic Software Product Lines. J. UCS 17(5): 670-683 (2011)
c61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eduardo Figueiredo, Alessandro Garcia, Marcelo de Almeida Maia, Gabriel Coutinho Sousa Ferreira, Camila Nunes, Jon Whittle: On the impact of crosscutting concern projection on code measurement. AOSD 2011: 81-92
c60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Hutchinson, Jon Whittle, Mark Rouncefield, Steinar Kristoffersen: Empirical assessment of MDE in industry. ICSE 2011: 471-480
c59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Hutchinson, Mark Rouncefield, Jon Whittle: Model-driven engineering practices in industry. ICSE 2011: 633-642
c58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Hardy, Christopher Bull, Gerald Kotonya, Jon Whittle: Digitally annexing desk space for software development. ICSE 2011: 812-815
c57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jon Whittle: What do 449 MDE Practitioners Think About MDE? EESSMod 2011
c56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jon Whittle, John Hutchinson: Mismatches between Industry Practice and Teaching of Model-Driven Software Development. MoDELS Workshops 2011: 40-47
c55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andrew Messenger, Jon Whittle: Recommendations Based on User-Generated Comments in Social Media. SocialCom/PASSAT 2011: 505-508
c54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Scott Songlin Piao, Jon Whittle: A Feasibility Study on Extracting Twitter Users' Interests Using NLP Tools for Serendipitous Connections. SocialCom/PASSAT 2011: 910-915
e4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. Lecture Notes in Computer Science 6981, Springer 2011, isbn 978-3-642-24484-1
2010
j18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. 15(2): 177-196 (2010)
j17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gunter Mussbacher, Jon Whittle, Daniel Amyot: Modeling and detecting semantic-based interactions in aspect-oriented scenarios. Requir. Eng. 15(2): 197-214 (2010)
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jon Whittle: Extending interaction overview diagrams with activity diagram constructs. Software and System Modeling 9(2): 203-224 (2010)
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jon Whittle, Praveen K. Jayaraman: Synthesizing hierarchical state machines from expressive scenario descriptions. ACM Trans. Softw. Eng. Methodol. 19(3) (2010)
c53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kleinner Farias, Alessandro Garcia, Jon Whittle: Assessing the impact of aspects on model composition effort. AOSD 2010: 73-84
c52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 41-50
c51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nelly Bencomo, Jon Whittle, Peter Sawyer, Anthony Finkelstein, Emmanuel Letier: Requirements reflection: requirements as runtime entities. ICSE (2) 2010: 199-202
c50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Lukman Ab Rahim, Jon Whittle: Verifying Semantic Conformance of State Machine-to-Java Code Generators. MoDELS (1) 2010: 166-180
c49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Peter Sawyer, Nelly Bencomo, Jon Whittle, Emmanuel Letier, Anthony Finkelstein: Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems. RE 2010: 95-103
c48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 552-557
2009
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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 VI 6: 191-237 (2009)
c47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
c46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gunter Mussbacher, Daniel Amyot, Jon Whittle: Semantic-Based Aspect Interaction Detection with Goal Models - (position paper). ICFI 2009: 176-182
c45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 138-147
c44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gunter Mussbacher, Daniel Amyot, Jon Whittle: Refactoring-Safe Modeling of Aspect-Oriented Scenarios. MoDELS 2009: 286-300
c43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 468-483
c42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 79-88
c41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gunter Mussbacher, Jon Whittle, Daniel Amyot: Semantic-Based Interaction Detection in Aspect-Oriented Scenarios. RE 2009: 203-212
c40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eduardo Figueiredo, Jon Whittle, Alessandro F. Garcia: ConcernMorph: metrics-based detection of crosscutting patterns. ESEC/SIGSOFT FSE 2009: 299-300
2008
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Oscar Nierstrasz, Jon Whittle: Guest Editorial to the Special Issue on MoDELS 2006. Software and System Modeling 7(4): 381-382 (2008)
c39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jon Whittle, Duminda Wijesekera, Mark Hartong: Executable misuse cases for modeling security concerns. ICSE 2008: 121-130
c38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jon Whittle, Jan Jürjens, Bashar Nuseibeh, Glen Dobson: First International Modeling Security Workshop. MoDELS Workshops 2008: 181-184
c37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daniel Lucrédio, Renata Pontin de Mattos Fortes, Jon Whittle: MOOGLE: A Model Search Engine. MoDELS 2008: 296-310
c36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alexander Brodsky, Sylvia Morgan Henshaw, Jon Whittle: CARD: a decision-guidance framework and application for recommending composite alternatives. RecSys 2008: 171-178
2007
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hassan Reza, Jon Whittle: Guest editorial: Special section on Software Engineering Research and Practice 2005 (SERP'05). Software Quality Journal 15(1): 3-5 (2007)
c35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jon Whittle: Precise Specification of Use Case Scenarios. FASE 2007: 170-184
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ahmed M. Elkhodary, Jon Whittle: A Survey of Approaches to Adaptive Application Security. SEAMS 2007: 16
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Praveen K. Jayaraman, Jon Whittle: UCSIM: A Tool for Simulating Use Case Scenarios. ICSE Companion 2007: 43-44
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jon Whittle, Praveen K. Jayaraman: MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation. MoDELS Workshops 2007: 16-27
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
2006
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jon Whittle, Leif Geiger, Michael Meisinger: 5th Intl. Workshop on Scenarios and State Machines: Models - Algorithms - and Tools (SCESM). ACM SIGSOFT Software Engineering Notes 31(5): 39-40 (2006)
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ana Moreira, João Araújo, Jon Whittle: Modeling Volatile Concerns as Aspects. CAiSE 2006: 544-558
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
João Araújo, Jon Whittle, Ana Moreira: Choosing the Right Time to Compose Aspectual Scenarios. COMPSAC (2) 2006: 29-32
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Baar, Jon Whittle: On the Usage of Concrete Syntax in Model Transformation Rules. Ershov Memorial Conference 2006: 84-97
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jon Whittle, Praveen K. Jayaraman: Generating Hierarchical State Machines from Use Case Charts. RE 2006: 16-25
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
e3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. Lecture Notes in Computer Science 4199, Springer 2006, isbn 3-540-45772-0
e2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. ACM 2006, isbn 1-59593-394-8
2005
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jon Whittle, Richard Kwan, Jyoti Saboo: From scenarios to code: An air traffic control case study. Software and System Modeling 4(1): 71-93 (2005)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Perdita Stevens, Jon Whittle: Guest editorial to the special issue on UML2003. Software and System Modeling 4(4): 353-354 (2005)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. 31(12): 997-998 (2005)
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dae-Kyoo Kim, Jon Whittle: Generating UML Models from Domain Patterns. SERA 2005: 166-173
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 210-216
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jon Whittle: Specifying Precise Use Cases with Use Case Charts. MoDELS Satellite Events 2005: 290-301
2004
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jon Whittle, João Araújo: Scenario modelling with aspects. IEE Proceedings - Software 151(4): 157-172 (2004)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jon Whittle, Johann Schumann: Automating the implementation of Kalman filter algorithms. ACM Trans. Math. Softw. 30(4): 434-453 (2004)
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
João Araújo, Jon Whittle, Dae-Kyoo Kim: Modeling and Composing Scenario-Based Requirements with Aspects. RE 2004: 58-67
c19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ewen Denney, Jon Whittle: Combining Model-Driven and Schema-Based Program Synthesis. Software Engineering Research and Practice 2004: 207-211
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martin Gogolla, Paul Sammut, Jon Whittle: Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME'2004). UML Satellite Activities 2004: 43-51
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 62-66
2003
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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 28(6): 9 (2003)
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, Laurentiu Leustean: Certifying Optimality of State Estimation Programs. CAV 2003: 301-314
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Johann Schumann, Bernd Fischer, Michael W. Whalen, Jon Whittle: Certification Support for Automatically Generated Programs. HICSS 2003: 337
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jon Whittle, Jyoti Saboo, Richard Kwan: From Scenarios to Code: An Air Traffic Control Case Study. ICSE 2003: 490-497
e1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. Lecture Notes in Computer Science 2863, Springer 2003, isbn 3-540-20243-9
2002
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. 13(3-5): 403-421 (2002)
p1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jon Whittle: Formal Approaches to Systems Analysis Using UML: An Overview. Advanced Topics in Database Research, Vol. 1 2002: 324-341
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
João Araújo, Jonathan Whittle, José Ambrosio Toval Álvarez, Robert B. France: Integration and Transformation of UML Models. ECOOP Workshops 2002: 184-191
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Grigore Rosu, Jon Whittle: Towards Certifying Domain-Specific Properties of Synthesized Code. ASE 2002: 289-294
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jon Whittle: Transformations and Software Modeling Languages: Automating Transformations in UML. UML 2002: 227-242
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jon Whittle: Workshops and Tutorials at the UML 2002 Conference. UML 2002: 442-448
2001
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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. ASE 2001: 395-399
2000
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jon Whittle, Andrew Cumming: Evaluating environments for functional programming. Int. J. Hum.-Comput. Stud. 52(5): 847-878 (2000)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jon Whittle: Formal Approaches to Systems Analysis Using UML: An Overview. J. Database Manag. 11(4): 4-13 (2000)
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Johann Schumann, Jon Whittle: Automatic Synthesis of Agent Designs in UML. FAABS 2000: 148-162
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jon Whittle, Johann Schumann: Generating statechart designs from scenarios. ICSE 2000: 314-323
1999
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Erica Melis, Jon Whittle: Analogy in Inductive Theorem Proving. J. Autom. Reasoning 22(2): 117-147 (1999)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe: System Description: CyNTHIA. CADE 1999: 388-392
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernd Fischer, Jon Whittle: An Integration of Deductive Retrieval into Deductive Synthesis. ASE 1999: 52-
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe: An ML Editor Based on Proofs-As-Programs. ASE 1999: 166-173
1997
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Erica Melis, Jon Whittle: External Analogy in Inductive Theorem Proving. KI 1997: 111-122
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jon Whittle, Alan Bundy, Helen Lowe: An Editor for Helping Novices to Learn Standard ML. PLILP 1997: 389-405
1996
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Erica Melis, Jon Whittle: Internal Analogy in Theorem Proving. CADE 1996: 92-105

Coauthor Index

1Jan Øyvind Aagedal
[c22]
2Daniel Amyot
[j17] [c46] [c44] [c41]
3Jesper Andersson
[c47]
4João Araújo 0001
[j14] [c30] [c29] [c28] [j7] [c20] [c13]
5Aom Ariyatum
[c52]
6Jeffrey Van Baalen
[c9]
7Thomas Baar
[c27]
8Basil Becker
[c47]
9Nelly Bencomo
[c64] [j18] [c51] [c49] [c47] [c43] [c42]
10Jane Binner
[c63] [c52]
11Grady Booch
[e1]
12Richard J. Boulton
[j4] [c6] [c4]
13Guillaume P. Brat
[c9]
14Alexander Brodsky
[c36]
15Manfred Broy
[j8]
16Jean-Michel Bruel
[j18] [c42] [c17]
17Yuriy Brun
[c47]
18Christopher Bull 0001
[c58]
19Christopher N. Bull
[c66]
20Alan Bundy
[j4] [c6] [c4] [c2]
21Christina von Flach G. Chavez (Christina Chavez)
[c62]
22Betty H. C. Cheng
[j18] [c47] [c43] [c42]
23Tony Clark
[e4]
24Leon Cruickshank
[c66]
25Bojan Cukic
[c47]
26Andrew Cumming
[j3]
27Franco Curmi
[c69] [c68]
28Francisco Dantas (Francisco Dantas de Medeiros Neto)
[c65]
29Ewen Denney
[c19]
30Rod Dillon
[c67]
31Glen Dobson
[c38]
32Schahram Dustdar
[c47]
33Ahmed M. Elkhodary
[j14] [c34] [c31] [c30]
34Rebecca Ellis
[c67]
35Gregor Engels
[j20]
36Kleinner Farias
[c62] [c53]
37Maria Angela Ferrario
[c69] [c68] [c67] [c63] [c52] [c48]
38Gabriel Coutinho Sousa Ferreira
[c61]
39Eduardo Figueiredo (Eduardo Magno Lages Figueiredo)
[c61] [c45] [c40]
40Anthony Finkelstein
[c51] [c49] [c47]
41Bernd Fischer 0002
[c15] [c5]
42Renata Pontin de Mattos Fortes (Renata P. M. Fortes)
[j21] [c37]
43Robert B. France
[c13]
44Katerina Frankova
[c52]
45Cristina Gacek
[c47]
46Alessandro F. Garcia (Alessandro Fabricio Garcia, Alessandro Garcia)
[c65] [c62] [c61] [c53] [c45] [c40]
47Laurence Garton
[c52]
48Leif Geiger
[j11] [c26] [c24] [e2]
49Kurt Geihs
[c47]
50Geri Georg
[c22] [c17]
51Holger Giese
[c47]
52Martin Gogolla
[c18]
53Hassan Gomaa
[c31]
54Vincenzo Grassi
[c47]
55John Hardy
[c58]
56David Harel
[e3]
57Mark Hartong
[c39]
58Sylvia Morgan Henshaw
[c36]
59John Hutchinson
[c60] [c59] [c56]
60Heinrich Hußmann (Heinrich Hussmann)
[c17]
61Paola Inverardi
[c47]
62Praveen K. Jayaraman
[j15] [j14] [c33] [c32] [c31] [c30] [c25]
63Jan Jürjens
[c38]
64Gabor Karsai
[c47]
65Holger M. Kienle
[c47]
66Dae-Kyoo Kim
[c23] [c20]
67Gerald Kotonya
[c58]
68Jeff Kramer (Jeffrey Kramer)
[c47]
69Steinar Kristoffersen
[c60]
70Ingolf Krüger (Ingolf Krueger, Ingolf H. Krüger)
[j8] [j5]
71Richard Kwan
[j10] [c14]
72Thomas Kühne
[e4]
73Jaejoon Lee
[j19]
74Rogério de Lemos
[c47]
75Emmanuel Letier
[c51] [c49]
76Laurentiu Leustean
[c16]
77Marin Litoiu
[c47]
78Helen Lowe
[c6] [c4] [c2]
79Michael R. Lowry
[c9]
80Carlos José Pereira de Lucena
[c62]
81Daniel Lucrédio
[j21] [c37]
82Jeff Magee (Jeff N. Magee)
[c47]
83Marcelo de Almeida Maia
[c61]
84Sam Malek
[c47]
85Michael Meisinger
[j11] [c26] [c24] [e2]
86Erica Melis
[j1] [c3] [c1]
87Andrew Messenger
[c55]
88Raffaela Mirandola
[c47] [c22]
89Ana Moreira (Ana M. D. Moreira)
[j14] [c30] [c29] [c28]
90Daniel Morrell
[c67]
91Gunter Mussbacher
[j17] [c46] [c44] [c41]
92Hausi A. Müller
[c47]
93Baseerit Nasa
[c52]
94Oscar Nierstrasz
[j13] [e3]
95Camila Nunes
[c61]
96Daltro José Nunes
[c45]
97Bashar Nuseibeh
[c38]
98Ileana Ober
[c22] [c17]
99Phil Oh
[c9]
100Sooyong Park
[c47]
101John Penix
[c9]
102Dorina C. Petriu
[c22]
103Scott Songlin Piao
[c54] [c48]
104Christoph Pohl
[c17]
105Rob Potts
[c67]
106Thomas Pressburger
[c9]
107Rasheed Rabbi
[c30]
108Lukman Ab Rahim
[c50]
109Paul Rayson
[c63] [c48]
110Gianna Reggio
[e3]
111Hassan Reza
[j12]
112Peter Robinson
[c9]
113Grigore Rosu
[c16] [c12]
114Mark Rouncefield
[c60] [c59]
115Jyoti Saboo
[j10] [c14]
116Paul Sammut
[c18]
117Cláudio Sant'Anna
[c45]
118Peter Sawyer (Pete Sawyer)
[c64] [j18] [c51] [c49] [c43] [c42]
119Johann Schumann
[j6] [c15] [c9] [c8] [c7]
120Giovanna Di Marzo Serugendo
[c47]
121Mary Shaw
[c47]
122Bruno Carreiro da Silva
[c45]
123William Simm
[c67] [c63] [c52] [c48]
124Jen Southern
[c69] [c68] [c67]
125Perdita Stevens
[j9] [e1]
126Oliver Storz
[j19]
127Maria Terzi
[c63]
128Wolfgang Theilmann
[c22]
129Matthias Tichy
[c47]
130Massimo Tivoli
[c47]
131Sebastián Uchitel
[j8] [j5]
132Ram Prasad Venkatesan
[c16]
133Kristopher Welsh
[c64]
134Danny Weyns
[c47]
135Michael W. Whalen
[c15]
136Duminda Wijesekera
[c39]
137Andrée Woodcock
[c52]
138Steffen Zschaler
[c22] [c17]
139Albert Zündorf
[j5]
140José Ambrosio Toval Álvarez (Ambrosio Toval)
[c13]

Colors in the list of coauthors

Last update Thu May 23 10:36:54 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page