Roel J. Wieringa

Orcid: 0000-0003-2121-9928

Affiliations:
  • University of Twente, Enschede, Netherlands


According to our database1, Roel J. Wieringa authored at least 244 papers between 1988 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Agile Quality Requirements Elaboration: A Proposal and Evaluation.
Proceedings of the 18th International Conference on Software Technologies, 2023

Towards a Solution Proposal to Agile Quality Requirements Challenges in Large-scale Projects.
Proceedings of the Short Paper Proceedings of the Second International Workshop on Agile Methods for Information Systems Engineering (Agil-ISE 2023) co-located with the 35th International Conference on Advanced Information Systems Engineering (CAiSE 2023), 2023

2022
Using Tangible Modeling to Create an e<sup>3</sup>value Conceptual Model for Digital Ecosystems.
Proceedings of the Practice of Enterprise Modeling, 2022

The Business Model of Digital Ecosystems: Why and How You Should Do It.
Proceedings of the Advances in Enterprise Engineering XVI, 2022

2021
Analyzing SAFe Practices with Respect to Quality Requirements: Findings from a Qualitative Study.
Proceedings of the Product-Focused Software Process Improvement, 2021

Do the Scaled Agile Practices from S@S Help with Quality Requirements Challenges and If So, How Do They Do It?
Proceedings of the 16th International Conference on Software Technologies, 2021

Quantitative Alignment of Enterprise Architectures with the Business Model.
Proceedings of the Conceptual Modeling - 40th International Conference, 2021

Traceability from the Business Value Model to the Enterprise Architecture: A Case Study.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2021

2020
The Banking Industry Underestimates Costs of Cloud Migrations.
Proceedings of the 22nd IEEE Conference on Business Informatics, 2020

Governance in Peer-to-Peer Networks Is a Design Problem (short paper).
Proceedings of 14th International Workshop on Value Modelling and Business Ontologies, 2020

An Approach That Stimulates Architectural Thinking during Requirements Elicitation: An Empirical Evaluation.
Proceedings of the 15th International Conference on Software Technologies, 2020

Analysing Large-Scale Scrum Practices with Respect to Quality Requirements Challenges.
Proceedings of the 15th International Conference on Software Technologies, 2020

Transforming e<sup>3</sup>value models into ArchiMate diagrams.
Proceedings of the 24th IEEE International Enterprise Distributed Object Computing Conference, 2020

Exploring Governance in a Decentralized Energy Trading Eco-System.
Proceedings of the 33rd Bled eConference: Enabling Technology for a Sustainable Society, 2020

2019
Status Quo in Requirements Engineering: A Theory and a Global Family of Surveys.
ACM Trans. Softw. Eng. Methodol., 2019

An integrated conceptual model for information system security risk management supported by enterprise architecture management.
Softw. Syst. Model., 2019

Quantitative, Value-Driven Risk Analysis of e-Services.
J. Inf. Syst., 2019

Quality requirements challenges in the context of large-scale distributed agile: An empirical study.
Inf. Softw. Technol., 2019

A Business Ecosystem Architecture Modeling Framework.
Proceedings of the 21st IEEE Conference on Business Informatics, 2019

Towards More Individualized Interfaces: Automating the Assessment of Computer Literacy.
Proceedings of the Seventh International Workshop on Behavior Change Support Systems co-located with the 14th International Conference on Persuasive Technology, 2019

Applying Generic AcciMap to a DDOS Attack on a Western-European Telecom Operator.
Proceedings of the 16th International Conference on Information Systems for Crisis Response and Management, 2019

A Minimalistic Decision Tree for Blockchain Business Cases in Healthcare.
Proceedings of the Practice of Enterprise Modelling 2019 Conference Forum (short papers), 2019

Realizing Traceability from the Business Model to Enterprise Architecture.
Proceedings of the Advances in Conceptual Modeling, 2019

2018
Learning from Accidents: A Systematic Review of Accident Analysis Methods and Models.
Int. J. Inf. Syst. Crisis Response Manag., 2018

Tool Support for Value Modeling and Risk Analysis of e-Services.
Proceedings of the Joint Proceedings of REFSQ-2018 Workshops, 2018

Understanding Challenging Situations in Agile Quality Requirements Engineering and Their Solution strategies: Insights from a Case Study.
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

Accident Analysis Methods and Models - a Systematic Review.
Proceedings of the 15th International Conference on Information Systems for Crisis Response and Management, 2018

Improving the Semantic Interoperability of IoT Early Warning Systems: The Port of Valencia Use Case.
Proceedings of the Enterprise Interoperability VIII: Smart Services and Business Impact of Enterprise Interoperability, 2018

2017
Naming the pain in requirements engineering - Contemporary problems, causes, and effects in practice.
Empir. Softw. Eng., 2017

Towards Security Requirements: Iconicity as a Feature of an Informal Modeling Language.
Proceedings of the Joint Proceedings of REFSQ-2017 Workshops, 2017

Quality Requirements in Large-Scale Distributed Agile Projects - A Systematic Literature Review.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017

Requirements Engineering Since the Year One Thousand.
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Agile Quality Requirements Engineering Challenges: First Results from a Case Study.
Proceedings of the 2017 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2017

The Role of Tangibility and Iconicity in Collaborative Modelling Tasks.
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

Reference Architecture for Integration Platforms.
Proceedings of the 21st IEEE International Enterprise Distributed Object Computing Conference, 2017

Graphical Modeling of Security Arguments: Current State and Future Directions.
Proceedings of the Graphical Models for Security - 4th International Workshop, 2017

Smart Logistics: An Enterprise Architecture Perspective.
Proceedings of the Forum and Doctoral Consortium Papers Presented at the 29th International Conference on Advanced Information Systems Engineering, 2017

Architecture Alignment.
Proceedings of the Enterprise Architecture at Work, 2017

2016
Web-based Collaborative Security Requirements Elicitation.
Proceedings of the Joint Proceedings of REFSQ-2016 Workshops, 2016

ArgueSecure: Out-of-the-Box Security Risk Assessment.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Measuring Computer Literacy without Questionnaires.
Proceedings of the Fourth International Workshop on Behavior Change Support Systems, 2016

Value-Driven Risk Analysis of Coordination Models.
Proceedings of the Practice of Enterprise Modeling, 2016

Probing for requirements knowledge to stimulate architectural thinking.
Proceedings of the 38th International Conference on Software Engineering, 2016

Automated Identification and Prioritization of Business Risks in e-service Networks.
Proceedings of the Exploring Services Science - 7th International Conference, 2016

A Study on Tangible Participative Enterprise Modelling.
Proceedings of the Advances in Conceptual Modeling, 2016

Design science research in information systems and software systems engineering.
Proceedings of XIX Ibero-American Conference on Software Engineering, 2016

2015
Six strategies for generalizing software engineering theories.
Sci. Comput. Program., 2015

Automated analysis of security requirements through risk-based argumentation.
J. Syst. Softw., 2015

e<sup>3</sup> service: A Critical Reflection and Future Research.
Bus. Inf. Syst. Eng., 2015

Experimental Validation of a Risk Assessment Method.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2015

What you ask is what you get: Understanding architecturally significant functional requirements.
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

Behavior Change Support Systems for Privacy and Security.
Proceedings of the Third International Workshop on Behavior Change Support Systems co-located with the 10th International Conference on Persuasive Technology (PERSUASIVE 2015), 2015

An Empirical Study to Validate the Use of Ontological Guidelines in the Creation of i* Models.
Proceedings of the Brazilian Seminar on Ontologies (ONTOBRAS 2015), 2015

Validating the Raster Risk Assessment Method in Practice.
Proceedings of the 12th Proceedings of the International Conference on Information Systems for Crisis Response and Management, 2015

Using Value Models for Business Risk Analysis in e-Service Networks.
Proceedings of the Practice of Enterprise Modeling, 2015

The Green Lab: Experimentation in Software Energy Efficiency.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Identifying Architecturally Significant Functional Requirements.
Proceedings of the 5th IEEE/ACM International Workshop on the Twin Peaks of Requirements and Architecture, 2015

Tangible Modelling to Elicit Domain Knowledge: An Experiment and Focus Group.
Proceedings of the Conceptual Modeling - 34th International Conference, 2015

2014
Empirical research methods for technology validation: Scaling up to practice.
J. Syst. Softw., 2014

Experiment: Understandability of Goal Modeling with ARMOR.
Proceedings of the Joint Proceedings of REFSQ-2014 Workshops, 2014

Argumentation-based security requirements elicitation: The next round.
Proceedings of the IEEE 1st Workshop on Evolving Security and Privacy Requirements Engineering, 2014

Towards middle-range usable design theories for software engineering.
Proceedings of the 3rd SEMAT Workshop on General Theories of Software Engineering, 2014

Understandability of Goal Concepts by Requirements Engineering Experts.
Proceedings of the Advances in Conceptual Modeling, 2014

Understandability of Goal-Oriented Requirements Engineering Concepts for Enterprise Architects.
Proceedings of the Advanced Information Systems Engineering, 2014

Design Science Methodology for Information Systems and Software Engineering
Springer, ISBN: 978-3-662-43839-8, 2014

2013
A newly introduced Industry Voice Column.
Softw. Syst. Model., 2013

Agile requirements prioritization in large-scale outsourced system projects: An empirical study.
J. Syst. Softw., 2013

Engineering Security Agreements Against External Insider Threat.
Inf. Resour. Manag. J., 2013

Reusing knowledge in embedded systems modelling.
Expert Syst. J. Knowl. Eng., 2013

Assumption-based risk identification method (ARM) in dynamic service provisioning.
Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

Requirements engineering conferences: Wither industry tracks?
Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

RE@21 spotlight: Most influential papers from the requirements engineering conference.
Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

Improving Requirements Engineering by Artefact Orientation.
Proceedings of the Product-Focused Software Process Improvement, 2013

Care-giver tailoring of IT-based healthcare services for elderly at home: A field test and its results.
Proceedings of the 7th International Conference on Pervasive Computing Technologies for Healthcare and Workshops, 2013

The Role of Goals in Design Reasoning.
Proceedings of the 6th International <i>i*</i> Workshop 2013, 2013

Using a Foundational Ontology to Investigate the Semantics Behind the Concepts of the i* Language.
Proceedings of the 6th International <i>i*</i> Workshop 2013, 2013

Generalizing by similarity: lessons learnt from industrial case studies.
Proceedings of the 1st International Workshop on Conducting Empirical Studies in Industry, 2013

Ontological Distinctions between Means-End and Contribution Links in the i* Framework.
Proceedings of the Conceptual Modeling - 32th International Conference, 2013

Risk Assessment as an Argumentation Game.
Proceedings of the Computational Logic in Multi-Agent Systems, 2013

Risk Driven Requirements Specification (RiDeRS) of IT-based Homecare Systems.
Proceedings of the CAiSE'13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE), 2013

Dynamic Homecare Service Provisioning: A Field Test and Its Results.
Proceedings of the Process Support and Knowledge Representation in Health Care, 2013

2012
A<sup>2</sup>thOS: availability analysis and optimisation in SLAs.
Int. J. Netw. Manag., 2012

Role-Based Access Control in Retrospect.
Computer, 2012

Explaining Embedded Software Modelling Decisions.
Proceedings of the 2012 IEEE International Conference on Software Science, 2012

Goal-Oriented Requirements Engineering and Enterprise Architecture: Two Case Studies and Some Lessons Learned.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2012

Design and initial validation ofthe Rastermethod for telecom service availability risk assessment.
Proceedings of the 9th Proceedings of the International Conference on Information Systems for Crisis Response and Management, 2012

Challenges in Service Value Network Composition.
Proceedings of the Practice of Enterprise Modeling - 5th IFIP WG 8.1 Working Conference, 2012

A Trust Ontology for Business Collaborations.
Proceedings of the Short Paper Proceedings of the 5th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling, 2012

Using Value Models to Improve the Cost/Benefit Analysis of Inter-Organizational System Implementations.
Proceedings of the Collaborative Networks in the Internet of Services, 2012

Lessons learned from evaluating a checklist for reporting experimental and observational research.
Proceedings of the 2012 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, 2012

Towards a unified checklist for empirical research in software engineering: first proposal.
Proceedings of the 16th International Conference on Evaluation & Assessment in Software Engineering, 2012

Technical Action Research as a Validation Method in Information Systems Design Science.
Proceedings of the Design Science Research in Information Systems. Advances in Theory and Practice, 2012

Designing Technical Action Research and Generalizing from Real-World Cases.
Proceedings of the Advanced Information Systems Engineering, 2012

Risk Identification of Tailorable Context-aware Systems: a Case Study and Lessons Learned.
Proceedings of the CAiSE'12 Forum at the 24<sup>th</sup> International Conference on Advanced Information Systems Engineering (CAiSE), 2012

Endurability and Profitability analysis of Collaborative Networks.
Proceedings of the 25th Bled eConference: eTrust: eDependability: Reliable and Trustworthy eStructures, 2012

Managing Trust in Business Webs Using Game Theory.
Proceedings of the 26th International Conference on Advanced Information Networking and Applications Workshops, 2012

2011
Model-based qualitative risk assessment for availability of IT infrastructures.
Softw. Syst. Model., 2011

Integrated assessment and mitigation of physical and digital security threats: Case studies on virtualization.
Inf. Secur. Tech. Rep., 2011

Empirical research in business process management: introduction to the special issue.
Inf. Syst. E Bus. Manag., 2011

Model-driven system development: Experimental design and report of the pilot experiment
CoRR, 2011

Agile Requirements Prioritization: What Happens in Practice and What Is Described in Literature.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2011

Validation of embedded system verification models.
Proceedings of the First Model-Driven Requirements Engineering Workshop, 2011

Risk and argument: A risk-based argumentation method for practical security.
Proceedings of the RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011, 2011

A new method to assess telecom service availability risks.
Proceedings of the 8th Proceedings of the International Conference on Information Systems for Crisis Response and Management, 2011

E3value to BPMN Model Transformation.
Proceedings of the Adaptation and Value Creating Collaborative Networks, 2011

Realizing Security Requirements with Physical Properties: A Case Study on Paper Voting.
Proceedings of the International Conference on IT Convergence and Security, 2011

The Structure of Design Theories, and an Analysis of their Use in Software Engineering Experiments.
Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement, 2011

Trust and Business Webs.
Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, 2011

Value-Oriented Coordination Process Model Engineering.
Proceedings of the Advanced Information Systems Engineering Workshops, 2011

Risk and Business Goal Based Security Requirement and Countermeasure Prioritization.
Proceedings of the Workshops on Business Informatics Research, 2011

2010
MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations.
Serv. Oriented Comput. Appl., 2010

Do We Know Enough about Requirements Prioritization in Agile Projects: Insights from a Case Study.
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Risk-based Confidentiality Requirements Specification for Outsourced IT Systems.
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

A conceptual model and process for client-driven agile requirements prioritization.
Proceedings of the Fourth IEEE International Conference on Research Challenges in Information Science, 2010

Design science methodology: principles and practice.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Benefits of Location-Based Access Control: A Literature Study.
Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications, 2010

Relevance and Problem Choice in Design Science.
Proceedings of the Global Perspectives on Design Science Research, 2010

CRAC: Confidentiality risk assessment and IT-infrastructure comparison.
Proceedings of the 6th International Conference on Network and Service Management, 2010

Rationality of Cross-System Data Duplication: A Case Study.
Proceedings of the Advanced Information Systems Engineering, 22nd International Conference, 2010

Value-Oriented Coordination Process Modeling.
Proceedings of the Business Process Management - 8th International Conference, 2010

External Insider Threat: A Real Security Challenge in Enterprise Value Webs.
Proceedings of the ARES 2010, 2010

Requirements Engineering for Enterprise Systems: What We Know and What We Don't Know?
Proceedings of the Intentional Perspectives on Information Systems Engineering., 2010

2009
Report on the working conference on requirements engineering: foundation for software quality (REFSQ'09).
ACM SIGSOFT Softw. Eng. Notes, 2009

Towards a Service-Oriented MDA-Based Approach to the Alignment of Business Processes with IT Systems: from the Business Model to a Web Service Composition Model.
Int. J. Cooperative Inf. Syst., 2009

Research Findings on Empirical Evaluation of Requirements Specifications Approaches.
Proceedings of the Anais do WER09, 2009

Towards Management of Complex Service Compositions - Position Paper.
Proceedings of the 2009 IEEE World Congress on Services, Part II, 2009

Cross-organizational ERP management: how to create a successful business case?
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

How to Write and Read a Scientific Evaluation Paper.
Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

From Business Value Model to Coordination Process Model.
Proceedings of the Enterprise Interoperability - Second IFIP WG 5.8 International Workshop, 2009

Design Science and Software Engineering.
Proceedings of the ICSOFT 2009, 2009

Monitoring Service Compositions in MoDe4SLA - Design of Validation.
Proceedings of the ICEIS 2009, 2009

A systematic mapping study on empirical evaluation of software requirements specifications techniques.
Proceedings of the Third International Symposium on Empirical Software Engineering and Measurement, 2009

Harmfulness of Code Duplication - A Structured Review of the Evidence.
Proceedings of the 13th International Conference on Evaluation and Assessment in Software Engineering, 2009

Design science as nested problem solving.
Proceedings of the 4th International Conference on Design Science Research in Information Systems and Technology, 2009

Security Implications of Virtualization: A Literature Study.
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

Introduction to the First International Workshop on Empirical Research in Business Process Management (ER-BPM 2009).
Proceedings of the Business Process Management Workshops, 2009

A Mobile Ambients-Based Approach for Network Attack Modelling and Simulation.
Proceedings of the The Forth International Conference on Availability, 2009

2008
Cost estimation for cross-organizational ERP projects: research perspectives.
Softw. Qual. J., 2008

Business-IT Alignment in Value Webs.
Proceedings of the Anais do WER08, 2008

An Approach for Maintaining Models of an E-commerce Collaboration.
Proceedings of the 10th IEEE International Conference on E-Commerce Technology (CEC 2008) / 5th IEEE International Conference on Enterprise Computing, 2008

Checking the alignment of value-based business models and IT functionality.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Towards self-configuration and management of e-service provisioning in dynamic value constellations.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Classifying Assumptions Made during Requirements Verification of Embedded Systems.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2008

Design Science, Engineering Science and Requirements Engineering.
Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008

Value-driven Service Matching.
Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008

Operational Business-IT Alignment in Value Webs.
Proceedings of the Information Systems and e-Business Technologies, 2008

On Quality Issues in Networked Value Constellations.
Proceedings of the Pervasive Collaborative Networks, 2008

Non-monotonic modelling from initial requirements: a proposal and comparison with monotonic modelling methods.
Proceedings of the 3rd International Workshop on Applications and Advances of Problem Frames, 2008

Value-Driven Coordination Process Design Using Physical Delivery Models.
Proceedings of the Conceptual Modeling, 2008

Towards a business-IT aligned maturity model for collaborative networked organizations.
Proceedings of the Workshops Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

Real-World Semantics of Conceptual Models.
Proceedings of the Evolution of Conceptual Modeling, 2008

2007
Guest Editors' Introduction: Stakeholders in Requirements Engineering.
IEEE Softw., 2007

Exploiting a Goal-Decomposition Technique to Prioritize Non-functional Requirements.
Proceedings of the Anais do WER07, 2007

Value-Based Requirements Engineering for Value Webs.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2007

2006
RE 05: Engineering Successful Products.
IEEE Softw., 2006

Requirements engineering paper classification and evaluation criteria: a proposal and a discussion.
Requir. Eng., 2006

The methodological soundness of requirements engineering papers: a conceptual framework and two case studies.
Requir. Eng., 2006

A requirements engineering framework for cross-organizational ERP systems.
Requir. Eng., 2006

Enterprise architecture: Management tool and blueprint for the organisation.
Inf. Syst. Frontiers, 2006

Understanding Business Strategies of Networked Value Constellations Using Goal- and Value Modeling.
Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

A Coordination Complexity Model to Support Requirements Engineering for Cross-organizational ERP.
Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Workshop on technology transfer in software engineering.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS).
Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006

06351 Summary -- Methods for Modelling Software Systems (MMOSS).
Proceedings of the Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006, 2006

An Integrated Enterprise Architecture Framework for Business-IT Alignment.
Proceedings of the CAISE*06 Workshop on Business/IT Alignment and Interoperability BUSITAL '06, 2006

2005
Requirements researchers: are we really doing research?.
Requir. Eng., 2005

Multi-Perspective Requirements Engineering for Networked Business Systems: A Framework for Pattern Composition.
Proceedings of the Anais do WER05, 2005

Surveying the factors that influence maintainability: research design.
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Value-oriented design of service coordination processes: correctness and trust.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Eliciting User Requirements for Ambient Intelligent Systems: A Case Study.
Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

Requirements Engineering for Cross-organizational ERP Implementation: Undocumented Assumptions and Potential Mismatches.
Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

Requirements for Secure Logging of Decentralized Cross-Organizational Workflow Executions.
Proceedings of the On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, 2005

Cross-Organizational Workflows: A Classification of Design Decisions.
Proceedings of the Challenges of Expanding Internet: E-Commerce, 2005

Enhancing a Requirements Specification Method with a Vocabulary Acquisition Tool.
Proceedings of the Memorias de la VIII Conferencia Iberoamericana de Software Engineering (CIbSE 2005), 2005

Semantic and Pragmatic Interoperability: A Model for Understanding.
Proceedings of the EMOI, 2005

2004
Tool Support for Verifying UML Activity Diagrams.
IEEE Trans. Software Eng., 2004

Guest Editors' Introduction: RE'03-Practical Requirements Engineering Solutions.
IEEE Softw., 2004

Second International Workshop on From SofTware Requirements to Architectures (STRAW'03).
ACM SIGSOFT Softw. Eng. Notes, 2004

Introduction to the RE'03 Special Issue.
Requir. Eng., 2004

Project Graal: Towards Operational Architecture Alignment.
Int. J. Cooperative Inf. Syst., 2004

Developing a Domain-Specific Cross-Organizational RE Method.
Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004

Requirements Engineering: Problem Analysis and Solution Specification (Extended Abstract).
Proceedings of the Web Engineering - 4th International Conference, 2004

Risk-Driven Conceptual Modeling of Outsourcing Decisions.
Proceedings of the Conceptual Modeling, 2004

Value-Based Design of Collaboration Processes for e-Commerce.
Proceedings of the 2004 IEEE International Conference on e-Technology, 2004

Modelling Mobility Aspects of Security Policies.
Proceedings of the Construction and Analysis of Safe, 2004

Towards Semantic Service Specification and Discovery.
Proceedings of the CAiSE'04 Workshops in connection with The 16th Conference on Advanced Information Systems Engineering, 2004

2003
Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets.
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

Aligning Application Architecture to the Business Context.
Proceedings of the Advanced Information Systems Engineering, 15th International Conference, 2003

A Value-Oriented Approach to E-business Process Design.
Proceedings of the Advanced Information Systems Engineering, 15th International Conference, 2003

Design methods for reactive systems - Yourdon, Statemate, and the UML.
Morgan Kaufmann, ISBN: 978-1-55860-755-2, 2003

2002
Requirements Engineering-Based Conceptual Modelling.
Requir. Eng., 2002

Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts.
Requir. Eng., 2002

Extending CTL with Actions and Real Time.
J. Log. Comput., 2002

The mutual exclusion problem in reasoning about action and change.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

Verification support for workflow design with UML activity graphs.
Proceedings of the 24th International Conference on Software Engineering, 2002

2001
Regular database update logics.
Theor. Comput. Sci., 2001

Software Requirements Engineering: The Need for Systems Engineering and Literacy.
Requir. Eng., 2001

A Fixed-point Characterization of a Deontic Logic of Regular Action.
Fundam. Informaticae, 2001

An Execution Algorithm for UML Activity Graphs.
Proceedings of the «UML» 2001, 2001

An Investigation into Agency Requirements in E-Business Information Systems.
Proceedings of the ICEIS 2001, 2001

A Real-Time Execution Semantics for UML Activity Diagrams.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

Techniques for Reactive System Design: The Tools in TRADE.
Proceedings of the Advanced Information Systems Engineering, 13th International Conference, 2001

2000
The Declarative Problem Frame: Designing Systems that Create and Use Norms.
Proceedings of the 10th International Workshop on Software Specification and Design, 2000

Requirements Level Semantics for UML Statecharts.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

A Semantics for Persistency in Propositional Dynamic Logic.
Proceedings of the Computational Logic, 2000

1999
A Logic for the Specification of Multi-Object Systems (Short Paper).
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues?
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Embedding Object-Oriented Design in System Engineering.
Proceedings of the Behavioral Specifications of Businesses and Systems, 1999

1998
Integrating Semi-Formal and Formal Software Specification Techniques.
Inf. Syst., 1998

A Survey of Structured and Object-Oriented Software Specification Methods and Techniques.
ACM Comput. Surv., 1998

Subsystem design guidelines for extensible general-purpose software.
Proceedings of the Third International Workshop on Software Architecture, 1998

Traceability and Modularity in Software Design.
Proceedings of the 9th International Workshop on Software Specification and Design, 1998

The Role of Deontic Logic in the Specification of Information Systems.
Proceedings of the Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1998

1997
Postmodern Software Design with NYAM: Not Yet Another Method.
Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

Advanced Object-Oriented Requirements Specification Methods.
Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997

Integrating Semi-formal and Formal Requirements.
Proceedings of the Advanced Information Systems Engineering, 1997

1996
Free Choice and Contextually Permitted Actions.
Stud Logica, 1996

Formal Analysis of the Shlaer-Mellor Method: Towards a Toolkit of Formal and Informal Requirements Specification Techniques.
Requir. Eng., 1996

An Integrated Framework for Ought-to-Be and Ought-to-Do Constraints.
Artif. Intell. Law, 1996

Minimal Semantics for Action Specifications in a Multi-modal Logic.
Proceedings of the Integrity in Databases, 1996

A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation.
Proceedings of the Deontic Logic, Agency and Normative Systems, 1996

Requirements engineering - frameworks for understanding.
Wiley, ISBN: 978-0-471-95884-0, 1996

1995
Using Dynamic Classes and Role Classes to Model Object Migration.
Theory Pract. Object Syst., 1995

Object Identifiers, Keys, and Surrogates: Object Identifiers Revisited.
Theory Pract. Object Syst., 1995

Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases.
J. Log. Comput., 1995

Combining Static and Dynamic Modelling Methods: A Comparison of Four Methods.
Comput. J., 1995

LCM and MCM.
Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995

1994
Combining TROLL with the Object Modeling Technique.
Proceedings of the Innovationen bei Rechen- und Kommunikationssystemen, Eine Herausforderung für die Informatik, 24. GI-Jahrestagung im Rahmen des 13th World Computer Congress, IFIP Congress '94, Hamburg, 28. August, 1994

Roles and Dynamic Subclasses: A Modal Logic Approach.
Proceedings of the Object-Oriented Programming, Proceedings of the 8th European Conference, 1994

1993
Actors, Actions, and Initiative in Normative System Specification.
Ann. Math. Artif. Intell., 1993

1992
Dynamic Database Logic: the First-order Case.
Proceedings of the Modelling Database Dynamics, 1992

1991
Steps towards a method for the formal modeling of dynamic objects.
Data Knowl. Eng., 1991

The Inheritance of Dynamic and Deontic Integrity Constraints.
Ann. Math. Artif. Intell., 1991

Actor-Oriented System Specification with Dynamic Logic.
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Actor-Oriented Specification of Deontic Integrity Constraints.
Proceedings of the MFDBS 91, 1991

Discussion Issues for a Working Group on Update Semantics of Logic Databases.
Proceedings of the Third Workshop on Foundations of Models and Languages for Data and Objects, 1991

A Formalization of Objects Using Equational Dynamic Logic.
Proceedings of the Deductive and Object-Oriented Databases, 1991

Some Finite-Graph Models for Process Algebra.
Proceedings of the CONCUR '91, 1991

1990
Integrated Specification of Values, Objects and Processes for Object-Oriented Models (Extended Abstract).
Proceedings of the Second Workshop on Foundations of Models and Languages for Data and Objects, 1990

Equational Specification of Dynamic Objects.
Proceedings of the Object-Oriented Databases: Analysis, 1990

1989
Specifying Dynamic and Deontic Integrity Constraints.
Data Knowl. Eng., 1989

A Specification Language for Static, Dynamic and Deontic Integrity Constraints.
Proceedings of the MFDBS 89, 1989

Three Roles of Conceptual Models in Information System Design and Use.
Proceedings of the Information System Concepts: An In-depth Analysis, 1989

1988
Algebraic Specification of Object Dynamics in Knowledge Base Domains.
Proceedings of the IFIP TC2/TC8/WG 2.6/WG 8.1 Working Conference on the Role of Artificial Intelligence in Databases and Information Systems, 1988


  Loading...