2009 |
99 | EE | Silja Eckartz,
Maya Daneva,
Roel Wieringa,
Jos van Hillegersberg:
Cross-organizational ERP management: how to create a successful business case?
SAC 2009: 1599-1604 |
2008 |
98 | EE | Lianne Bodenstaff,
Andreas Wombacher,
Roel Wieringa,
Manfred Reichert:
An Approach for Maintaining Models of an E-commerce Collaboration.
CEC/EEE 2008: 239-246 |
97 | EE | Roel Wieringa,
Vincent Pijpers,
Lianne Bodenstaff,
Jaap Gordijn:
Value-Driven Coordination Process Design Using Physical Delivery Models.
ER 2008: 216-231 |
96 | EE | Roel Wieringa,
J. M. G. Heerkens:
Design Science, Engineering Science and Requirements Engineering.
RE 2008: 310-313 |
95 | EE | Jaap Gordijn,
Sybren de Kinderen,
Roel Wieringa:
Value-driven Service Matching.
RE 2008: 67-70 |
94 | EE | Jelena Marincic,
Angelika Mader,
Roel Wieringa:
Classifying Assumptions Made during Requirements Verification of Embedded Systems.
REFSQ 2008: 141-146 |
93 | EE | Jaap Gordijn,
Hans Weigand,
Manfred Reichert,
Roel Wieringa:
Towards self-configuration and management of e-service provisioning in dynamic value constellations.
SAC 2008: 566-571 |
92 | EE | Novica Zarvic,
Roel Wieringa,
Pascal van Eck:
Checking the alignment of value-based business models and IT functionality.
SAC 2008: 607-613 |
91 | EE | Roel Wieringa:
Operational Business-IT Alignment in Value Webs.
UNISCON 2008: 371-378 |
90 | EE | Novica Zarvic,
Roel Wieringa,
Pascal van Eck:
On Quality Issues in Networked Value Constellations.
Virtual Enterprises and Collaborative Networks 2008: 425-432 |
89 | EE | Maya Daneva,
Roel Wieringa:
Cost estimation for cross-organizational ERP projects: research perspectives.
Software Quality Journal 16(3): 459-481 (2008) |
2007 |
88 | | Ed Brinksma,
David Harel,
Angelika Mader,
Perdita Stevens,
Roel Wieringa:
Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 |
87 | EE | Novica Zarvic,
Maya Daneva,
Roel Wieringa:
Value-Based Requirements Engineering for Value Webs.
REFSQ 2007: 116-128 |
86 | EE | Martin Glinz,
Roel Wieringa:
Guest Editors' Introduction: Stakeholders in Requirements Engineering.
IEEE Software 24(2): 18-20 (2007) |
2006 |
85 | EE | Novica Zarvic,
Roel Wieringa:
An Integrated Enterprise Architecture Framework for Business-IT Alignment.
BUSITAL 2006 |
84 | EE | Warren Harrison,
Roel Wieringa:
Workshop on technology transfer in software engineering.
ICSE 2006: 1024-1025 |
83 | EE | Ed Brinksma,
David Harel,
Angelika Mader,
Perdita Stevens,
Roel Wieringa:
06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS).
MMOSS 2006 |
82 | EE | Ed Brinksma,
David Harel,
Angelika Mader,
Perdita Stevens,
Roel Wieringa:
06351 Summary -- Methods for Modelling Software Systems (MMOSS).
MMOSS 2006 |
81 | EE | Jaap Gordijn,
Michaël Petit,
Roel Wieringa:
Understanding Business Strategies of Networked Value Constellations Using Goal- and Value Modeling.
RE 2006: 126-135 |
80 | EE | Maya Daneva,
Roel Wieringa:
A Coordination Complexity Model to Support Requirements Engineering for Cross-organizational ERP.
RE 2006: 304-307 |
79 | EE | Joanne M. Atlee,
Roel Wieringa:
RE 05: Engineering Successful Products.
IEEE Software 23(3): 16-18 (2006) |
78 | EE | Henk Jonkers,
Marc M. Lankhorst,
Hugo W. L. ter Doest,
Farhad Arbab,
Hans Bosma,
Roel Wieringa:
Enterprise architecture: Management tool and blueprint for the organisation.
Information Systems Frontiers 8(2): 63-66 (2006) |
77 | EE | Roel Wieringa,
Neil A. M. Maiden,
Nancy R. Mead,
Colette Rolland:
Requirements engineering paper classification and evaluation criteria: a proposal and a discussion.
Requir. Eng. 11(1): 102-107 (2006) |
76 | EE | Maya Daneva,
Roel Wieringa:
A requirements engineering framework for cross-organizational ERP systems.
Requir. Eng. 11(3): 194-204 (2006) |
75 | EE | Roel Wieringa,
J. M. G. Heerkens:
The methodological soundness of requirements engineering papers: a conceptual framework and two case studies.
Requir. Eng. 11(4): 295-307 (2006) |
2005 |
74 | EE | Pascal van Eck,
Rieko Yamamoto,
Jaap Gordijn,
Roel Wieringa:
Cross-Organizational Workflows: A Classification of Design Decisions.
CAiSE Short Paper Proceedings 2005 |
73 | EE | Stanislav Pokraev,
Manfred Reichert,
Maarten W. A. Steen,
Roel Wieringa:
Semantic and Pragmatic Interoperability: A Model for Understanding.
EMOI-INTEROP 2005 |
72 | EE | Wiebe Hordijk,
Roel Wieringa:
Surveying the factors that influence maintainability: research design.
ESEC/SIGSOFT FSE 2005: 385-388 |
71 | EE | Andreas Wombacher,
Roel Wieringa,
Willem Jonker,
Predrag Knezevic,
Stanislav Pokraev:
Requirements for Secure Logging of Decentralized Cross-Organizational Workflow Executions.
OTM Workshops 2005: 526-536 |
70 | EE | Ana Ivanovic,
Aga Matysiak,
Klaas Sikkel,
Roel Wieringa:
Eliciting User Requirements for Ambient Intelligent Systems: A Case Study.
RE 2005: 477-478 |
69 | EE | Maya Daneva,
Roel Wieringa:
Requirements Engineering for Cross-organizational ERP Implementation: Undocumented Assumptions and Potential Mismatches.
RE 2005: 63-74 |
68 | EE | Roel Wieringa,
Jaap Gordijn:
Value-oriented design of service coordination processes: correctness and trust.
SAC 2005: 1320-1327 |
67 | EE | Zlatko Zlatev,
Maya Daneva,
Roel Wieringa:
Multi-Perspective Requirements Engineering for Networked Business Systems: A Framework for Pattern Composition.
WER 2005: 26-37 |
66 | EE | Roel Wieringa:
Requirements researchers: are we really doing research?.
Requir. Eng. 10(4): 304-306 (2005) |
2004 |
65 | EE | Pieter H. Hartel,
Pascal van Eck,
Sandro Etalle,
Roel Wieringa:
Modelling Mobility Aspects of Security Policies.
CASSIS 2004: 172-191 |
64 | | Stanislav Pokraev,
Roel Wieringa,
Maarten W. A. Steen:
Towards Semantic Service Specification and Discovery.
CAiSE Workshops (3) 2004: 363-367 |
63 | EE | Pascal van Eck,
Jaap Gordijn,
Roel Wieringa:
Value-Based Design of Collaboration Processes for e-Commerce.
EEE 2004: 349-358 |
62 | EE | Pascal van Eck,
Roel Wieringa,
Jaap Gordijn:
Risk-Driven Conceptual Modeling of Outsourcing Decisions.
ER 2004: 709-723 |
61 | EE | Roel Wieringa:
Requirements Engineering: Problem Analysis and Solution Specification (Extended Abstract).
ICWE 2004: 13-16 |
60 | EE | Jaap Gordijn,
Vera Kartseva,
Joost Schildwacht,
Roel Wieringa,
Hans Akkermans:
Developing a Domain-Specific Cross-Organizational RE Method.
RE 2004: 134-143 |
59 | EE | Daniel M. Berry,
Rick Kazman,
Roel Wieringa:
Second International Workshop on From SofTware Requirements to Architectures (STRAW'03).
ACM SIGSOFT Software Engineering Notes 29(3): 1-5 (2004) |
58 | EE | Roel Wieringa,
Christof Ebert:
Guest Editors' Introduction: RE'03--Practical Requirements Engineering Solutions.
IEEE Software 21(2): 16-18 (2004) |
57 | EE | Rik Eshuis,
Roel Wieringa:
Tool Support for Verifying UML Activity Diagrams.
IEEE Trans. Software Eng. 30(7): 437-447 (2004) |
56 | EE | Pascal van Eck,
Henk M. Blanken,
Roel Wieringa:
Project Graal: Towards Operational Architecture Alignment.
Int. J. Cooperative Inf. Syst. 13(3): 235-255 (2004) |
55 | EE | Roel Wieringa:
Introduction to the RE'03 Special Issue.
Requir. Eng. 9(2): 83-84 (2004) |
2003 |
54 | EE | Roel Wieringa,
Henk M. Blanken,
Maarten M. Fokkinga,
Paul W. P. J. Grefen:
Aligning Application Architecture to the Business Context.
CAiSE 2003: 209-225 |
53 | EE | Jaap Gordijn,
Roel Wieringa:
A Value-Oriented Approach to E-business Process Design.
CAiSE 2003: 390-403 |
52 | EE | Daniel M. Berry,
Rick Kazman,
Roel Wieringa:
Second International Workshop on From SofTware Requirements to Architectures (STRAW?03).
ICSE 2003: 797-799 |
51 | EE | Rik Eshuis,
Roel Wieringa:
Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets.
Petri Net Technology for Communication-Based Systems 2003: 321-351 |
2002 |
50 | EE | Rik Eshuis,
Roel Wieringa:
Verification support for workflow design with UML activity graphs.
ICSE 2002: 166-176 |
49 | | Jan Broersen,
John-Jules Ch. Meyer,
Roel Wieringa:
The mutual exclusion problem in reasoning about action and change.
NMR 2002: 365-371 |
48 | | Jan Broersen,
Roel Wieringa,
John-Jules Ch. Meyer:
A Fixed-point Characterization of a Deontic Logic of Regular Action.
Fundam. Inform. 49(4): 107-128 (2002) |
47 | EE | David N. Jansen,
Roel Wieringa:
Extending CTL with Actions and Real Time.
J. Log. Comput. 12(4): 607-621 (2002) |
46 | EE | Emilio Insfrán,
Oscar Pastor,
Roel Wieringa:
Requirements Engineering-Based Conceptual Modelling.
Requir. Eng. 7(2): 61-72 (2002) |
45 | EE | Rik Eshuis,
David N. Jansen,
Roel Wieringa:
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts.
Requir. Eng. 7(4): 243-263 (2002) |
2001 |
44 | EE | Roel Wieringa,
David N. Jansen:
Techniques for Reactive System Design: The Tools in TRADE.
CAiSE 2001: 93-107 |
43 | EE | Rik Eshuis,
Roel Wieringa:
A Real-Time Execution Semantics for UML Activity Diagrams.
FASE 2001: 76-90 |
42 | | Pascal van Eck,
Roel Wieringa:
An Investigation into Agency Requirements in E-Business Information Systems.
ICEIS (2) 2001: 1081-1085 |
41 | EE | Rik Eshuis,
Roel Wieringa:
An Execution Algorithm for UML Activity Graphs.
UML 2001: 47-61 |
40 | | Jan Broersen,
Roel Wieringa,
John-Jules Ch. Meyer:
A Fixed-point Characterization of a Deontic Logic of Regular Action.
Fundam. Inform. 48(2-3): 107-128 (2001) |
39 | EE | Roel Wieringa:
Software Requirements Engineering: The Need for Systems Engineering and Literacy.
Requir. Eng. 6(2): 132-134 (2001) |
38 | EE | Paul Spruit,
Roel Wieringa,
John-Jules Ch. Meyer:
Regular database update logics.
Theor. Comput. Sci. 254(1-2): 591-661 (2001) |
2000 |
37 | EE | Jan Broersen,
Roel Wieringa,
John-Jules Ch. Meyer:
A Semantics for Persistency in Propositional Dynamic Logic.
Computational Logic 2000: 912-925 |
36 | | Rik Eshuis,
Roel Wieringa:
Requirements Level Semantics for UML Statecharts.
FMOODS 2000: 121- |
35 | EE | Roel Wieringa:
The Declarative Problem Frame: Designing Systems that Create and Use Norms.
IWSSD 2000: 75-86 |
1999 |
34 | | Roel Wieringa,
Egidio Astesiano,
Gianna Reggio,
Alain Le Guennec,
Heinrich Hußmann,
Klaas van den Berg,
Pim van den Broek:
Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues?
ECOOP Workshops 1999: 49-55 |
33 | | Jan Broersen,
Roel Wieringa:
A Logic for the Specification of Multi-Object Systems (Short Paper).
FMOODS 1999 |
1998 |
32 | EE | John-Jules Ch. Meyer,
Roel Wieringa,
Frank Dignum:
The Role of Deontic Logic in the Specification of Information Systems.
Logics for Databases and Information Systems 1998: 71-115 |
31 | EE | Roel Wieringa:
A Survey of Structured and Object-Oriented Software Specification Methods and Techniques.
ACM Comput. Surv. 30(4): 459-527 (1998) |
30 | EE | Roel Wieringa,
Eric Dubois:
Integrating Semi-Formal and Formal Software Specification Techniques.
Inf. Syst. 23(3-4): 159-178 (1998) |
1997 |
29 | | Roel Wieringa,
Eric Dubois,
Sander Huyts:
Integrating Semi-formal and Formal Requirements.
CAiSE 1997: 19-32 |
28 | EE | Roel Wieringa:
Advanced Object-Oriented Requirements Specification Methods.
RE 1997: 266 |
27 | | Roel Wieringa:
Postmodern Software Design with NYAM: Not Yet Another Method.
Requirements Targeting Software and Systems Engineering 1997: 69-94 |
1996 |
26 | | Frank Dignum,
John-Jules Ch. Meyer,
Roel Wieringa,
Ruurd Kuiper:
A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation.
DEON 1996: 80-97 |
25 | EE | Jan Broersen,
Remco Feenstra,
Roel Wieringa:
Minimal Semantics for Action Specifications in a Multi-modal Logic.
FMLDO 1996: 1-10 |
24 | | P. d'Altan,
John-Jules Ch. Meyer,
Roel Wieringa:
An Integrated Framework for Ought-to-Be and Ought-to-Do Constraints.
Artif. Intell. Law 4(2): 77-111 (1996) |
23 | | Roel Wieringa,
Gunter Saake:
Formal Analysis of the Shlaer-Mellor Method: Towards a Toolkit of Formal and Informal Requirements Specification Techniques.
Requir. Eng. 1(2): 106-131 (1996) |
22 | | Frank Dignum,
John-Jules Ch. Meyer,
Roel Wieringa:
Free Choice and Contextually Permitted Actions.
Studia Logica 57(1): 193-220 (1996) |
1995 |
21 | | Roel Wieringa:
LCM and MCM.
Formal Development of Reactive Systems 1995: 333-355 |
20 | | Roel Wieringa:
Combining Static and Dynamic Modelling Methods: A Comparison of Four Methods.
Comput. J. 38(1): 17-30 (1995) |
19 | | Paul Spruit,
Roel Wieringa,
John-Jules Ch. Meyer:
Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases.
J. Log. Comput. 5(1): 27-70 (1995) |
18 | | Roel Wieringa,
Wiebren de Jonge,
Paul Spruit:
Using Dynamic Classes and Role Classes to Model Object Migration.
TAPOS 1(1): 61-83 (1995) |
17 | | Roel Wieringa,
Wiebren de Jonge:
Object Identifiers, Keys, and Surrogates: Object Identifiers Revisited.
TAPOS 1(2): 101-114 (1995) |
1994 |
16 | EE | Roel Wieringa,
Wiebren de Jonge,
Paul Spruit:
Roles and Dynamic Subclasses: A Modal Logic Approach.
ECOOP 1994: 32-59 |
15 | | Ralf Jungclaus,
Roel Wieringa,
Peter Hartel,
Gunter Saake,
Thorsten Hartmann:
Combining TROLL with the Object Modeling Technique.
GI Jahrestagung 1994: 35-42 |
1993 |
14 | | Roel Wieringa,
John-Jules Ch. Meyer:
Actors, Actions, and Initiative in Normative System Specification.
Ann. Math. Artif. Intell. 7(1-4): 289-346 (1993) |
1992 |
13 | | Paul Spruit,
Roel Wieringa,
John-Jules Ch. Meyer:
Dynamic Database Logic: the First-order Case.
FMLDO 1992: 103-120 |
1991 |
12 | | Paul Spruit,
Roel Wieringa:
Some Finite-Graph Models for Process Algebra.
CONCUR 1991: 495-509 |
11 | | Roel Wieringa:
A Formalization of Objects Using Equational Dynamic Logic.
DOOD 1991: 431-452 |
10 | | Paul Spruit,
John-Jules Ch. Meyer,
Roel Wieringa:
Discussion Issues for a Working Group on Update Semantics of Logic Databases.
FMLDO 1991: 209-210 |
9 | EE | Roel Wieringa,
John-Jules Ch. Meyer:
Actor-Oriented Specification of Deontic Integrity Constraints.
MFDBS 1991: 89-103 |
8 | | John-Jules Ch. Meyer,
Roel Wieringa:
Actor-Oriented System Specification with Dynamic Logic.
TAPSOFT, Vol.2 1991: 337-357 |
7 | | Roel Wieringa,
Hans Weigand,
John-Jules Ch. Meyer,
Frank Dignum:
The Inheritance of Dynamic and Deontic Integrity Constraints.
Ann. Math. Artif. Intell. 3(2-4): 393-428 (1991) |
6 | | Roel Wieringa:
Steps towards a method for the formal modeling of dynamic objects.
Data Knowl. Eng. 6: 509-540 (1991) |
1990 |
5 | | Roel Wieringa:
Equational Specification of Dynamic Objects.
DS-4 1990: 415-438 |
4 | | Roel Wieringa:
Integrated Specification of Values, Objects and Processes for Object-Oriented Models (Extended Abstract).
FMLDO 1990: 199-208 |
1989 |
3 | EE | John-Jules Ch. Meyer,
Hans Weigand,
Roel Wieringa:
A Specification Language for Static, Dynamic and Deontic Integrity Constraints.
MFDBS 1989: 347-366 |
2 | | Roel Wieringa,
John-Jules Ch. Meyer,
Hans Weigand:
Specifying Dynamic and Deontic Integrity Constraints.
Data Knowl. Eng. 4: 157-189 (1989) |
1988 |
1 | | Roel Wieringa,
Reind P. van de Riet:
Algebraic Specification of Object Dynamics in Knowledge Base Domains.
DS-3 1988: 411-436 |