Jon Whittle &ndash; Research Output

Simm, W., Ferrario, M. A., Whittle, J., Davenport, R., Binner, J., Frankova, K., Garton, L., Woodcock, A., Lam, B. & Lawlor-Wright, T., 2016, In : Interacting with Computers. 28, 3, p. 273-292 20 p.

Research output: Contribution to journal › Article › Research › peer-review

2015

47 Citations (Scopus)

A survey of approaches for verifying model transformations

Ab. Rahim, L. & Whittle, J., May 2015, In : Software and Systems Modeling. 14, 2, p. 1003-1028 26 p.

Research output: Contribution to journal › Article › Research › peer-review

2 Citations (Scopus)

Better service design for greater civic engagement

Lam, B., Chen, Y. P., Whittle, J., Binner, J. & Lawlor-Wright, T., 2015, In : Design Journal. 18, 1, p. 31-56 26 p.

Research output: Contribution to journal › Article › Research › peer-review

10 Citations (Scopus)

Evaluating the effort of composing design models: a controlled experiment

Farias, K., Garcia, A., Whittle, J., von Flach Garcia Chavez, C. & Lucena, C., Oct 2015, In : Software and Systems Modeling. 14, 4, p. 1349-1365 17 p.

Research output: Contribution to journal › Article › Research › peer-review

2014

5 Citations (Scopus)

Barter: a technology strategy for local wealth generation

Knowles, B., Lochrie, M., Coulton, P. & Whittle, J., 2014, In : Adventist Professional. 16, 3, p. 28-34 7 p., 6824538.

Research output: Contribution to journal › Article › Research › peer-review

11 Citations (Scopus)

Exploring 'success' in digitally augmented activism: a triangulated approach to analyzing UK activist Twitter use

Potts, A., Simm, W., Whittle, J. & Unger, J. W., Dec 2014, In : Discourse, Context and Media. 6, p. 65-76 12 p.

Research output: Contribution to journal › Article › Research › peer-review

6 Citations (Scopus)

Imaginative labour and relationships of care: co-designing prototypes with vulnerable communities

Southern, J., Ellis, R., Ferrario, M. A., McNally, R., Dillon, R., Simm, W. & Whittle, J., 2014, In : Technological Forecasting and Social Change. 84, p. 131-142 12 p.

Research output: Contribution to journal › Article › Research › peer-review

83 Citations (Scopus)

Model-driven engineering practices in industry: social, organizational and managerial factors that lead to success or failure

Hutchinson, J. R., Whittle, J. & Rouncefield, M., 2014, In : Science of Computer Programming. 89, p. 144-161 18 p.

Research output: Contribution to journal › Article › Research › peer-review

17 Citations (Scopus)

Supporting reflective practice in software engineering education through a studio-based approach

Bull, C. N. & Whittle, J., 2014, In : IEEE Software. 31, 4, p. 44-50 7 p., 6774769.

Research output: Contribution to journal › Article › Research › peer-review

159 Citations (Scopus)

The state of practice in model-driven engineering

Whittle, J., Hutchinson, J. R. & Rouncefield, M., 2014, In : IEEE Software. 31, 3, p. 79-85 7 p., 6507223.

Research output: Contribution to journal › Article › Other › peer-review

2012

23 Citations (Scopus)

MOOGLE: A metamodel-based model search engine

Lucrédio, D., Renata, R. P. & Whittle, J., May 2012, In : Software and Systems Modeling. 11, 2, p. 183-208 26 p.

Research output: Contribution to journal › Article › Research › peer-review

5 Citations (Scopus)

On the role of composition code properties on evolving programs

Dantas, F., Garcia, A. & Whittle, J., 2012, In : International Symposium on Empirical Software Engineering and Measurement. p. 291-300 10 p.

Research output: Contribution to journal › Article › Research › peer-review

2011

2 Citations (Scopus)

Bio-inspired mechanisms for coordinating multiple instances of a service feature in Dynamic Software Product Lines

Lee, J., Whittle, J. & Storz, O., 2011, In : Journal of Universal Computer Science. 17, 5, p. 670-683 14 p.

Research output: Contribution to journal › Article › Research › peer-review

2010

5 Citations (Scopus)

Extending interaction overview diagrams with activity diagram constructs

Whittle, J., 2010, In : Software and Systems Modeling. 9, 2, p. 203-224 22 p.

Research output: Contribution to journal › Article › Research › peer-review

6 Citations (Scopus)

Modeling and detecting semantic-based interactions in aspect-oriented scenarios

Mussbacher, G., Whittle, J. & Amyot, D., Jun 2010, In : Requirements Engineering. 15, 2, p. 197-214 18 p.

Research output: Contribution to journal › Article › Research › peer-review

124 Citations (Scopus)

RELAX: A language to address uncertainty in self-adaptive systems requirement

Whittle, J., Sawyer, P., Bencomo, N., Cheng, B. H. C. & Bruel, J. M., Jun 2010, In : Requirements Engineering. 15, 2, p. 177-196 20 p.

Research output: Contribution to journal › Article › Research › peer-review

30 Citations (Scopus)

Synthesizing hierarchical state machines from expressive scenario descriptions

Whittle, J. & Jayaraman, P. K., 1 Jan 2010, In : ACM Transactions on Software Engineering and Methodology. 19, 3, 8.

Research output: Contribution to journal › Article › Research › peer-review

2005

29 Citations (Scopus)

From scenarios to code: An air traffic control case study

Whittle, J., Kwan, R. & Saboo, J., 1 Feb 2005, In : Software and Systems Modeling. 4, 1, p. 71-93 23 p.

Research output: Contribution to journal › Article › Research › peer-review

2004

21 Citations (Scopus)

Automating the implementation of Kalman filter algorithms

Whittle, J. & Schumann, J., 1 Dec 2004, In : ACM Transactions on Mathematical Software. 30, 4, p. 434-453 20 p.

Research output: Contribution to journal › Article › Research › peer-review

83 Citations (Scopus)

Scenario modelling with aspects

Whittle, J. & Araújo, J., 1 Aug 2004, In : IEE Proceedings: Software. 151, 4, p. 157-171 15 p.

Research output: Contribution to journal › Article › Research › peer-review

2002

2 Citations (Scopus)

Proofs-as-programs as a framework for the design of an analogy-based ML editor

Whittle, J., Bundy, A. & Boulton, R., 1 Dec 2002, In : Formal Aspects of Computing. 13, 3-5, p. 403-421 19 p.

Research output: Contribution to journal › Article › Research › peer-review

2000

Automating component integration for web-based data analysis

Penix, J., Fischer, B., Whittle, J., Pour, G. & Van Baalen, J., 1 Jan 2000, In : IEEE Aerospace Conference Proceedings. 4, p. 465-473 9 p.

Research output: Contribution to journal › Article › Research › peer-review

3 Citations (Scopus)

Evaluating environments for functional programming

Whittle, J. & Cumming, A., 1 Jan 2000, In : International Journal of Human Computer Studies. 52, 5, p. 847-878 32 p.

Research output: Contribution to journal › Article › Research › peer-review

254 Citations (Scopus)

Generating statechart designs from scenarios

Whittle, J. & Schumann, J., 1 Jan 2000, In : Proceedings - International Conference on Software Engineering. p. 314-323 10 p.

Research output: Contribution to journal › Article › Research › peer-review

1999

19 Citations (Scopus)

Analogy in inductive theorem proving

Melis, E. & Whittle, J., 1 Feb 1999, In : Journal of Automated Reasoning. 22, 2, p. 117-147 31 p.

Research output: Contribution to journal › Article › Research › peer-review