BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Canada
1 × Ireland
1 × Japan
1 × Luxembourg
1 × Norway
1 × Portugal
1 × South Africa
1 × South Korea
1 × Spain
1 × Switzerland
1 × The Netherlands
12 × USA
2 × Austria
2 × Germany
2 × Italy
2 × United Kingdom
3 × France
Collaborated with:
P.K.Jayaraman N.Bencomo P.Sawyer C.N.Bull J.Araújo A.Bundy H.Lowe J.Hutchinson M.Rouncefield G.Rosu G.Mussbacher D.Amyot M.A.Ferrario B.H.C.Cheng J.Schumann F.Curmi G.Kotonya C.Bull L.A.Rahim E.Figueiredo A.F.Garcia A.M.D.Moreira B.Fischer R.J.Boulton E.Melis K.Farias A.Garcia C.J.P.d.Lucena R.Heldal A.M.Elkhodary A.Finkelstein E.Letier L.Cruickshank D.Wijesekera M.Hartong D.Lucrédio R.P.d.M.Fortes A.Brodsky S.M.Henshaw D.Kim J.Saboo R.Kwan J.Bruel F.'.Mueller J.Lee J.Southern J.Hardy S.Kristoffersen H.Gomaa R.P.Venkatesan L.Leustean H.Burden C.Chavez D.Mougouei H.Perera W.Hussain R.A.Shams P.Newman W.Simm S.Forshaw A.Friday B.C.d.Silva C.Sant'Anna D.J.Nunes R.Rabbi P.Pelliccione U.Eliasson J.Lantz J.Derehag S.Abrahão F.Bourdeleau S.Kokaly R.F.Paige H.Störrle J.V.Baalen P.Robinson T.Pressburger J.Penix P.Oh M.R.Lowry G.P.Brat R.Breu P.Collet B.Combemale R.B.France J.H.Hill J.Kienzle M.Schöttle F.Steimann D.R.Stikkolorum
Talks about:
model (16) softwar (9) engin (8) scenario (6) design (6) industri (5) system (5) requir (5) aspect (5) state (5)

♂ Person: Jon Whittle

DBLP DBLP: Whittle:Jon

Facilitated 21 volumes:

MoDELS 2015PrCo
MoDELS 2015SCo
MoDELS 2013PrBoard
MoDELS 2013SCo
MoDELS 2012PrCo
MoDELS 2012SCo
MoDELS 2011Ed
MoDELS 2011PrCh
MODELS 2011Ed
ICMT 2010PrCo
ICMT 2009PrCo
ICMT 2008PrCo
MoDELS 2006Ed
MoDELS 2006Ed
UML 2003Ed
MoDELS 2016SCo
MoDELS 2016PrCo

Contributed to:

CHI 20152015
ICSE 20152015
CSEE&T 20142014
MoDELS 20142014
CHI 20132013
ICSE 20132013
MoDELS 20132013
MoDELS 20122012
ICSE 20112011
ICSE 20102010
MoDELS (1) 20102010
RE 20102010
ESEC/FSE 20092009
ICPC 20092009
MoDELS 20092009
RE 20092009
ICSE 20082008
MoDELS 20082008
RecSys 20082008
FASE 20072007
MoDELS 20072007
CAiSE 20062006
RE 20062006
RE 20042004
CAV 20032003
ICSE 20032003
ASE 20022002
UML 20022002
ASE 20012001
ICSE 20002000
ASE 19991999
CADE 19991999
PLILP 19971997
CADE 19961996
MoDELS 20162016
MoDELS 20172017
ESEC/FSE 20182018

Wrote 45 papers:

CHI-2015-CurmiFWM #crowdsourcing
Crowdsourcing Synchronous Spectator Support: (go on, go on, you’re the best)n-1 (FC, MAF, JW, F'M), pp. 757–766.
ICSE-v2-2015-LeeKW0 #design
Software Design Studio: A Practical Example (JL, GK, JW, CB), pp. 389–397.
ICSE-v2-2015-NewmanFSFFW #design #physics #prototype #re-engineering #social
The Role of Design Thinking and Physical Prototyping in Social Software Engineering (PN, MAF, WS, SF, AF, JW), pp. 487–496.
CSEET-2014-BullW #framework #re-engineering
Observations of a software engineering studio: Reflecting with the studio framework (CNB, JW), pp. 74–83.
MoDELS-2014-MussbacherABBCCCFHHKSSSW #modelling
The Relevance of Model-Driven Engineering Thirty Years from Now (GM, DA, RB, JMB, BHCC, PC, BC, RBF, RH, JHH, JK, MS, FS, DRS, JW), pp. 183–200.
CHI-2013-CurmiFSW13a #named #network #social
HeartLink: open broadcast of live biometric data to social networks (FC, MAF, JS, JW), pp. 1749–1758.
ICSE-2013-BullWC #education #re-engineering #towards
Studios in software engineering education: towards an evaluable model (CNB, JW, LC), pp. 1063–1072.
MoDELS-2013-FariasGWL #case study #design #industrial #modelling #scalability
Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case Studies (KF, AG, JW, CJPdL), pp. 639–655.
MoDELS-2013-WhittleHRBH #industrial #modelling #problem #question #tool support
Industrial Adoption of Model-Driven Engineering: Are the Tools Really the Problem? (JW, JH, MR, HB, RH), pp. 1–17.
MoDELS-2012-FariasGWCL #design #empirical #modelling
Evaluating the Effort of Composing Design Models: A Controlled Experiment (KF, AG, JW, CC, CJPdL), pp. 676–691.
ICSE-2011-HardyBKW #development
Digitally annexing desk space for software development (JH, CB, GK, JW), pp. 812–815.
ICSE-2011-HutchinsonRW #industrial #modelling
Model-driven engineering practices in industry (JH, MR, JW), pp. 633–642.
ICSE-2011-HutchinsonWRK #assessment #empirical #industrial
Empirical assessment of MDE in industry (JH, JW, MR, SK), pp. 471–480.
ICSE-2010-BencomoWSFL #requirements #runtime
Requirements reflection: requirements as runtime entities (NB, JW, PS, AF, EL), pp. 199–202.
MoDELS-v1-2010-RahimW #code generation #consistency #semantics #state machine #verification
Verifying Semantic Conformance of State Machine-to-Java Code Generators (LAR, JW), pp. 166–180.
RE-2010-SawyerBWLF #adaptation #research #self
Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems (PS, NB, JW, EL, AF), pp. 95–103.
ESEC-FSE-2009-FigueiredoWG #detection #named
ConcernMorph: metrics-based detection of crosscutting patterns (EF, JW, AFG), pp. 299–300.
ICPC-2009-FigueiredoSSGWN #analysis #design
Crosscutting patterns and design stability: An exploratory analysis (EF, BCdS, CS, AFG, JW, DJN), pp. 138–147.
MoDELS-2009-ChengSBW #adaptation #approach #modelling #nondeterminism #requirements
A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty (BHCC, PS, NB, JW), pp. 468–483.
MoDELS-2009-MussbacherAW #aspect-oriented #modelling
Refactoring-Safe Modeling of Aspect-Oriented Scenarios (GM, DA, JW), pp. 286–300.
RE-2009-MussbacherWA #aspect-oriented #detection #interactive #semantics
Semantic-Based Interaction Detection in Aspect-Oriented Scenarios (GM, JW, DA), pp. 203–212.
RE-2009-WhittleSBCB #adaptation #named #nondeterminism #self #specification
RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems (JW, PS, NB, BHCC, JMB), pp. 79–88.
ICSE-2008-WhittleWH #case study #execution #modelling #security
Executable misuse cases for modeling security concerns (JW, DW, MH), pp. 121–130.
MoDELS-2008-LucredioFW #named
MOOGLE: A Model Search Engine (DL, RPdMF, JW), pp. 296–310.
RecSys-2008-BrodskyHW #framework #named #recommendation
CARD: a decision-guidance framework and application for recommending composite alternatives (AB, SMH, JW), pp. 171–178.
FASE-2007-Whittle #case study #precise #specification
Precise Specification of Use Case Scenarios (JW), pp. 170–184.
MoDELS-2007-JayaramanWEG #analysis #composition #detection #feature model #interactive #product line #using
Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis (PKJ, JW, AME, HG), pp. 151–165.
MoDELS-2007-WhittleMAJER #composition #diagrams #uml
An Expressive Aspect Composition Language for UML State Diagrams (JW, AMDM, JA, PKJ, AME, RR), pp. 514–528.
CAiSE-2006-MoreiraAW #aspect-oriented #modelling
Modeling Volatile Concerns as Aspects (AMDM, JA, JW), pp. 544–558.
RE-2006-WhittleJ #case study #generative #state machine
Generating Hierarchical State Machines from Use Case Charts (JW, PKJ), pp. 16–25.
RE-2004-AraujoWK #aspect-oriented #modelling #requirements
Modeling and Composing Scenario-Based Requirements with Aspects (JA, JW, DKK), pp. 58–67.
CAV-2003-RosuVWL #estimation #source code
Certifying Optimality of State Estimation Programs (GR, RPV, JW, LL), pp. 301–314.
ICSE-2003-WhittleSK #case study
From Scenarios to Code: An Air Traffic Control Case Study (JW, JS, RK), pp. 490–497.
ASE-2002-RosuW #towards
Towards Certifying Domain-Specific Properties of Synthesized Code (GR, JW), pp. 289–294.
UML-2002-Whittle #automation #modelling #uml
Transformations and Software Modeling Languages: Automating Transformations in UML (JW), pp. 227–242.
ASE-2001-WhittleBSRPPOLB #deduction #estimation #named #synthesis
Amphion/NAV: Deductive Synthesis of State Estimation Software (JW, JVB, JS, PR, TP, JP, PO, MRL, GPB), pp. 395–399.
ICSE-2000-WhittleS #design #generative #statechart
Generating statechart designs from scenarios (JW, JS), pp. 314–323.
ASE-1999-FischerW #deduction #integration #retrieval #synthesis
An Integration of Deductive Retrieval into Deductive Synthesis (BF, JW), p. 52–?.
ASE-1999-WhittleBBL #editing #ml
An ML Editor Based on Proofs-As-Programs (JW, AB, RJB, HL), pp. 166–173.
CADE-1999-WhittleBBL
System Description: CyNTHIA (JW, AB, RJB, HL), pp. 388–392.
PLILP-1997-WhittleBL #editing #ml #standard
An Editor for Helping Novices to Learn Standard ML (JW, AB, HL), pp. 389–405.
CADE-1996-MelisW #proving #theorem proving
Internal Analogy in Theorem Proving (EM, JW), pp. 92–105.
MoDELS-2016-HeldalPELDW #industrial #modelling
Descriptive vs prescriptive models in industry (RH, PP, UE, JL, JD, JW), pp. 216–226.
MoDELS-2017-AbrahaoBCKPSW #challenge #experience #modelling #user interface
User Experience for Model-Driven Engineering: Challenges and Future Directions (SA, FB, BHCC, SK, RFP, HS, JW), pp. 229–236.
ESEC-FSE-2018-MougoueiPHSW #research #roadmap
Operationalizing human values in software: a research roadmap (DM, HP, WH, RAS, JW), pp. 780–784.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.