Jon Whittle

Orcid: 0000-0002-9342-7809

Affiliations:
  • CSIRO, Data61, Sydney, NSW, Australia
  • Monash University, Faculty of Information Technology, Melbourne, Australia
  • George Mason University, Fairfax, Virginia, USA (former)


According to our database1, Jon Whittle authored at least 201 papers between 1996 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Automated detection, categorisation and developers' experience with the violations of honesty in mobile apps.
Empir. Softw. Eng., November, 2023

Operationalizing Responsible AI at Scale: CSIRO Data61's Pattern-Oriented Responsible AI Engineering Approach.
Commun. ACM, July, 2023

Investigating end-users' values in agriculture mobile applications development: An empirical study on Bangladeshi female farmers.
J. Syst. Softw., June, 2023

Integrating human values in software development using a human values dashboard.
Empir. Softw. Eng., June, 2023

Software Engineering for Responsible AI.
Computer, April, 2023

Responsible-AI-by-Design: A Pattern Collection for Designing Responsible Artificial Intelligence Systems.
IEEE Softw., 2023

Developing Responsible Chatbots for Financial Services: A Pattern-Oriented Responsible Artificial Intelligence Engineering Approach.
IEEE Intell. Syst., 2023

Building the Future of Responsible AI: A Reference Architecture for Designing Large Language Model based Agents.
CoRR, 2023

Exploring Qualitative Research Using LLMs.
CoRR, 2023

QB4AIRA: A Question Bank for AI Risk Assessment.
CoRR, 2023

A Framework for Designing Foundation Model based Systems.
CoRR, 2023

Towards Responsible AI in the Era of ChatGPT: A Reference Architecture for Designing Foundation Model-based AI Systems.
CoRR, 2023

A Survey on AI Risk Assessment Frameworks.
CoRR, 2023

Operationalising Responsible AI Using a Pattern-Oriented Approach: A Case Study on Chatbots in Financial Services.
CoRR, 2023

Human Value Requirements in AI Systems: Empirical Analysis of Amazon Alexa.
Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

Towards Concrete and Connected AI Risk Assessment (C<sup>2</sup>AIRA): A Systematic Mapping Study.
Proceedings of the 2nd IEEE/ACM International Conference on AI Engineering, 2023

2022
How Can Human Values be Addressed in Agile Methods? A Case Study on SAFe.
IEEE Trans. Software Eng., 2022

Human Values in Software Engineering: Contrasting Case Studies of Practice.
IEEE Trans. Software Eng., 2022

Engineering Digital Twin-Enabled Systems.
IEEE Softw., 2022

How secondary school girls perceive Computational Thinking practices through collaborative programming with the micro: bit.
J. Syst. Softw., 2022

Human values in software development artefacts: A case study on issue discussions in three Android applications.
Inf. Softw. Technol., 2022

Responsible AI Pattern Catalogue: A Multivocal Literature Review.
CoRR, 2022

Towards Operationalising Responsible AI: An Empirical Study.
CoRR, 2022

Responsible-AI-by-Design: a Pattern Collection for Designing Responsible AI Systems.
CoRR, 2022

Operationalizing Human Values in Software Engineering: A Survey.
IEEE Access, 2022

On the Violation of Honesty in Mobile Apps: Automated Detection and Categories.
Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022

Software Engineers' Response to Public Crisis: Lessons Learnt from Spontaneously Building an Informative COVID-19 Dashboard.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Society ICSE (SEIS) 2022, 2022

Software engineering for Responsible AI: An empirical study and operationalised patterns.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

Towards a roadmap on software engineering for responsible AI.
Proceedings of the 1st International Conference on AI Engineering: Software Engineering for AI, 2022

Towards Implementing Responsible AI.
Proceedings of the IEEE International Conference on Big Data, 2022

2021
A Case for Human Values in Software Engineering.
IEEE Softw., 2021

AI Ethics Principles in Practice: Perspectives of Designers and Developers.
CoRR, 2021

The Impact of Considering Human Values during Requirements Engineering Activities.
CoRR, 2021

Human Values in Mobile App Development: An Empirical Study on Bangladeshi Agriculture Mobile Apps.
CoRR, 2021

AI and Ethics - Operationalising Responsible AI.
CoRR, 2021

Human Values in Requirements Engineering : RE'21 Tutorial.
Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

A First Look at Human Values-Violation in App Reviews.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering in Society, 2021

Measuring Bangladeshi Female Farmers' Values for Agriculture Mobile Applications Development.
Proceedings of the 54th Hawaii International Conference on System Sciences, 2021

Towards a Human Values Dashboard for Software Development: An Exploratory Study.
Proceedings of the ESEM '21: ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2021

Does Domain Change the Opinion of Individuals on Human Values? A Preliminary Investigation on eHealth Apps End-users.
Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

2020
Community-University Research: A Warts and All Account.
Proceedings of the Into the Wild: Beyond the Design Research Lab, 2020

The Impact of a STEM-based Entrepreneurship Program on the Entrepreneurial Intention of Secondary School Female Students.
CoRR, 2020

Continual Human Value Analysis in Software Development: A Goal Model Based Approach.
Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

Is There a Need to Address Human Values in Domain Modelling?
Proceedings of the 10th IEEE International Model-Driven Requirements Engineering, 2020

Society-oriented applications development: investigating users' values from bangladeshi agriculture mobile applications.
Proceedings of the ICSE-SEIS '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Society, Seoul, South Korea, 27 June, 2020

A study on the prevalence of human values in software engineering publications, 2015 - 2018.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019
Is Your Software Valueless?
IEEE Softw., 2019

Does your software value what you value? (Keynote).
Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

Human Values in Software: A New Paradigm for Requirements Engineering?
Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

Towards Integrating Human Values into Software: Mapping Principles and Rights of GDPR to Values.
Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

Respiratory Self-Care: Identifying Current Challenges and Future Potentials for Digital Technology to Support People with Chronic Respiratory Conditions.
Proceedings of the 13th EAI International Conference on Pervasive Computing Technologies for Healthcare, 2019

2018
Software Development and CSCW: Standardization and Flexibility in Large-Scale Agile Development.
Proc. ACM Hum. Comput. Interact., 2018

Operationalizing human values in software: a research roadmap.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Scoping the Design Space for Data Supported Decision-Making Tools in Respiratory Care: Needs, Barriers and Future Aspirations.
Proceedings of the 12th EAI International Conference on Pervasive Computing Technologies for Healthcare, 2018

SE in ES: opportunities for software engineering and cloud computing in environmental science.
Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Society, 2018

Integrating social values into software design patterns.
Proceedings of the International Workshop on Software Fairness, 2018

2017
A taxonomy of tool-related issues affecting the adoption of model-driven engineering.
Softw. Syst. Model., 2017

Biometric data sharing in the wild: Investigating the effects on online sports spectators.
Int. J. Hum. Comput. Stud., 2017

Computing and mental health: intentionality and reflection at the click of a button.
Proceedings of the 11th EAI International Conference on Pervasive Computing Technologies for Healthcare, 2017

User Experience for Model-Driven Engineering: Challenges and Future Directions.
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

An Integrated Platform for Dynamic Adaptation of Multi-tenant Single Instance SaaS Applications.
Proceedings of the 5th IEEE International Conference on Future Internet of Things and Cloud, 2017

Using DSML for Handling Multi-tenant Evolution in Cloud Applications.
Proceedings of the IEEE International Conference on Cloud Computing Technology and Science, 2017

Values in Computing.
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

Embedding a Crowd inside a Relay Baton: A Case Study in a Non-Competitive Sporting Activity.
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

2016
On the Role of Digital Consultation Tools in Public Space Design: A Case Study.
Interact. Comput., 2016

Evolving Multi-Tenant SaaS Cloud Applications Using Model-Driven Engineering.
Proceedings of the 10th Workshop on Models and Evolution co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Descriptive vs prescriptive models in industry.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Model-driven engineering for multi-tenant SaaS application development.
Proceedings of the 3rd Workshop on CrossCloud Infrastructures & Platforms, 2016

Anxiety and Autism: Towards Personalized Digital Health.
Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems, 2016

2015
Guest editorial to the special issue on MODELS 2011.
Softw. Syst. Model., 2015

A survey of approaches for verifying model transformations.
Softw. Syst. Model., 2015

Evaluating the effort of composing design models: a controlled experiment.
Softw. Syst. Model., 2015

Cue Now, Reflect Later: A Study of Delayed Reflection of Diary Events.
Proceedings of the Human-Computer Interaction - INTERACT 2015, 2015

The Role of Design Thinking and Physical Prototyping in Social Software Engineering.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Software Design Studio: A Practical Example.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Crowdsourcing Synchronous Spectator Support: (go on, go on, you're the best)<sup>n-1</sup>.
Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015

2014
Self-Explanation in Adaptive Systems Based on Runtime Goal-Based Models.
Trans. Comput. Collect. Intell., 2014

The State of Practice in Model-Driven Engineering.
IEEE Softw., 2014

Supporting Reflective Practice in Software Engineering Education through a Studio-Based Approach.
IEEE Softw., 2014

Model-driven engineering practices in industry: Social, organizational and managerial factors that lead to success or failure.
Sci. Comput. Program., 2014

Barter: A Technology Strategy for Local Wealth Generation.
IT Prof., 2014

Text-Based User-kNN: Measuring User Similarity Based on Text Reviews.
Proceedings of the User Modeling, Adaptation, and Personalization, 2014

Wicked Persuasion: A Designerly Approach.
Proceedings of the Persuasive Technology - 9th International Conference, 2014

How much participation is enough?: a comparison of six participatory design projects in terms of outcomes.
Proceedings of the Participatory Design Conference, 2014

Visualising the flow of a local economy to encourage inter-community trading: adding bits to BARTER.
Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, 2014

Teaching in a Software Design Studio: Implications for Modeling Education.
Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

The Relevance of Model-Driven Engineering Thirty Years from Now.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014

MDE Opportunities in Multi-Tenant Cloud Applications.
Proceedings of the 2nd International Workshop on Model-Driven Engineering on and for the Cloud co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

Revealing flows in the local economy through visualisations: customers, [clicks/cliques] and clusters.
Proceedings of the 18th International Academic MindTrek Conference: Media Business, 2014

SqueezeDiary: using squeeze gesture as triggers of diary events.
Proceedings of the 16th international conference on Human-computer interaction with mobile devices & services, 2014

Software engineering for 'social good': integrating action research, participatory design, and agile development.
Proceedings of the 36th International Conference on Software Engineering, 2014

Squeeze the moment: denoting diary events by squeezing.
Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2014

Seeding the Design Process for Future Problems.
Proceedings of the Human-Centered Software Engineering, 2014

Comparing and contrasting model-driven engineering at three large companies.
Proceedings of the 2014 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, 2014

Observations of a software engineering studio: Reflecting with the studio framework.
Proceedings of the 27th IEEE Conference on Software Engineering Education and Training, 2014

BARTER: promoting local spending behavior.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2014

Prototyping 'clasp': implications for designing digital technology for and with adults with autism.
Proceedings of the Designing Interactive Systems Conference 2014, DIS '14, Vancouver, BC, 2014

BioShare: a research tool for analyzing social networks effects when sharing biometric data.
Proceedings of the Companion Publication of the 2014 ACM SIGCHI Conference on Designing Interactive Systems Conference, 2014

Sharing real-time biometric data across social networks: requirements for research experiments.
Proceedings of the Designing Interactive Systems Conference 2014, DIS '14, Vancouver, BC, 2014

2013
Industrial Adoption of Model-Driven Engineering: Are the Tools Really the Problem?
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Agile versus MDE - Friend or Foe?
Proceedings of the Workshop on Extreme Modeling co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2013), 2013

Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case Studies.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Designing a Mobile Service as a Facilitator for Capturing Local Trade Data.
Proceedings of the International Conference on Making Sense of Converging Media, 2013

Studios in software engineering education: towards an evaluable model.
Proceedings of the 35th International Conference on Software Engineering, 2013

Patchworks: citizen-led innovation for chaotic lives.
Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013

HeartLink: open broadcast of live biometric data to social networks.
Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013

Enhancing design models with composition properties: a software maintenance study.
Proceedings of the Aspect-Oriented Software Development, 2013

Composing Goal and Scenario Models with the Aspect-Oriented User Requirements Notation Based on Syntax and Semantics.
Proceedings of the Aspect-Oriented Requirements Engineering, 2013

Using Aspects to Model Volatile Concerns.
Proceedings of the Aspect-Oriented Requirements Engineering, 2013

Aspect-Oriented Compositions for Dynamic Behavior Models.
Proceedings of the Aspect-Oriented Requirements Engineering, 2013

2012
MOOGLE: a metamodel-based model search engine.
Softw. Syst. Model., 2012

Ten years of software and systems modeling - Reflecting on the past, looking to the future.
Softw. Syst. Model., 2012

Understanding Actionable Knowledge in Social Media: BBC Question Time and Twitter, a Case Study.
Proceedings of the Sixth International Conference on Weblogs and Social Media, 2012

Self-Explanation in Adaptive Systems.
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

On the role of composition code properties on evolving programs.
Proceedings of the 2012 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, 2012

2011
Bio-Inspired Mechanisms for Coordinating Multiple Instances of a Service Feature in Dynamic Software Product Lines.
J. Univers. Comput. Sci., 2011

A Feasibility Study on Extracting Twitter Users' Interests Using NLP Tools for Serendipitous Connections.
Proceedings of the PASSAT/SocialCom 2011, Privacy, 2011

Recommendations Based on User-Generated Comments in Social Media.
Proceedings of the PASSAT/SocialCom 2011, Privacy, 2011

Foreword: 2nd Workshop requirements@run.time.
Proceedings of the 2nd International Workshop on Requirements@Run.Time (RE@RunTime 2011), 2011

Mismatches between Industry Practice and Teaching of Model-Driven Software Development.
Proceedings of the Models in Software Engineering, 2011

What do 449 MDE Practitioners Think About MDE?
Proceedings of the First Workshop on Experiences and Empirical Studies in Software Modelling, 2011

Empirical assessment of MDE in industry.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Model-driven engineering practices in industry.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Digitally annexing desk space for software development.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Identifying state space reduction techniques from behavioural design patterns.
Proceedings of the Third Workshop on Behavioural Modelling, 2011

On the impact of crosscutting concern projection on code measurement.
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010
Synthesizing hierarchical state machines from expressive scenario descriptions.
ACM Trans. Softw. Eng. Methodol., 2010

Extending interaction overview diagrams with activity diagram constructs.
Softw. Syst. Model., 2010

RELAX: a language to address uncertainty in self-adaptive systems requirement.
Requir. Eng., 2010

Modeling and detecting semantic-based interactions in aspect-oriented scenarios.
Requir. Eng., 2010

Classification of Short Text Comments by Sentiment and Actionability for VoiceYourView.
Proceedings of the 2010 IEEE Second International Conference on Social Computing, 2010

Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems.
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Verifying Semantic Conformance of State Machine-to-Java Code Generators.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

On the role of the user in monitoring the environment in self-adaptive systems: a position paper.
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2010

Requirements reflection: requirements as runtime entities.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

VoiceYourView: collecting real-time feedback on the design of public spaces.
Proceedings of the UbiComp 2010: Ubiquitous Computing, 12th International Conference, 2010

Assessing the impact of aspects on model composition effort.
Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010

2009
MATA: A Unified Approach for Composing UML Aspect Models Based on Graph Transformation.
LNCS Trans. Aspect Oriented Softw. Dev., 2009

ConcernMorph: metrics-based detection of crosscutting patterns.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

RELAX: Incorporating Uncertainty into the Specification of Self-Adaptive Systems.
Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

Semantic-Based Interaction Detection in Aspect-Oriented Scenarios.
Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

Refactoring-Safe Modeling of Aspect-Oriented Scenarios.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

Crosscutting patterns and design stability: An exploratory analysis.
Proceedings of the 17th IEEE International Conference on Program Comprehension, 2009

Semantic-Based Aspect Interaction Detection with Goal Models - (position paper).
Proceedings of the Feature Interactions in Software and Communication Systems X, 2009


2008
Guest Editorial to the Special Issue on MoDELS 2006.
Softw. Syst. Model., 2008

CARD: a decision-guidance framework and application for recommending composite alternatives.
Proceedings of the 2008 ACM Conference on Recommender Systems, 2008

First International Modeling Security Workshop.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

MOOGLE: A Model Search Engine.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

Executable misuse cases for modeling security concerns.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007
Guest editorial: Special section on Software Engineering Research and Practice 2005 (SERP'05).
Softw. Qual. J., 2007

An Expressive Aspect Composition Language for UML State Diagrams.
Proceedings of the Model Driven Engineering Languages and Systems, 2007

MATA: A Tool for Aspect-Oriented Modeling Based on Graph Transformation.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis.
Proceedings of the Model Driven Engineering Languages and Systems, 2007

UCSIM: A Tool for Simulating Use Case Scenarios.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

A Survey of Approaches to Adaptive Application Security.
Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007

Precise Specification of Use Case Scenarios.
Proceedings of the Fundamental Approaches to Software Engineering, 2007

Flexible and Expressive Composition Rules with Aspect-oriented Use Case Maps (AoUCM).
Proceedings of the Early Aspects: Current Challenges and Future Directions, 2007

2006
5th Intl. Workshop on Scenarios and State Machines: Models - Algorithms - and Tools (SCESM).
ACM SIGSOFT Softw. Eng. Notes, 2006

Workshop introduction of 5th intl. workshop on scenarios and state machines: models - algorithms - and tools (SCESM).
Proceedings of the SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, 2006

Generating Hierarchical State Machines from Use Case Charts.
Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Workshop description of 5th intl. workshop on scenarios and state machines: models-algorithms-and tools (SCESM).
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

On the Usage of Concrete Syntax in Model Transformation Rules.
Proceedings of the Perspectives of Systems Informatics, 2006

Choosing the Right Time to Compose Aspectual Scenarios.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

Modeling Volatile Concerns as Aspects.
Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

2005
Guest Editorial: Special Section on Interaction and State-Based Modeling.
IEEE Trans. Software Eng., 2005

From scenarios to code: An air traffic control case study.
Softw. Syst. Model., 2005

Guest editorial to the special issue on UML2003.
Softw. Syst. Model., 2005

Specifying Precise Use Cases with Use Case Charts.
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

Workshop on Models for Non-functional Properties of Component-Based Software - NfC.
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

Generating UML Models from Domain Patterns.
Proceedings of the Third ACIS International Conference on Software Engineering, 2005

2004
Automating the implementation of Kalman filter algorithms.
ACM Trans. Math. Softw., 2004

Scenario modelling with aspects.
IEE Proc. Softw., 2004

Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME'2004).
Proceedings of the UML Modeling Languages and Applications, 2004

Models for Non-functional Aspects of Component-Based Software (NfC'04).
Proceedings of the UML Modeling Languages and Applications, 2004

Combining Model-Driven and Schema-Based Program Synthesis.
Proceedings of the International Conference on Software Engineering Research and Practice, 2004

Modeling and Composing Scenario-Based Requirements with Aspects.
Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

2003
A summary of the second ICSE 2003 workshop on: "scenarios and state machines: models, algorithms, and tools".
ACM SIGSOFT Softw. Eng. Notes, 2003

Certification Support for Automatically Generated Programs.
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

Certifying Optimality of State Estimation Programs.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002
Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor.
Formal Aspects Comput., 2002

Workshops and Tutorials at the UML 2002 Conference.
Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002

Transformations and Software Modeling Languages: Automating Transformations in UML.
Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002

Towards Certifying Domain-Specific Properties of Synthesized Code.
Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

Integration and Transformation of UML Models.
Proceedings of the Object-Oriented Technology, 2002

Formal Approaches to Systems Analysis Using UML: An Overview.
Proceedings of the Advanced Topics in Database Research, Vol. 1, 2002

2001
Amphion/NAV: Deductive Synthesis of State Estimation Software.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

2000
Formal Approaches to Systems Analysis Using UML: An Overview.
J. Database Manag., 2000

Evaluating environments for functional programming.
Int. J. Hum. Comput. Stud., 2000

Generating statechart designs from scenarios.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

Automatic Synthesis of Agent Designs in UML.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

1999
The use of proofs-as-programs to build an analogy-based functional program editor.
PhD thesis, 1999

Analogy in Inductive Theorem Proving.
J. Autom. Reason., 1999

An ML Editor Based on Proofs-As-Programs.
Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

An Integration of Deductive Retrieval into Deductive Synthesis.
Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Improving Functional Programming Environments.
Proceedings of the Human-Computer Interaction INTERACT '99: IFIP TC13 International Conference on Human-Computer Interaction, 1999

System Description: CyNTHIA.
Proceedings of the Automated Deduction, 1999

1997
An Editor for Helping Novices to Learn Standard ML.
Proceedings of the Programming Languages: Implementations, 1997

External Analogy in Inductive Theorem Proving.
Proceedings of the KI-97: Advances in Artificial Intelligence, 1997

1996
Internal Analogy in Theorem Proving.
Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996


  Loading...