Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Roel Wieringa
2010 – today
- 2013
[j44]Jelena Marincic, Angelika Mader, Roel Wieringa, Yan Lucas: Reusing knowledge in embedded systems modelling. Expert Systems 30(3): 185-199 (2013)- [j43]Maya Daneva, Egbert van der Veen, Chintan Amrit, Smita Ghaisas, Klaas Sikkel, Ramesh Kumar, Nirav Ajmeri, Uday Ramteerthkar, Roel Wieringa: Agile requirements prioritization in large-scale outsourced system projects: An empirical study. Journal of Systems and Software 86(5): 1333-1353 (2013)
- [j42]Tony Clark, Gabor Karsai, Roel Wieringa, Robert B. France, Bernhard Rumpe: A newly introduced Industry Voice Column. Software and System Modeling 12(3): 441-442 (2013)
- [c117]Mohammad Zarifi Eslami, Brahmananda Sapkota, Andrea Herrmann, Alireza Zarghami, Marten van Sinderen, Roel Wieringa: Risk Driven Requirements Specification (RiDeRS) of IT-based Homecare Systems. CAiSE Forum 2013: 88-97
- [c116]Henry Prakken, Dan Ionita, Roel Wieringa: Risk Assessment as an Argumentation Game. CLIMA 2013: 357-373
- [c115]Renata S. S. Guizzardi, Xavier Franch, Giancarlo Guizzardi, Roel Wieringa: Using a Foundational Ontology to Investigate the Semantics Behind the Concepts of the i* Language. iStar 2013: 13-18
- [c114]
- [c113]Mohammad Zarifi Eslami, Alireza Zarghami, Marten van Sinderen, Roel Wieringa: Care-giver tailoring of IT-based healthcare services for elderly at home: A field test and its results. PervasiveHealth 2013: 216-223
- [c112]Daniel Méndez Fernández, Roel Wieringa: Improving Requirements Engineering by Artefact Orientation. PROFES 2013: 108-122
- [e5]Roel Wieringa, Selmin Nurcan, Colette Rolland, Jean-Louis Cavarero (Eds.): IEEE 7th International Conference on Research Challenges in Information Science, RCIS 2013, Paris, France, May 29-31, 2013. IEEE 2013, ISBN 978-1-4673-2912-5
- 2012
- [j41]Virginia N. L. Franqueira, Roel Wieringa: Role-Based Access Control in Retrospect. IEEE Computer 45(6): 81-88 (2012)
- [j40]Emmanuele Zambon, Sandro Etalle, Roel Wieringa: A2thOS: availability analysis and optimisation in SLAs. Int. Journal of Network Management 22(2): 104-130 (2012)
- [c111]Hassan Fatemi, Marten van Sinderen, Roel Wieringa: Managing Trust in Business Webs Using Game Theory. AINA Workshops 2012: 1349-1354
- [c110]Mohammad Zarifi Eslami, Brahmananda Sapkota, Alireza Zarghami, Eelco Vriezekolk, Marten van Sinderen, Roel Wieringa: Risk Identification of Tailorable Context-aware Systems: a Case Study and Lessons Learned. CAiSE Forum 2012: 40-49
- [c109]Roel Wieringa: Designing Technical Action Research and Generalizing from Real-World Cases. CAiSE 2012: 697-698
- [c108]Roel Wieringa, Ayse Morali: Technical Action Research as a Validation Method in Information Systems Design Science. DESRIST 2012: 220-238
- [c107]Roel Wieringa: Towards a unified checklist for empirical research in software engineering: first proposal. EASE 2012: 161-165
- [c106]Roel Wieringa, Nelly Condori-Fernández, Maya Daneva, Bela Mutschler, Oscar Pastor: Lessons learned from evaluating a checklist for reporting experimental and observational research. ESEM 2012: 157-160
- [c105]Silja Mareike Eckartz, Christiaan Katsma, Roel Wieringa: Using Value Models to Improve the Cost/Benefit Analysis of Inter-Organizational System Implementations. PRO-VE 2012: 529-538
- [c104]Hassan Fatemi, Marten van Sinderen, Roel Wieringa: A Trust Ontology for Business Collaborations. PoEM (Short Papers) 2012
- [c103]Jaap Gordijn, Iván S. Razo-Zapata, Pieter De Leenheer, Roel Wieringa: Challenges in Service Value Network Composition. PoEM 2012: 91-100
- [c102]Wilco Engelsman, Roel Wieringa: Goal-Oriented Requirements Engineering and Enterprise Architecture: Two Case Studies and Some Lessons Learned. REFSQ 2012: 306-320
- [c101]Jelena Marincic, Angelika Mader, Roel Wieringa: Explaining Embedded Software Modelling Decisions. SwSTE 2012: 80-89
- 2011
- [j39]Jan Recker, Bela Mutschler, Roel Wieringa: Empirical research in business process management: introduction to the special issue. Inf. Syst. E-Business Management 9(3): 303-306 (2011)
- [j38]André van Cleeff, Wolter Pieters, Roel Wieringa, Frits van Tiel: Integrated assessment and mitigation of physical and digital security threats: Case studies on virtualization. Inf. Sec. Techn. Report 16(3-4): 142-149 (2011)
- [j37]Emmanuele Zambon, Sandro Etalle, Roel Wieringa, Pieter H. Hartel: Model-based qualitative risk assessment for availability of IT infrastructures. Software and System Modeling 10(4): 553-580 (2011)
- [c100]Andrea Herrmann, Ayse Morali, Sandro Etalle, Roel Wieringa: Risk and Business Goal Based Security Requirement and Countermeasure Prioritization. BIR Workshops 2011: 64-76
- [c99]Hassan Fatemi, Marten van Sinderen, Roel Wieringa: Value-Oriented Coordination Process Model Engineering. CAiSE Workshops 2011: 41-44
- [c98]
- [c97]Roel Wieringa, Maya Daneva, Nelly Condori-Fernández: The Structure of Design Theories, and an Analysis of their Use in Software Engineering Experiments. ESEM 2011: 295-304
- [c96]André van Cleeff, Trajce Dimkov, Wolter Pieters, Roel Wieringa: Realizing Security Requirements with Physical Properties: A Case Study on Paper Voting. ICITCS 2011: 51-67
- [c95]Hassan Fatemi, Marten van Sinderen, Roel Wieringa: E3value to BPMN Model Transformation. PRO-VE 2011: 333-340
- [c94]Jelena Marincic, Angelika Mader, Roel Wieringa: Validation of embedded system verification models. MoDRE 2011: 48-54
- [c93]Virginia N. L. Franqueira, Thein Than Tun, Yijun Yu, Roel Wieringa, Bashar Nuseibeh: Risk and argument: A risk-based argumentation method for practical security. RE 2011: 239-248
- [c92]Zornitza Bakalova, Maya Daneva, Andrea Herrmann, Roel Wieringa: Agile Requirements Prioritization: What Happens in Practice and What Is Described in Literature. REFSQ 2011: 181-195
- [e4]Úlfar Erlingsson, Roel Wieringa, Nicola Zannone (Eds.): Engineering Secure Software and Systems - Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings. Lecture Notes in Computer Science 6542, Springer 2011, ISBN 978-3-642-19124-4
- [i1]Sergio España, Nelly Condori-Fernández, Roel Wieringa, Arturo González, Oscar Pastor: Model-driven system development: Experimental design and report of the pilot experiment. CoRR abs/1111.0562 (2011)
- 2010
- [j36]Lianne Bodenstaff, Andreas Wombacher, Manfred Reichert, Roel Wieringa: MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations. Service Oriented Computing and Applications 4(3): 203-228 (2010)
- [c91]Virginia N. L. Franqueira, André van Cleeff, Pascal van Eck, Roel Wieringa: External Insider Threat: A Real Security Challenge in Enterprise Value Webs. ARES 2010: 446-453
- [c90]Hassan Fatemi, Marten van Sinderen, Roel Wieringa: Value-Oriented Coordination Process Modeling. BPM 2010: 162-177
- [c89]Wiebe Hordijk, Roel Wieringa: Rationality of Cross-System Data Duplication: A Case Study. CAiSE 2010: 68-82
- [c88]Ayse Morali, Emmanuele Zambon, Sandro Etalle, Roel Wieringa: CRAC: Confidentiality risk assessment and IT-infrastructure comparison. CNSM 2010: 322-325
- [c87]
- [c86]
- [c85]Zornitza Racheva, Maya Daneva, Andrea Herrmann, Roel Wieringa: A conceptual model and process for client-driven agile requirements prioritization. RCIS 2010: 287-298
- [c84]Zornitza Racheva, Maya Daneva, Klaas Sikkel, Andrea Herrmann, Roel Wieringa: Do We Know Enough about Requirements Prioritization in Agile Projects: Insights from a Case Study. RE 2010: 147-156
- [c83]Ayse Morali, Roel Wieringa: Risk-based Confidentiality Requirements Specification for Outsourced IT Systems. RE 2010: 199-208
- [e3]Roel Wieringa, Anne Persson (Eds.): Requirements Engineering: Foundation for Software Quality, 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30 - July 2, 2010. Proceedings. Lecture Notes in Computer Science 6182, Springer 2010, ISBN 978-3-642-14191-1
2000 – 2009
- 2009
- [j35]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)
- [j34]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)
- [c82]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
- [c81]Bela Mutschler, Jan Recker, Roel Wieringa: Introduction to the First International Workshop on Empirical Research in Business Process Management (ER-BPM 2009). Business Process Management Workshops 2009: 427-428
- [c80]André van Cleeff, Wolter Pieters, Roel Wieringa: Security Implications of Virtualization: A Literature Study. CSE (3) 2009: 353-358
- [c79]
- [c78]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
- [c77]Lianne Bodenstaff, Andreas Wombacher, Roel Wieringa, Michael C. Jaeger, Manfred Reichert: Monitoring Service Compositions in MoDe4SLA - Design of Validation. ICEIS (4) 2009: 114-121
- [c76]
- [c75]Hassan Fatemi, Marten van Sinderen, Roel Wieringa: From Business Value Model to Coordination Process Model. IWEI 2009: 94-106
- [c74]Roel Wieringa, Hans Heerkens, Björn Regnell: How to Write and Read a Scientific Evaluation Paper. RE 2009: 361-364
- [c73]Silja Eckartz, Maya Daneva, Roel Wieringa, Jos van Hillegersberg: Cross-organizational ERP management: how to create a successful business case? SAC 2009: 1599-1604
- [c72]Lianne Bodenstaff, Roel Wieringa, Andreas Wombacher, Manfred Reichert: Towards Management of Complex Service Compositions - Position Paper. SERVICES II 2009: 160-167
- [c71]Nelly Condori-Fernández, Maya Daneva, Klaas Sikkel, Roel Wieringa, Oscar Dieste, Oscar Pastor: Research Findings on Empirical Evaluation of Requirements Specifications Approaches. WER 2009
- [e2]Pascal van Eck, Jaap Gordijn, Roel Wieringa (Eds.): Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings. Lecture Notes in Computer Science 5565, Springer 2009, ISBN 978-3-642-02143-5
- 2008
- [j33]Maya Daneva, Roel Wieringa: Cost estimation for cross-organizational ERP projects: research perspectives. Software Quality Journal 16(3): 459-481 (2008)
- [c70]Roel Wieringa: Real-World Semantics of Conceptual Models. The Evolution of Conceptual Modeling 2008: 1-20
- [c69]Roberto Santana Tapia, Maya Daneva, Pascal van Eck, Roel Wieringa: Towards a business-IT aligned maturity model for collaborative networked organizations. EDOCW 2008: 276-287
- [c68]Roel Wieringa, Vincent Pijpers, Lianne Bodenstaff, Jaap Gordijn: Value-Driven Coordination Process Design Using Physical Delivery Models. ER 2008: 216-231
- [c67]Novica Zarvic, Roel Wieringa, Pascal van Eck: On Quality Issues in Networked Value Constellations. Virtual Enterprises and Collaborative Networks 2008: 425-432
- [c66]
- [c65]
- [c64]Roel Wieringa, J. M. G. Heerkens: Design Science, Engineering Science and Requirements Engineering. RE 2008: 310-313
- [c63]Jelena Marincic, Angelika Mader, Roel Wieringa: Classifying Assumptions Made during Requirements Verification of Embedded Systems. REFSQ 2008: 141-146
- [c62]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
- [c61]Novica Zarvic, Roel Wieringa, Pascal van Eck: Checking the alignment of value-based business models and IT functionality. SAC 2008: 607-613
- [c60]Lianne Bodenstaff, Andreas Wombacher, Roel Wieringa, Manfred Reichert: An Approach for Maintaining Models of an E-commerce Collaboration. CEC/EEE 2008: 239-246
- [c59]
- 2007
- [j32]Martin Glinz, Roel Wieringa: Guest Editors' Introduction: Stakeholders in Requirements Engineering. IEEE Software 24(2): 18-20 (2007)
- [c58]Novica Zarvic, Maya Daneva, Roel Wieringa: Value-Based Requirements Engineering for Value Webs. REFSQ 2007: 116-128
- [c57]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
- [e1]Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa (Eds.): Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006. Dagstuhl Seminar Proceedings 06351, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
- 2006
- [j31]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)
- [j30]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)
- [j29]Maya Daneva, Roel Wieringa: A requirements engineering framework for cross-organizational ERP systems. Requir. Eng. 11(3): 194-204 (2006)
- [j28]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)
- [j27]Joanne M. Atlee, Roel Wieringa: RE 05: Engineering Successful Products. IEEE Software 23(3): 16-18 (2006)
- [c56]Novica Zarvic, Roel Wieringa: An Integrated Enterprise Architecture Framework for Business-IT Alignment. BUSITAL 2006
- [c55]Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Summary -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
- [c54]Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, Roel Wieringa: 06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS). MMOSS 2006
- [c53]Warren Harrison, Roel Wieringa: Workshop on technology transfer in software engineering. ICSE 2006: 1024-1025
- [c52]Jaap Gordijn, Michaël Petit, Roel Wieringa: Understanding Business Strategies of Networked Value Constellations Using Goal- and Value Modeling. RE 2006: 126-135
- [c51]Maya Daneva, Roel Wieringa: A Coordination Complexity Model to Support Requirements Engineering for Cross-organizational ERP. RE 2006: 304-307
- 2005
- [j26]Roel Wieringa: Requirements researchers: are we really doing research?. Requir. Eng. 10(4): 304-306 (2005)
- [c50]Pascal van Eck, Rieko Yamamoto, Jaap Gordijn, Roel Wieringa: Cross-Organizational Workflows: A Classification of Design Decisions. CAiSE Short Paper Proceedings 2005
- [c49]Stanislav Pokraev, Manfred Reichert, Maarten W. A. Steen, Roel Wieringa: Semantic and Pragmatic Interoperability: A Model for Understanding. EMOI-INTEROP 2005
- [c48]Israel Antezana, Emilio Insfrán, Roel Wieringa: Enhancing a Requirements Specification Method with a Vocabulary Acquisition Tool. CIbSE 2005: 71-82
- [c47]Pascal van Eck, Rieko Yamamoto, Jaap Gordijn, Roel Wieringa: Cross-Organizational Workflows: A Classification of Design Decisions. I3E 2005: 449-463
- [c46]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
- [c45]Maya Daneva, Roel Wieringa: Requirements Engineering for Cross-organizational ERP Implementation: Undocumented Assumptions and Potential Mismatches. RE 2005: 63-74
- [c44]Ana Ivanovic, Aga Matysiak, Klaas Sikkel, Roel Wieringa: Eliciting User Requirements for Ambient Intelligent Systems: A Case Study. RE 2005: 477-478
- [c43]Roel Wieringa, Jaap Gordijn: Value-oriented design of service coordination processes: correctness and trust. SAC 2005: 1320-1327
- [c42]Wiebe Hordijk, Roel Wieringa: Surveying the factors that influence maintainability: research design. ESEC/SIGSOFT FSE 2005: 385-388
- [c41]Zlatko Zlatev, Maya Daneva, Roel Wieringa: Multi-Perspective Requirements Engineering for Networked Business Systems: A Framework for Pattern Composition. WER 2005: 26-37
- 2004
- [j25]Pascal van Eck, Henk M. Blanken, Roel Wieringa: Project Graal: Towards Operational Architecture Alignment. Int. J. Cooperative Inf. Syst. 13(3): 235-255 (2004)
- [j24]
- [j23]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)
- [j22]Roel Wieringa, Christof Ebert: Guest Editors' Introduction: RE'03--Practical Requirements Engineering Solutions. IEEE Software 21(2): 16-18 (2004)
- [j21]Rik Eshuis, Roel Wieringa: Tool Support for Verifying UML Activity Diagrams. IEEE Trans. Software Eng. 30(7): 437-447 (2004)
- [c40]Stanislav Pokraev, Roel Wieringa, Maarten W. A. Steen: Towards Semantic Service Specification and Discovery. CAiSE Workshops (3) 2004: 363-367
- [c39]Pieter H. Hartel, Pascal van Eck, Sandro Etalle, Roel Wieringa: Modelling Mobility Aspects of Security Policies. CASSIS 2004: 172-191
- [c38]Pascal van Eck, Jaap Gordijn, Roel Wieringa: Value-Based Design of Collaboration Processes for e-Commerce. EEE 2004: 349-358
- [c37]Pascal van Eck, Roel Wieringa, Jaap Gordijn: Risk-Driven Conceptual Modeling of Outsourcing Decisions. ER 2004: 709-723
- [c36]Roel Wieringa: Requirements Engineering: Problem Analysis and Solution Specification (Extended Abstract). ICWE 2004: 13-16
- [c35]Jaap Gordijn, Vera Kartseva, Joost Schildwacht, Roel Wieringa, Hans Akkermans: Developing a Domain-Specific Cross-Organizational RE Method. RE 2004: 134-143
- 2003
- [b2]Roel Wieringa: Design methods for reactive systems - Yourdon, Statemate, and the UML. Morgan Kaufmann 2003, ISBN 978-1-55860-755-2, pp. I-XXV, 1-456
- [c34]Roel Wieringa, Henk M. Blanken, Maarten M. Fokkinga, Paul W. P. J. Grefen: Aligning Application Architecture to the Business Context. CAiSE 2003: 209-225
- [c33]Jaap Gordijn, Roel Wieringa: A Value-Oriented Approach to E-business Process Design. CAiSE 2003: 390-403
- [c32]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
- [c31]Daniel M. Berry, Rick Kazman, Roel Wieringa: Second International Workshop on From SofTware Requirements to Architectures (STRAW?03). ICSE 2003: 797-799
- 2002
- [j20]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)
- [j19]David N. Jansen, Roel Wieringa: Extending CTL with Actions and Real Time. J. Log. Comput. 12(4): 607-621 (2002)
- [j18]Emilio Insfrán, Oscar Pastor, Roel Wieringa: Requirements Engineering-Based Conceptual Modelling. Requir. Eng. 7(2): 61-72 (2002)
- [j17]Rik Eshuis, David N. Jansen, Roel Wieringa: Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts. Requir. Eng. 7(4): 243-263 (2002)
- [c30]Rik Eshuis, Roel Wieringa: Verification support for workflow design with UML activity graphs. ICSE 2002: 166-176
- [c29]Jan Broersen, John-Jules Ch. Meyer, Roel Wieringa: The mutual exclusion problem in reasoning about action and change. NMR 2002: 365-371
- 2001
- [j16]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)
- [j15]Roel Wieringa: Software Requirements Engineering: The Need for Systems Engineering and Literacy. Requir. Eng. 6(2): 132-134 (2001)
- [j14]Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer: Regular database update logics. Theor. Comput. Sci. 254(1-2): 591-661 (2001)
- [c28]Roel Wieringa, David N. Jansen: Techniques for Reactive System Design: The Tools in TRADE. CAiSE 2001: 93-107
- [c27]Rik Eshuis, Roel Wieringa: A Real-Time Execution Semantics for UML Activity Diagrams. FASE 2001: 76-90
- [c26]Pascal van Eck, Roel Wieringa: An Investigation into Agency Requirements in E-Business Information Systems. ICEIS (2) 2001: 1081-1085
- [c25]
- 2000
- [c24]Jan Broersen, Roel Wieringa, John-Jules Ch. Meyer: A Semantics for Persistency in Propositional Dynamic Logic. Computational Logic 2000: 912-925
- [c23]
- [c22]Roel Wieringa: The Declarative Problem Frame: Designing Systems that Create and Use Norms. IWSSD 2000: 75-86
1990 – 1999
- 1999
- [c21]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
- [c20]Jan Broersen, Roel Wieringa: A Logic for the Specification of Multi-Object Systems (Short Paper). FMOODS 1999
- 1998
- [j13]Roel Wieringa: A Survey of Structured and Object-Oriented Software Specification Methods and Techniques. ACM Comput. Surv. 30(4): 459-527 (1998)
- [j12]Roel Wieringa, Eric Dubois: Integrating Semi-Formal and Formal Software Specification Techniques. Inf. Syst. 23(3-4): 159-178 (1998)
- [c19]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
- 1997
- [c18]Roel Wieringa, Eric Dubois, Sander Huyts: Integrating Semi-formal and Formal Requirements. CAiSE 1997: 19-32
- [c17]
- [c16]Roel Wieringa: Postmodern Software Design with NYAM: Not Yet Another Method. Requirements Targeting Software and Systems Engineering 1997: 69-94
- 1996
- [b1]Roel Wieringa: Requirements engineering - frameworks for understanding. Wiley 1996, ISBN 978-0-471-95884-0, pp. I-XVI, 1-453
- [j11]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)
- [j10]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)
- [j9]Frank Dignum, John-Jules Ch. Meyer, Roel Wieringa: Free Choice and Contextually Permitted Actions. Studia Logica 57(1): 193-220 (1996)
- [c15]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
- [c14]Jan Broersen, Remco Feenstra, Roel Wieringa: Minimal Semantics for Action Specifications in a Multi-modal Logic. FMLDO 1996: 1-10
- 1995
- [j8]Roel Wieringa: Combining Static and Dynamic Modelling Methods: A Comparison of Four Methods. Comput. J. 38(1): 17-30 (1995)
- [j7]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)
- [j6]Roel Wieringa, Wiebren de Jonge, Paul Spruit: Using Dynamic Classes and Role Classes to Model Object Migration. TAPOS 1(1): 61-83 (1995)
- [j5]Roel Wieringa, Wiebren de Jonge: Object Identifiers, Keys, and Surrogates: Object Identifiers Revisited. TAPOS 1(2): 101-114 (1995)
- [c13]
- 1994
- [c12]Roel Wieringa, Wiebren de Jonge, Paul Spruit: Roles and Dynamic Subclasses: A Modal Logic Approach. ECOOP 1994: 32-59
- [c11]Ralf Jungclaus, Roel Wieringa, Peter Hartel, Gunter Saake, Thorsten Hartmann: Combining TROLL with the Object Modeling Technique. GI Jahrestagung 1994: 35-42
- 1993
- [j4]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
- [c10]Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer: Dynamic Database Logic: the First-order Case. FMLDO 1992: 103-120
- 1991
- [j3]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)
- [j2]Roel Wieringa: Steps towards a method for the formal modeling of dynamic objects. Data Knowl. Eng. 6: 509-540 (1991)
- [c9]
- [c8]
- [c7]Paul Spruit, John-Jules Ch. Meyer, Roel Wieringa: Discussion Issues for a Working Group on Update Semantics of Logic Databases. FMLDO 1991: 209-210
- [c6]Roel Wieringa, John-Jules Ch. Meyer: Actor-Oriented Specification of Deontic Integrity Constraints. MFDBS 1991: 89-103
- [c5]John-Jules Ch. Meyer, Roel Wieringa: Actor-Oriented System Specification with Dynamic Logic. TAPSOFT, Vol.2 1991: 337-357
- 1990
- [c4]
- [c3]Roel Wieringa: Integrated Specification of Values, Objects and Processes for Object-Oriented Models (Extended Abstract). FMLDO 1990: 199-208
1980 – 1989
- 1989
- [j1]Roel Wieringa, John-Jules Ch. Meyer, Hans Weigand: Specifying Dynamic and Deontic Integrity Constraints. Data Knowl. Eng. 4: 157-189 (1989)
- [c2]John-Jules Ch. Meyer, Hans Weigand, Roel Wieringa: A Specification Language for Static, Dynamic and Deontic Integrity Constraints. MFDBS 1989: 347-366
- 1988
- [c1]Roel Wieringa, Reind P. van de Riet: Algebraic Specification of Object Dynamics in Knowledge Base Domains. DS-3 1988: 411-436
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:59 CEST by the dblp team