Daniel Amyot

Orcid: 0000-0003-2414-1791

Affiliations:
  • University of Ottawa, Canada


According to our database1, Daniel Amyot authored at least 225 papers between 1995 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Using Process Mining to Improve Digital Service Delivery.
CoRR, 2024

SymboleoNLP: A Tool for Generating Formal Specifications from Legal Contract Templates.
Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

Rethinking Legal Compliance Automation: Opportunities with Large Language Models.
Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

Engineering Requirements for Social Housing Through Prototyping.
Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024

2023
Robotic process automation using process mining - A systematic literature review.
Data Knowl. Eng., November, 2023

Sustaining human health: A requirements engineering perspective.
J. Syst. Softw., October, 2023

Union Models for Model Families: Efficient Reasoning over Space and Time.
Algorithms, February, 2023

A Mapping Review on Cyber-Physical Smart Contracts: Architectures, Platforms, and Challenges.
IEEE Access, 2023

Preface: Journal Early Feedback Track.
Proceedings of the Joint Proceedings of REFSQ-2023 Workshops, 2023

Towards Legal Contract Formalization with Controlled Natural Language Templates.
Proceedings of the 31st IEEE International Requirements Engineering Conference, 2023

Welcome to REWBAH 2023: The Fourth International Workshop on Requirements Engineering for Well-Being, Aging, and Health.
Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

On the Use of GPT-4 for Creating Goal Models: An Exploratory Study.
Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

A Prototype for Decision Support Targeting Recreation Prescriptions for Older Adults in Social Isolation (℞OSI).
Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

Protection against Ransomware in Industrial Control Systems through Decentralization using Blockchain.
Proceedings of the 20th Annual International Conference on Privacy, Security and Trust, 2023

Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements.
Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023

3rd Workshop on Software Techniques for Engineering Cyber-Physical Systems.
Proceedings of the 33rd Annual International Conference on Computer Science and Software Engineering, 2023

Engineering Smart Contracts with Symboleo: A Progress Report.
Proceedings of the 33rd Annual International Conference on Computer Science and Software Engineering, 2023

2022
Specification and analysis of legal contracts with Symboleo.
Softw. Syst. Model., 2022

GoRIM: a model-driven method for enhancing regulatory intelligence.
Softw. Syst. Model., 2022

Combining Goal modelling with Business Process modelling Two Decades of Experience with the User Requirements Notation Standard.
Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2022

Self-Adaptation Driven by SysML and Goal Models - A Literature Review.
e Informatica Softw. Eng. J., 2022

A Review of Data-driven Robotic Process Automation Exploiting Process Mining.
CoRR, 2022

Data Preprocessing Method and API for Mining Processes from Cloud-Based Application Event Logs.
Algorithms, 2022

Reasoning about Confidence in Goal Satisfaction.
Algorithms, 2022

Towards Improved Certification of Complex FinTech Systems - A Requirements-based Approach.
Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022

Symboleo2SC: from legal contract specifications to smart contracts.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

Model-checking legal contracts with SymboleoPC.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

2nd Workshop on Software Techniques for Engineering Cyber Physical Systems.
Proceedings of the 32nd Annual International Conference on Computer Science and Software Engineering, 2022

2021
Supplement to Creating Mobile Self-Triage Applications: Requirements and Usability Perspectives.
Dataset, August, 2021

Requirements Engineering for Well-Being, Aging, and Health: An Overview for Practitioners.
IEEE Softw., 2021

A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems.
IEEE Softw., 2021

A Game-theoretic approach to analyze interacting actors in GRL goal models.
Requir. Eng., 2021

Goal and Feature Model Optimization for the Design and Self-Adaptation of Socio-Cyber-Physical Systems.
J. Integr. Des. Process. Sci., 2021

Contract Specification and Verification: Experience with the Symboleo Language (abstract).
Proceedings of the International Workshop on Value Modelling and Business Ontologies Bolzano, 2021

Creating Mobile Self-Triage Applications: Requirements and Usability Perspectives.
Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021

REWBAH 2021: Second International Workshop on Requirements Engineering for Well-Being, Aging, and Health : Welcome from the Organizers.
Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021

Software techniques for engineering cyber-physical systems.
Proceedings of the CASCON '21: Proceedings of the 31st Annual International Conference on Computer Science and Software Engineering, Toronto, Ontario, Canada, November 22, 2021

Social Requirements Models for Services.
Proceedings of the Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future, 2021

2020
Expanding the nature and scope of requirements for service systems through Service-Dominant Logic: the case of a telemonitoring service.
Requir. Eng., 2020

From event logs to goals: a systematic literature review of goal-oriented process mining.
Requir. Eng., 2020

An ontology-driven framework to support the dynamic formation of an interdisciplinary healthcare team.
Int. J. Medical Informatics, 2020

Traceability Management of GRL and SysML Models.
Proceedings of the SAM '20: 12th System Analysis and Modelling Conference, 2020

Symboleo: Towards a Specification Language for Legal Contracts.
Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

An Optimization Modeling Method for Adaptive Systems Based on Goal and Feature Models.
Proceedings of the 10th IEEE International Model-Driven Requirements Engineering, 2020

"Union is power": analyzing families of goal models using union models.
Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Goal Modeling for FinTech Certification.
Proceedings of the Thirteenth International iStar Workshop co-located with 28th IEEE International Requirements Engineering Conference (RE 2020), 2020

Social Dependence Relationships in Requirements Engineering.
Proceedings of the Thirteenth International iStar Workshop co-located with 28th IEEE International Requirements Engineering Conference (RE 2020), 2020

Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo.
Proceedings of the Conceptual Modeling - 39th International Conference, 2020

2019
Static slicing of Use Case Maps requirements models.
Softw. Syst. Model., 2019

Requirements Engineering (RE) for Social Good: RE Cares [Requirements].
IEEE Softw., 2019

Editorial, special issue RE 2018.
Requir. Eng., 2019

A systematic literature mapping of goal and non-goal modelling methods for legal and regulatory compliance.
Requir. Eng., 2019

An automated change impact analysis approach for User Requirements Notation models.
J. Syst. Softw., 2019

Goal Model Integration: Advanced Relationships and Rationales Documentation.
Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0, 2019

Union Models: Support for Efficient Reasoning About Model Families Over Space and Time.
Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0, 2019

Data Preprocessing for Goal-Oriented Process Discovery.
Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019

Process Mining for Cloud-Based Applications: A Systematic Literature Review.
Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019

Arithmetic Semantics of Feature and Goal Models for Adaptive Cyber-Physical Systems.
Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

Inferring Metamodel Relaxations Based on Structural Patterns to Support Model Families.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Lean healthcare processes: effective technology integration and comprehensive decision support using requirements engineering methods.
Proceedings of the 1st International Workshop on Software Engineering for Healthcare, 2019

Goal-oriented Process Enhancement and Discovery.
Proceedings of the Business Process Management - 17th International Conference, 2019

2018
An Arithmetic Semantics for GRL Goal Models with Function Generation.
Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, 2018

Welcome Message from the RE18 Chairs.
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

2017
An empirical approach toward the resolution of conflicts in goal-oriented models.
Softw. Syst. Model., 2017

Real-Time, Location-Based Patient-Device Association Management: Design and Proof of Concept.
Int. J. Heal. Inf. Syst. Informatics, 2017

Barriers to Successful Health Information Exchange Systems in Canada and the USA: A Systematic Review.
Int. J. Heal. Inf. Syst. Informatics, 2017

A Review on the Contribution of Emergency Department Simulation Studies in Reducing Wait Time.
Int. J. E Health Medical Commun., 2017

On the Impact of the SDL Forum Society Conferences on Academic Research.
Proceedings of the SDL 2017: Model-Driven Engineering for Future Internet, 2017

A Distance-Based GRL Approach to Goal Model Refinement and Alternative Selection.
Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

What can information systems do for regulators? A review of the state-of-practice in Canada.
Proceedings of the 11th International Conference on Research Challenges in Information Science, 2017

Metamodels Relaxation for Model Family Support.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

A Virtual Patient Navigation Application for Lung Cancer Assessment Patients.
Proceedings of the E-Technologies: Embracing the Internet of Things, 2017

Activity-based Process Integration in Healthcare with the User Requirements Notation.
Proceedings of the E-Technologies: Embracing the Internet of Things, 2017

Evaluating the Potential of Technology in Justice Systems Using Goal Modeling.
Proceedings of the E-Technologies: Embracing the Internet of Things, 2017

Conceptualization of a Value Cocreation Language for Knowledge-Intensive Business Services.
Proceedings of the Information Technology for Management. Ongoing Research and Development, 2017

Supporting process execution by interdisciplinary healthcare teams: Middleware design for IBM BPM.
Proceedings of the 8th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2017) / The 7th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2017) / Affiliated Workshops, 2017

Using Goals and Indicators for Activity-based Process Integration in Healthcare.
Proceedings of the 8th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2017) / The 7th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2017) / Affiliated Workshops, 2017

Goal-Oriented Regulatory Intelligence: How Can Watson Analytics Help?
Proceedings of the Conceptual Modeling - 36th International Conference, 2017

Exploiting IBM Watson Analytics to Visualize and Analyze Data from Goal-Based Conceptual Models.
Proceedings of the ER Forum 2017 and the ER 2017 Demo Track co-located with the 36th International Conference on Conceptual Modelling (ER 2017), Valencia, Spain,, 2017

The University of Ottawa Undergraduate Software Engineering Program: Leading and Innovative.
Proceedings of the 30th IEEE Conference on Software Engineering Education and Training, 2017

2016
A questionnaire-based survey methodology for systematically validating goal-oriented models.
Requir. Eng., 2016

Using Semantic Components to Represent Dynamics of an Interdisciplinary Healthcare Team in a Multi-Agent Decision Support System.
J. Medical Syst., 2016

Process mining in healthcare: a systematised literature review.
Int. J. Electron. Heal., 2016

Welcome to the Ninth International Workshop on Requirements Engineering and Law (RELAW).
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Towards Improved Requirements Engineering with SysML and the User Requirements Notation.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Consistency Analysis for User Requirements Notation Models.
Proceedings of the Ninth International i* Workshop co-located with 24th International Conference on Requirements Engineering (RE 2016), 2016

Predictive Analytics to Support Real-Time Management in Pathology Facilities.
Proceedings of the AMIA 2016, 2016

2015
Real-time and location-based hand hygiene monitoring and notification: proof-of-concept system and experimentation.
Pers. Ubiquitous Comput., 2015

Model-Based Management of Strategic Initiatives.
J. Data Semant., 2015

Synergy between Activity Theory and goal/scenario modeling for requirements elicitation, analysis, and evolution.
Inf. Softw. Technol., 2015

Consented consumer-centric non-functional property description and composition for SOA-based applications.
Int. J. Web Eng. Technol., 2015

Generating Software Documentation in Use Case Maps from Filtered Execution Traces.
Proceedings of the SDL 2015: Model-Driven Engineering for Smart Cities, 2015

Towards the Generation of Tests in the Test Description Language from Use Case Map Models.
Proceedings of the SDL 2015: Model-Driven Engineering for Smart Cities, 2015

Adding a Textual Syntax to an Existing Graphical Modeling Language: Experience Report with GRL.
Proceedings of the SDL 2015: Model-Driven Engineering for Smart Cities, 2015

Towards systems for increased access to justice using goal modeling.
Proceedings of the Eighth IEEE International Workshop on Requirements Engineering and Law, 2015

Efficient Privacy-Preserving Identity Scheme for Electronic Validation of Phase 1 Clinical Trials.
Proceedings of the E-Technologies - 6th International Conference, 2015

Information Technology Artifacts in the Regulatory Compliance of Business Processes: A Meta-Analysis.
Proceedings of the E-Technologies - 6th International Conference, 2015

Goal Modeling Education with GRL: Experience Report.
Proceedings of the Eighth International i*Workshop, 2015

A Textual Syntax with Tool Support for the Goal-Oriented Requirement Language.
Proceedings of the Eighth International i*Workshop, 2015

Common Length Name Representation: An Efficient Privacy-Preserving Scheme.
Proceedings of the 1st IEEE/ACM International Workshop on TEchnical and LEgal aspects of data pRIvacy and SEcurity, 2015

Handling Regulatory Goal Model Families as Software Product Lines.
Proceedings of the Advanced Information Systems Engineering, 2015

2014
Strategic business modeling: representation and reasoning.
Softw. Syst. Model., 2014

A goal-oriented, business intelligence-supported decision-making methodology.
Decis. Anal., 2014

A DSL for importing models in a requirements management system.
Proceedings of the IEEE 4th International Model-Driven Requirements Engineering Workshop, 2014

Goal-oriented compliance with multiple regulations.
Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

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

Legal goal-oriented requirement language (legal GRL) for modeling regulations.
Proceedings of the 6th International Workshop on Modeling in Software Engineering, 2014

Consumer-centric non-functional properties of SOA-based services.
Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, 2014

Location-based Patient-device Association and Disassociation.
Proceedings of the 5th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2014)/ The 4th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2014)/ Affiliated Workshops, 2014

Towards an RTLS-based Hand Hygiene Notification System.
Proceedings of the 5th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2014)/ The 4th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2014)/ Affiliated Workshops, 2014

A Framework for a Business Intelligence-Enabled Adaptive Enterprise Architecture.
Proceedings of the Conceptual Modeling - 33rd International Conference, 2014

Creating Quantitative Goal Models: Governmental Experience.
Proceedings of the Conceptual Modeling - 33rd International Conference, 2014

A Tool for Simple and Efficient Clinical Protocol Evaluation.
Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014

Real-World Data Set Parameters and Synthesization for Matching Identity in Clinical Protocols.
Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014

MET4: Supporting Workflow Execution for Interdisciplinary Healthcare Teams.
Proceedings of the Business Process Management Workshops, 2014

2013
Evolution mechanisms for goal-driven pattern families used in business process modelling.
Int. J. Electron. Bus., 2013

Real-time simulations to support operational decision making in healthcare.
Proceedings of the 2013 Summer Simulation Multiconference, 2013

Practical applications of i<sup>∗</sup> in industry: The state of the art.
Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

Legal requirements analysis and modeling with the measured compliance profile for the goal-oriented requirement language.
Proceedings of the Sixth International Workshop on Requirements Engineering and Law, 2013

Transforming regulations into performance models in the context of reasoning for outcome-based compliance.
Proceedings of the Sixth International Workshop on Requirements Engineering and Law, 2013

Requirements for a modeling language to specify and match business process improvement patterns.
Proceedings of the International Workshop on Model-Driven Requirements Engineering, 2013

Regulation-Based Dimensional Modeling for Regulatory Intelligence.
Proceedings of the Sixth International Workshop on Requirements Engineering and Law, 2013

Improved GRL Modeling and Analysis with jUCMNav 5.
Proceedings of the 6th International <i>i*</i> Workshop 2013, 2013

Location-aware business process management for real-time monitoring of a cardiac care process.
Proceedings of the Center for Advanced Studies on Collaborative Research, 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

2012
AoURN-based modeling and analysis of software product lines.
Softw. Qual. J., 2012

A Systematic Review and Assessment of Aspect-oriented Methods Applied to Business Process Adaptation.
J. Softw., 2012

Non-Functional Properties in Service Oriented Architecture - A Consumer's Perspective.
J. Softw., 2012

An Approach to Specify and Analyze Goal Model Families.
Proceedings of the System Analysis and Modeling: Theory and Practice, 2012

GRL Model Validation: A Statistical Approach.
Proceedings of the System Analysis and Modeling: Theory and Practice, 2012

Tool support for combined rule-based and goal-based reasoning in Context-Aware systems.
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

Towards outcome-based regulatory compliance in aviation security.
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

Narrowing the gaps in Concern-Driven Development.
Proceedings of the Second IEEE International Workshop on Model-Driven Requirements Engineering, 2012

Using the Goal-oriented pattern family framework for modelling outcome-based regulations.
Proceedings of the Second IEEE International Workshop on Requirements Patterns, 2012

Concern-driven development with jUCMNav.
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

Making Data Meaningful: The Business Intelligence Model and Its Formal Semantics in Description Logics.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

Goal models as run-time entities in context-aware systems.
Proceedings of the 7th Workshop on Models@run.time, Innsbruck, Austria, October 02, 2012, 2012

Towards Advanced Goal Model Analysis with jUCMNav.
Proceedings of the Advances in Conceptual Modeling, 2012

2011
Spotting the difference.
Softw. Pract. Exp., 2011

User Requirements Notation: The First Ten Years, The Next Ten Years (Invited Paper).
J. Softw., 2011

Transformation of aspect-oriented requirements specifications for reactive systems into aspect-oriented design specifications.
Proceedings of the First Model-Driven Requirements Engineering Workshop, 2011

A systematic review of goal-oriented requirements management frameworks for business process compliance.
Proceedings of the Fourth International Workshop on Requirements Engineering and Law, 2011

Toward a Goal-Oriented, Business Intelligence Decision-Making Framework.
Proceedings of the E-Technologies: Transformation in a Connected World, 2011

Evolution of Goal-Driven Pattern Families for Business Process Modeling.
Proceedings of the E-Technologies: Transformation in a Connected World, 2011

Towards Model-Based Support for Managing Organizational Transformation.
Proceedings of the E-Technologies: Transformation in a Connected World, 2011

Eight Deadly Sins of GRL.
Proceedings of the 5<sup>th</sup> International <i>i</i>* Workshop 2011, 2011

Towards a Declarative, Constraint-Oriented Semantics with a Generic Evaluation Algorithm for GRL.
Proceedings of the 5<sup>th</sup> International <i>i</i>* Workshop 2011, 2011

GRL Modeling and Analysis with jUCMNav.
Proceedings of the 5<sup>th</sup> International <i>i</i>* Workshop 2011, 2011

Reasoning with Key Performance Indicators.
Proceedings of the Practice of Enterprise Modeling - 4th IFIP WG 8.1 Working Conference, 2011

Strategic Models for Business Intelligence.
Proceedings of the Conceptual Modeling - ER 2011, 30th International Conference, 2011

Composite Indicators for Business Intelligence.
Proceedings of the Conceptual Modeling - ER 2011, 30th International Conference, 2011

A Systematic Review of Compliance Measurement Based on Goals and Indicators.
Proceedings of the Advanced Information Systems Engineering Workshops, 2011

From aspect-oriented requirements models to aspect-oriented business process design models: an iterative and concern-driven approach for software engineering.
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010
Requirements Modeling with the Aspect-oriented User Requirements Notation (AoURN): A Case Study.
LNCS Trans. Aspect Oriented Softw. Dev., 2010

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

Evaluating goal models within the goal-oriented requirement language.
Int. J. Intell. Syst., 2010

Toward an aspect-oriented framework for business process improvement.
Int. J. Electron. Bus., 2010

Integrating business strategies with requirement models of legal compliance.
Int. J. Electron. Bus., 2010

UCMExporter: Supporting Scenario Transformations from Use Case Maps
CoRR, 2010

Analysing the Cognitive Effectiveness of the BPMN 2.0 Visual Notation.
Proceedings of the Software Language Engineering - Third International Conference, 2010

Towards a Pattern-Based Framework for Goal-Driven Business Process Modeling.
Proceedings of the Eighth ACIS International Conference on Software Engineering Research, 2010

Towards a Taxonomy of Syntactic and Semantic Matching Mechanisms for Aspect-Oriented Modeling.
Proceedings of the System Analysis and Modeling: About Models - 6th International Workshop, 2010

Analysing the Cognitive Effectiveness of the UCM Visual Notation.
Proceedings of the System Analysis and Modeling: About Models - 6th International Workshop, 2010

Aspect-Oriented Feature Models.
Proceedings of the Models in Software Engineering, 2010

Towards a Framework for Business Process Compliance.
Proceedings of the Workshops Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, 2010

Business Process Compliance Tracking Using Key Performance Indicators.
Proceedings of the Business Process Management Workshops, 2010

2009
Research Paper: A Globally Optimal k-Anonymity Method for the De-Identification of Health Data.
J. Am. Medical Informatics Assoc., 2009

Business process management with the user requirements notation.
Electron. Commer. Res., 2009

Extending the User Requirements Notation with Aspect-Oriented Concepts.
Proceedings of the SDL 2009: Design for Motes and Mobiles, 2009

A UML Profile for Goal-Oriented Modeling.
Proceedings of the SDL 2009: Design for Motes and Mobiles, 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

Modeling and Analysis of URN Goals and Scenarios with jUCMNav.
Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

Compliance Analysis Based on a Goal-oriented Requirement Language Evaluation Methodology.
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

An Aspect-Oriented Framework for Business Process Improvement.
Proceedings of the E-Technologies: Innovation in an Open World, 2009

A Legal Perspective on Business: Modeling the Impact of Law.
Proceedings of the E-Technologies: Innovation in an Open World, 2009

Goal-Driven Development of a Patient Surveillance Application for Improving Patient Safety.
Proceedings of the E-Technologies: Innovation in an Open World, 2009

On modeling interactions of early aspects with goals.
Proceedings of the 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, 2009

Heterogeneous pointcut expressions.
Proceedings of the 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, 2009

Goal and scenario modeling, analysis, and transformation with jUCMNav.
Proceedings of the 31st International Conference on Software Engineering, 2009

Feature Interactions in Aspect-Oriented Scenario Models.
Proceedings of the Feature Interactions in Software and Communication Systems X, 2009

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

A Lightweight GRL Profile for i* Modeling.
Proceedings of the Advances in Conceptual Modeling - Challenging Perspectives, 2009

2008
Comparative Analysis between Document-based and Model-based Compliance Management Approaches.
Proceedings of the First International Workshop on Requirements Engineering and Law, 2008

Flexible verification of user-defined semantic constraints in modelling tools.
Proceedings of the 2008 conference of the Centre for Advanced Studies on Collaborative Research, 2008

Modeling software product lines with AoURN.
Proceedings of the 2008 AOSD workshop on Early aspects, 2008

2007
Visualizing Early Aspects with Use Case Maps.
LNCS Trans. Aspect Oriented Softw. Dev., 2007

Business Process Monitoring and Alignment: An Approach Based on the User Requirements Notation and Business Intelligence Tools.
Proceedings of the Anais do WER07, 2007

A Requirements Management Framework for Privacy Compliance.
Proceedings of the Anais do WER07, 2007

Enhanced Use Case Map Traversal Semantics.
Proceedings of the SDL 2007: Design for Dependable Systems, 2007

Combining VoiceXML with CCXML: A Comparative Study.
Proceedings of the 4th IEEE Consumer Communications and Networking Conference, 2007

Towards a Framework for Tracking Legal Compliance in Healthcare.
Proceedings of the Advanced Information Systems Engineering, 19th International Conference, 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
Foreword - New technologies in distributed systems.
Ann. des Télécommunications, 2006

Towards Integrated Tool Support for the User Requirements Notation.
Proceedings of the System Analysis and Modeling: Language Profiles, 2006

Evaluation of Development Tools for Domain-Specific Modeling Languages.
Proceedings of the System Analysis and Modeling: Language Profiles, 2006

Integrating an Eclipse-Based Scenario Modeling Environment with a Requirements Management System.
Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

Towards the Automated Conversion of Natural-Language use Cases to Graphical use Case Maps.
Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

2005
Interactive conflict detection and resolution for personalized features.
J. Commun. Networks, 2005

Business Process Modeling with URN.
Int. J. E Bus. Res., 2005

Generation of test purposes from Use Case Maps.
Comput. Networks, 2005

Design and Evolution of e-Business Models.
Proceedings of the 7th IEEE International Conference on E-Commerce Technology (CEC 2005), 2005

Service Discovery and Component Reuse with Semantic Interfaces.
Proceedings of the SDL 2005: Model Driven, 2005

UCM-Driven Testing of Web Applications.
Proceedings of the SDL 2005: Model Driven, 2005

Recovering Behavioral Design Models from Execution Traces.
Proceedings of the 9th European Conference on Software Maintenance and Reengineering (CSMR 2005), 2005

2004
Directions in feature interaction research.
Comput. Networks, 2004

2003
An Evaluation of Scenario Notations and Construction Approaches for Telecommunication Systems Development.
Telecommun. Syst., 2003

Introduction to the User Requirements Notation: learning by example.
Comput. Networks, 2003

Scenario-Based Performance Engineering with UCMNAV.
Proceedings of the SDL 2003: System Design, 2003

Synthesizing SDL from Use Case Maps: An Experiment.
Proceedings of the SDL 2003: System Design, 2003

Generating Scenarios from Use Case Map Specifications.
Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Traceability and Evaluation in Scenario Analysis by Use Case Maps.
Proceedings of the Scenarios: Models, 2003

2002
Understanding Existing Software with Use Case Map Scenarios.
Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002

URN: Towards a New Standard for the Visual Description of Requirements.
Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002

2001
Deriving Message Sequence Charts from Use Case Maps Scenario Specifications.
Proceedings of the SDL 2001: Meeting UML, 2001

Bridging the Requirements/Design Gap in Dynamic Systems with Use Case Maps (UCMs).
Proceedings of the 23rd International Conference on Software Engineering, 2001

2000
Use Case Maps and <sub>LOTOS</sub> for the prototyping and validation of a mobile group call system.
Comput. Commun., 2000

On the Extension of UML with Use Case Maps Concepts.
Proceedings of the «UML» 2000, 2000

Structural Coverage For LOTOS - a Probe Insertion Technique.
Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13<sup>th</sup> International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000

Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS.
Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000

Use Case Maps as a Feature Description Notation.
Proceedings of the Language Constructs for Describing Features, 2000

1999
Use Case Maps for the Capture and Validation of Distributed Systems Requirements.
Proceedings of the 4th IEEE International Symposium on Requirements Engineering (RE '99), 1999

1998
High Level, Multi-Agent Prototypes from a Scenario-Path Notation: A Feature-Interaction Example.
Proceedings of the Third International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1998

Feature-Interaction Visualisation and Resolution in an Agent Environment.
Proceedings of the Feature Interactions in Telecommunications and Software Systems V, September 29, 1998

1995
Formal Support for Design Techniques: A Timethreads-LOTOS Approach.
Proceedings of the Formal Description Techniques VIII, 1995


  Loading...