Jon Whittle - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 50 from 50

2009

2008

2007

UCSIM: A Tool for Simulating Use Case ScenariosPraveen K. Jayaraman, Jon Whittle. ICSE 2007: 43-44 [doi]

Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair AnalysisPraveen K. Jayaraman, Jon Whittle, Ahmed M. Elkhodary, Hassan Gomaa. MoDELS 2007: 151-165 [doi]

Guest editorial: Special section on Software Engineering Research and Practice 2005 (SERP 05)Hassan Reza, Jon Whittle. sqj, 15(1):3-5, 2007. [doi]

Precise Specification of Use Case ScenariosJon Whittle. FASE 2007: 170-184 [doi]

MATA: A Tool for Aspect-Oriented Modeling Based on Graph TransformationJon Whittle, Praveen K. Jayaraman. MoDELS 2007: 16-27 [doi]

An Expressive Aspect Composition Language for UML State DiagramsJon Whittle, Ana Moreira, João Araújo, Praveen K. Jayaraman, Ahmed M. Elkhodary, Rasheed Rabbi. MoDELS 2007: 514-528 [doi]

2006

Choosing the Right Time to Compose Aspectual ScenariosJoão Araújo, Jon Whittle, Ana Moreira. compsac 2006: 29-32 [doi]

On the Usage of Concrete Syntax in Model Transformation RulesThomas Baar, Jon Whittle. ershov 2007: 84-97 [doi]

Modeling Volatile Concerns as AspectsAna Moreira, João Araújo, Jon Whittle. caise 2006: 544-558 [doi]

Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, ProceedingsOscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio, editors, Volume 4199 of Lecture Notes in Computer Science, Springer, 2006.

Workshop description of 5th intl. workshop on scenarios and state machines: models-algorithms-and tools (SCESM)Jon Whittle, Leif Geiger, Michael Meisinger. ICSE 2006: 1039-1040 [doi]

Generating Hierarchical State Machines from Use Case ChartsJon Whittle, Praveen K. Jayaraman. RE 2006: 16-25 [doi]

Workshop introduction of 5th intl. workshop on scenarios and state machines: models - algorithms - and tools (SCESM)Jon Whittle, Leif Geiger, Michael Meisinger. scesm 2006: 1-3 [doi]

SCESM 06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, Shanghai, China, May 27, 2006Jon Whittle, Leif Geiger, Michael Meisinger, editors, ACM, 2006.

2005

2004

2003

A summary of the second ICSE 2003 workshop on: scenarios and state machines: models, algorithms, and tools Ingolf Krüger, Sebastián Uchitel, Jon Whittle, Albert Zündorf. sigsoft, 28(6):9, 2003. [doi]

Certifying Optimality of State Estimation ProgramsGrigore Rosu, Ram Prasad Venkatesan, Jon Whittle, Laurentiu Leustean. cav 2003: 301-314 [doi]

Certification Support for Automatically Generated ProgramsJohann Schumann, Bernd Fischer, Michael W. Whalen, Jon Whittle. hicss 2003: 337 [doi]

«UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, ProceedingsPerdita Stevens, Jon Whittle, Grady Booch, editors, Volume 2863 of Lecture Notes in Computer Science, Springer, 2003.

From Scenarios to Code: An Air Traffic Control Case StudyJon Whittle, Jyoti Saboo, Richard Kwan. ICSE 2003: 490-497 [doi]

2002

2000

Automatic Synthesis of Agent Designs in UMLJohann Schumann, Jon Whittle. faabs 2001: 148-162 [doi]

Generating statechart designs from scenariosJon Whittle, Johann Schumann. ICSE 2000: 314-323 [doi]

Evaluating environments for functional programmingJon Whittle, Andrew Cumming. ijmms, 52(5):847-878, 2000. [doi]

Formal Approaches to Systems Analysis Using UML: An OverviewJon Whittle. JDM, 11(4):4-13, 2000.

1999

1997

External Analogy in Inductive Theorem ProvingErica Melis, Jon Whittle. ki 1997: 111-122

An Editor for Helping Novices to Learn Standard MLJon Whittle, Alan Bundy, Helen Lowe. plilp 1997: 389-405

1996

Internal Analogy in Theorem ProvingErica Melis, Jon Whittle. cade 1996: 92-105

Sign in or sign up to see more results.

runs on WebDSL