 | 2009 |
|---|
| 111 |       | Pascal van Eck,
Jaap Gordijn,
Roel Wieringa:
Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings
Springer 2009 |
| 110 | | Virginia N. L. Franqueira,
Pascal van Eck,
Roel Wieringa,
Raul H. C. Lopes:
A Mobile Ambients-Based Approach for Network Attack Modelling and Simulation.
ARES 2009: 546-553 |
| 109 | | André van Cleeff,
Wolter Pieters,
Roel Wieringa:
Security Implications of Virtualization: A Literature Study.
CSE (3) 2009: 353-358 |
| 108 | | Nelly Condori-Fernández,
Maya Daneva,
Klaas Sikkel,
Roel Wieringa,
Óscar Dieste Tubío,
Oscar Pastor:
A systematic mapping study on empirical evaluation of software requirements specifications techniques.
ESEM 2009: 502-505 |
| 107 |  | Lianne Bodenstaff,
Andreas Wombacher,
Roel Wieringa,
Michael C. Jaeger,
Manfred Reichert:
Monitoring Service Compositions in MoDe4SLA - Design of Validation.
ICEIS (4) 2009: 114-121 |
| 106 | | Roel Wieringa:
Design Science and Software Engineering.
ICSOFT (1) 2009: 5 |
| 105 | | Roel Wieringa,
Hans Heerkens,
Björn Regnell:
How to Write and Read a Scientific Evaluation Paper.
RE 2009: 361-364 |
| 104 | | Silja Eckartz,
Maya Daneva,
Roel Wieringa,
Jos van Hillegersberg:
Cross-organizational ERP management: how to create a successful business case?
SAC 2009: 1599-1604 |
| 103 | | Lianne Bodenstaff,
Roel Wieringa,
Andreas Wombacher,
Manfred Reichert:
Towards Management of Complex Service Compositions - Position Paper.
SERVICES II 2009: 160-167 |
| 102 | | Martin Glinz,
Patrick Heymans,
Anne Persson,
Guttorm Sindre,
Aybüke Aurum,
Nazim H. Madhavji,
Barbara Paech,
Gil Regev,
Roel Wieringa:
Report on the working conference on requirements engineering: foundation for software quality (REFSQ'09).
ACM SIGSOFT Software Engineering Notes 34(5): 40-45 (2009) |
| 101 | | Valeria de Castro,
Esperanza Marcos,
Roel Wieringa:
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. 18(2): 225-260 (2009) |
| 2008 |
|---|
| 100 | | Lianne Bodenstaff,
Andreas Wombacher,
Roel Wieringa,
Manfred Reichert:
An Approach for Maintaining Models of an E-commerce Collaboration.
CEC/EEE 2008: 239-246 |
| 99 | | Roel Wieringa,
Vincent Pijpers,
Lianne Bodenstaff,
Jaap Gordijn:
Value-Driven Coordination Process Design Using Physical Delivery Models.
ER 2008: 216-231 |
| 98 | | Roel Wieringa,
J. M. G. Heerkens:
Design Science, Engineering Science and Requirements Engineering.
RE 2008: 310-313 |
| 97 | | Jaap Gordijn,
Sybren de Kinderen,
Roel Wieringa:
Value-driven Service Matching.
RE 2008: 67-70 |
| 96 | | Jelena Marincic,
Angelika Mader,
Roel Wieringa:
Classifying Assumptions Made during Requirements Verification of Embedded Systems.
REFSQ 2008: 141-146 |
| 95 | | 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 |
| 94 | | Novica Zarvic,
Roel Wieringa,
Pascal van Eck:
Checking the alignment of value-based business models and IT functionality.
SAC 2008: 607-613 |
| 93 | | Roel Wieringa:
Operational Business-IT Alignment in Value Webs.
UNISCON 2008: 371-378 |
| 92 | | Novica Zarvic,
Roel Wieringa,
Pascal van Eck:
On Quality Issues in Networked Value Constellations.
Virtual Enterprises and Collaborative Networks 2008: 425-432 |
| 91 | | Maya Daneva,
Roel Wieringa:
Cost estimation for cross-organizational ERP projects: research perspectives.
Software Quality Journal 16(3): 459-481 (2008) |
| 2007 |
|---|
| 90 | | 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 |
| 89 | | Novica Zarvic,
Maya Daneva,
Roel Wieringa:
Value-Based Requirements Engineering for Value Webs.
REFSQ 2007: 116-128 |
| 88 | | Maya Daneva,
Mohamad Kassab,
María Laura Ponisio,
Roel Wieringa,
Olga Ormandjieva:
Exploiting a Goal-Decomposition Technique to Prioritize Non-functional Requirements.
WER 2007: 190-196 |
| 87 | | Martin Glinz,
Roel Wieringa:
Guest Editors' Introduction: Stakeholders in Requirements Engineering.
IEEE Software 24(2): 18-20 (2007) |
| 2006 |
|---|
| 86 | | Novica Zarvic,
Roel Wieringa:
An Integrated Enterprise Architecture Framework for Business-IT Alignment.
BUSITAL 2006 |
| 85 | | Warren Harrison,
Roel Wieringa:
Workshop on technology transfer in software engineering.
ICSE 2006: 1024-1025 |
| 84 | | Ed Brinksma,
David Harel,
Angelika Mader,
Perdita Stevens,
Roel Wieringa:
06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS).
MMOSS 2006 |
| 83 | | Ed Brinksma,
David Harel,
Angelika Mader,
Perdita Stevens,
Roel Wieringa:
06351 Summary -- Methods for Modelling Software Systems (MMOSS).
MMOSS 2006 |
| 82 | | Jaap Gordijn,
Michaël Petit,
Roel Wieringa:
Understanding Business Strategies of Networked Value Constellations Using Goal- and Value Modeling.
RE 2006: 126-135 |
| 81 | | Maya Daneva,
Roel Wieringa:
A Coordination Complexity Model to Support Requirements Engineering for Cross-organizational ERP.
RE 2006: 304-307 |
| 80 | | Joanne M. Atlee,
Roel Wieringa:
RE 05: Engineering Successful Products.
IEEE Software 23(3): 16-18 (2006) |
| 79 | | 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) |
| 78 | | 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) |
| 77 | | Maya Daneva,
Roel Wieringa:
A requirements engineering framework for cross-organizational ERP systems.
Requir. Eng. 11(3): 194-204 (2006) |
| 76 | | 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 |
|---|
| 75 | | Pascal van Eck,
Rieko Yamamoto,
Jaap Gordijn,
Roel Wieringa:
Cross-Organizational Workflows: A Classification of Design Decisions.
CAiSE Short Paper Proceedings 2005 |
| 74 | | Stanislav Pokraev,
Manfred Reichert,
Maarten W. A. Steen,
Roel Wieringa:
Semantic and Pragmatic Interoperability: A Model for Understanding.
EMOI-INTEROP 2005 |
| 73 | | Wiebe Hordijk,
Roel Wieringa:
Surveying the factors that influence maintainability: research design.
ESEC/SIGSOFT FSE 2005: 385-388 |
| 72 | | Pascal van Eck,
Rieko Yamamoto,
Jaap Gordijn,
Roel Wieringa:
Cross-Organizational Workflows: A Classification of Design Decisions.
I3E 2005: 449-463 |
| 71 | | 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 | | Ana Ivanovic,
Aga Matysiak,
Klaas Sikkel,
Roel Wieringa:
Eliciting User Requirements for Ambient Intelligent Systems: A Case Study.
RE 2005: 477-478 |
| 69 | | Maya Daneva,
Roel Wieringa:
Requirements Engineering for Cross-organizational ERP Implementation: Undocumented Assumptions and Potential Mismatches.
RE 2005: 63-74 |
| 68 | | Roel Wieringa,
Jaap Gordijn:
Value-oriented design of service coordination processes: correctness and trust.
SAC 2005: 1320-1327 |
| 67 | | Zlatko Zlatev,
Maya Daneva,
Roel Wieringa:
Multi-Perspective Requirements Engineering for Networked Business Systems: A Framework for Pattern Composition.
WER 2005: 26-37 |
| 66 | | Roel Wieringa:
Requirements researchers: are we really doing research?.
Requir. Eng. 10(4): 304-306 (2005) |
| 2004 |
|---|
| 65 | | 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 | | Pascal van Eck,
Jaap Gordijn,
Roel Wieringa:
Value-Based Design of Collaboration Processes for e-Commerce.
EEE 2004: 349-358 |
| 62 | | Pascal van Eck,
Roel Wieringa,
Jaap Gordijn:
Risk-Driven Conceptual Modeling of Outsourcing Decisions.
ER 2004: 709-723 |
| 61 | | Roel Wieringa:
Requirements Engineering: Problem Analysis and Solution Specification (Extended Abstract).
ICWE 2004: 13-16 |
| 60 | | Jaap Gordijn,
Vera Kartseva,
Joost Schildwacht,
Roel Wieringa,
Hans Akkermans:
Developing a Domain-Specific Cross-Organizational RE Method.
RE 2004: 134-143 |
| 59 | | 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 | | Roel Wieringa,
Christof Ebert:
Guest Editors' Introduction: RE'03--Practical Requirements Engineering Solutions.
IEEE Software 21(2): 16-18 (2004) |
| 57 | | Rik Eshuis,
Roel Wieringa:
Tool Support for Verifying UML Activity Diagrams.
IEEE Trans. Software Eng. 30(7): 437-447 (2004) |
| 56 | | 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 | | Roel Wieringa:
Introduction to the RE'03 Special Issue.
Requir. Eng. 9(2): 83-84 (2004) |
| 2003 |
|---|
| 54 | | 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 | | Jaap Gordijn,
Roel Wieringa:
A Value-Oriented Approach to E-business Process Design.
CAiSE 2003: 390-403 |
| 52 | | Daniel M. Berry,
Rick Kazman,
Roel Wieringa:
Second International Workshop on From SofTware Requirements to Architectures (STRAW?03).
ICSE 2003: 797-799 |
| 51 | | 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 | | 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 | | David N. Jansen,
Roel Wieringa:
Extending CTL with Actions and Real Time.
J. Log. Comput. 12(4): 607-621 (2002) |
| 46 | | Emilio Insfrán,
Oscar Pastor,
Roel Wieringa:
Requirements Engineering-Based Conceptual Modelling.
Requir. Eng. 7(2): 61-72 (2002) |
| 45 | | 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 | | Roel Wieringa,
David N. Jansen:
Techniques for Reactive System Design: The Tools in TRADE.
CAiSE 2001: 93-107 |
| 43 | | 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 | | 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 | | Roel Wieringa:
Software Requirements Engineering: The Need for Systems Engineering and Literacy.
Requir. Eng. 6(2): 132-134 (2001) |
| 38 | | Paul Spruit,
Roel Wieringa,
John-Jules Ch. Meyer:
Regular database update logics.
Theor. Comput. Sci. 254(1-2): 591-661 (2001) |
| 2000 |
|---|
| 37 | | 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 | | 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 | | 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 | | Roel Wieringa:
A Survey of Structured and Object-Oriented Software Specification Methods and Techniques.
ACM Comput. Surv. 30(4): 459-527 (1998) |
| 30 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 |
