Publications (complete from 1998)

2011

Bakalova, Z. and Daneva, M. and Herrmann, A. and Wieringa, R.J. (2011) Agile Requirements Prioritization: What Happens in Practice and What Is Described in Literature. In: Proceedings of the 17th International Working Conference, Requirements Engineering: Foundation for Software Quality REFSQ 2011, 28-31 March 2011, Essen, Germany. pp. 181-195. Lecture Notes in Computer Science 6606. Springer Verlag. ISBN 978-3-642-19857-1

van Cleeff, A. and Dimkov, T. and Pieters, W. and Wieringa, R.J. (2011) Security Requirements with Physical Properties: A Case Study on Paper Voting. In: Proceedings of the International Conference on IT Convergence and Security (ICITCS 2011), December 14 -16, 2011, Suwon, South Korea. pp. 51-67. Lecture Notes in Electrical Engineering 120. Springer Verlag. ISSN 1876-1100 ISBN 978-94-007-2910-0

van Cleeff, A. and Pieters, W. and Wieringa, R.J. and van Tiel, F. (2011) Integrated assessment and mitigation of physical and digital security threats: Case studies on virtualization. Information Security Technical Report, 16 (3). pp. 1-8. ISSN 1363-4127

Fatemi, H. and van Sinderen, M.J. and Wieringa, R.J. (2011) Value-oriented coordination process model engineering. In: Advanced Information Systems Engineering Workshops - Proceedings of the CAiSE 2011 International Workshops, 20-24 June 2011, London, UK. pp. 41-44. Lecture Notes in Business Information Processing 83. Springer Verlag. ISSN 1865-1348 ISBN 978-3-642-22055-5

Fatemi, H. and van Sinderen, M.J. and Wieringa, R.J. (2011) Trust and business webs. In: Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2011, 29 Aug - 02 Sep 2011, Helsinki, Finland. pp. 119-128. IEEE Computer Society. ISSN 1541-7719 ISBN 978-1-4577-0362-1

Herrmann, A. and Morali, A. and Etalle, S. and Wieringa, R.J. (2011) RiskREP: Risk-Based Security Requirements Elicitation and Prioritization. In: Perspectives in Business Informatics Research, 6-8 Oct 2011, Riga, Latvia. pp. 155-162. Riga Technical University. ISBN 978-9984-30-197-6

Marincic, J. and Mader, A.H. and Wieringa, R.J. (2011) Validation of Embedded System Verification Models. In: Proceedings of Model-Driven Requirements Engineering Workshop (MoDRE), 29 Aug 2011, Trento, Italy. pp. 48-54. IEEE Computer Society. ISBN 978-1-4577-0957-9

Nunes Leal Franqueira, V. and Tun, T.T. and Yu, Y. and Wieringa, R.J. and Nuseibeh, B. (2011) Risk and Argument: A Risk-based Argumentation Method for Practical Security. In: Proceedings of the 19th IEEE International Requirements Engineering Conference, 29 Aug - 02 Sep 2011, Trento, Italy. pp. 239-248. IEEE Computer Society. ISBN 978-1-4577-0924-1

Vriezekolk, E. and Wieringa, R.J. and Etalle, S. (2011) A New Method to Assess Telecom Service Availability Risks. In: Proceedings of the 8th International Conference on Information Systems for Crisis Response and Management, ISCRAM 2011, 8-11 May 2011, Lisbon, Portugal. LNEC. ISBN not assigned

Vriezekolk, E. and Wieringa, R.J. and Etalle, S. (2011) How to assess telecom service availability risks for crisis organisations? In: Advances in Safety, Reliability and Risk Management, 18-22 Sep 2011, Troyes, France. pp. 2653-2661. Taylor & Francis. ISBN 978-0-415-68379-1

Wieringa, R.J. (2011) Real-world semantics of conceptual models. In: The evolution of conceptual modeling. Lecture Notes in Computer Science 6520. Springer Verlag, London, pp. 1-20. ISBN 978-3-642-17504-6

Wieringa, R.J. and Daneva, M. and Condori-Fernández, N. (2011) The Structure of Design Theories, and an Analysis of their Use in Software Engineering Experiments. In: International Symposium on Empirical Software Engineering and Measurement (ESEM 2011), 22-23 Sep 2011, Banff, Canada. pp. 295-304. IEEE Computer Society. ISSN 1938-6451 ISBN 978-1-4577-2203-5

Zambon, Emmanuele and Etalle, S. and Wieringa, R.J. and Hartel, P.H. (2011) Model-based Qualitative Risk Assessment for Availability of IT Infrastructures. Software and Systems Modeling, 10 (4). pp. 553-580. ISSN 1619-1366 *** ISI Impact 1,533 ***

2010

Bodenstaff, L. and Wombacher, A. and Reichert, M. and Wieringa, R.J. (2010) MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations. Service Oriented Computing and Applications, 4 (3). pp. 203-228. ISSN 1863-2386

van Cleeff, A. and Pieters, W. and Wieringa, R.J. (2010) ANWB-enquête niet democratisch. NRC handelsblad, 40 (25-01-2010). 6. ISSN 0002-5259

van Cleeff, A. and Pieters, W. and Wieringa, R.J. (2010) Gooi eigen servers en pc’s niet weg. Best Practice Magazine, 4 (1). pp. 8-10. ISSN 0891-060X

van Cleeff, A. and Pieters, W. and Wieringa, R.J. (2010) Zorg liever voor een overzichtelijk stembiljet. NRC handelsblad, 40 (07-06-2010). pp. 6-6. ISSN 0002-5259

van Cleeff, A. and Pieters, W. and Wieringa, R.J. (2010) Benefits of Location-Based Access Control:A Literature Study. In: Proceedings of the 3rd IEEE/ACM International Conference on Cyber, Physical and Social Computing (CPSCom 2010), 18-20 Dec, 2010, Hangzhou, China. pp. 739-746. IEEE Computer Society. ISBN 978-1-4244-9779-9

Daneva, M. and Wieringa, R.J. (2010) Requirements Engineering for Enterprise Systems: What We Know and What We Don't Know? In: Intentional Perspectives on Information Systems Engineering. Springer Verlag, Berlin, pp. 115-136. ISBN 978-3-642-12543-0

Fatemi, H. and van Sinderen, M.J. and Wieringa, R.J. (2010) Value-Oriented Coordination Process Modeling. In: 8th International Conference on Business Process Management (BPM 2010), 13-16 Sep 2010, Hoboken, NJ, USA. pp. 162-177. Lecture Notes in Computer Science (6336). Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-15617-5

Hartel, P.H. and Junger, M. and Wieringa, R.J. (2010) Cyber-crime Science = Crime Science + Information Security. Technical Report TR-CTIT-10-34, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hordijk, W.T.B. and Wieringa, R.J. (2010) Rationality of Cross-System Data Duplication: A Case Study. In: Advanced Information Systems Engineering (CAiSE), 22nd International Conference, 7-9 June, Hammamet. pp. 68-82. Lecture Notes in Computer Science 6051. Springer Verlag. ISBN 978-3-642-13093-9

Marincic, J. and Mader, A.H. and Wieringa, R.J. and Lucas, Y. (2010) Structuring Problem Analysis for Embedded Systems Modelling. In: International Workshop on Applications and Advances of Problem-Orientation (IWAAPO), 8 May 2010, Cape Town, South Africa. International Academy, Research and Industry Association. ISBN not assigned

Morali, A. and Wieringa, R.J. (2010) Risk-Based Confidentiality Requirements Specification for Outsourced IT Systems (Extended Version). Technical Report TR-CTIT-10-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Morali, A. and Wieringa, R.J. (2010) Risk-Based Confidentiality Requirements Specification for Outsourced IT Systems. In: Proceedings of the 18th IEEE International Requirements Engineering Conference (RE 2010), 27 Sept - 1 Oct 2010, Sydney, Australia. pp. 199-208. IEEE Computer Society. ISBN 978-0-7695-4162-4

Morali, A. and Wieringa, R.J. (2010) Towards Validating Risk Indicators Based on Measurement Theory (Extended version). Technical Report TR-CTIT-10-31, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Morali, A. and Wieringa, R.J. (2010) Towards Validating Risk Indicators Based on Measurement Theory. In: ISSRE 2010 Supplemental Proceedings: 1st International Workshop on Risk and Trust in Extended Enterprises, 01 Nov 2010, USA. pp. 443-447. IEEE Computer Society. ISBN 978-0-7695-4255-3

Morali, A. and Zambon, Emmanuele and Etalle, S. and Wieringa, R.J. (2010) CRAC: Confidentiality Risk Assessment and IT-Architecture Comparison. In: Proceedings of the 6th International Conference on Network and Service Management (CNSM 2010), 25-29 Oct 2010, Niagara Falls, Canada. pp. 322-325. IEEE Computer Society. ISBN 978-1-4244-8910-7

Mutschler, B. and Recker, J. and Wieringa, R.J. (2010) Introduction to the first international workshop on empirical research in business process management (ER-BPM 2009). In: Business Process Management Workshops. Lecture Notes in Business Information Processing 43. Springer Verlag, London, pp. 427-428. ISBN 978-3-642-12185-2

Nunes Leal Franqueira, V. and van Cleeff, A. and van Eck, P.A.T. and Wieringa, R.J. (2010) External Insider Threat: a Real Security Challenge in Enterprise Value Webs. In: Proceedings of the Fifth International Conference on Availability, Reliability and Security (ARES'2010), 15-18 February 2010, Krakow, Poland. pp. 446-453. IEEE Computer Society. ISBN 978-0-7695-3965-2

Nunes Leal Franqueira, V. and Wieringa, R.J. (2010) Value-driven Security Agreements in Extended Enterprises. Technical Report TR-CTIT-10-17, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Racheva, Z. and Daneva, M. and Herrmann, A. and Sikkel, K. and Wieringa, R.J. (2010) Do we Know Enough about Requirements Prioritization in Agile Projects: Insights from a Case Study. In: 18th International IEEE Requirements Engineering Conference, 27 Sep - 01 Oct 2010, Sydney. pp. 147-156. IEEE Computer Society. ISBN 978-1-4244-8022-7

Racheva, Z. and Daneva, M. and Herrmann, A. and Wieringa, R.J. (2010) A Conceptual Model and Process for Client-driven Agile Requirements Prioritization. In: Proceedings of the Fourth International Conference on Research Challenges in Information Science, RCIS 2010, 19-21 May 2010, Nice, France. pp. 287-297. IEEE Computer Society. ISBN 978-1-4244-4840-1

Wieringa, R.J. (2010) Relevance and problem choice in design science. In: Global Perspectives on Design Science Research (DESRIST). 5th International Conference, 4-5 June, 2010, St. Gallen. pp. 61-76. Lecture Notes in Computer Science 6105. Springer Verlag. ISBN 978-3-642-13334-3

Zambon, Emmanuele and Etalle, S. and Wieringa, R.J. (2010) A²THOS: Availability Analysis and Optimisation in SLAs Technical Report TR-CTIT-10-20, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2009

Bodenstaff, L. and Wieringa, R.J. and Wombacher, A. and Reichert, M. (2009) Towards Management of Complex Service Compositions - Position Paper -. In: Proceedings of the International Workshop on Services Computing for B2B, 21-25 Sep 2009, Bangalore, India. pp. 160-167. IEEE Computer Society. ISBN 978-0-7695-3812-9

van Cleeff, A. and Pieters, W. and Wieringa, R.J. (2009) Security Implications of Virtualization: A Literature Study. Technical Report TR-CTIT-09-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van Cleeff, A. and Pieters, W. and Wieringa, R.J. (2009) Security Implications of Virtualization: A Literature Study. In: 2009 IEEE International Conference on Computational Science and Engineering (CSE09), volume 3, 29 Aug - 31 Aug, Vancouver, BC, Canada. pp. 353-358. IEEE Computer Society. ISBN 978-0-7695-3823-5

van Cleeff, A. and Pieters, W. and Wieringa, R.J. (2009) Gooi eigen servers en pc's niet weg. TIEM, Tijdschrift voor Informatie en Management, 34. pp. 8-9. ISSN 1572-5472

van Cleeff, A. and Wieringa, R.J. (2009) Rethinking De-Perimeterisation: Problem Analysis And Solutions. In: Proceedings of the IADIS International Conference Information Systems 2009, 25-27 Feb 2009, Barcelona. pp. 105-112. IADIS press. ISBN 978-972-8924-79-9

Condori-Fernández, N. and Daneva, M. and Sikkel, K. and Wieringa, R.J. and Dieste, O. and Pastor, O. (2009) Research Findings on Empirical Evaluation of Requirements Specifications Approaches. In: 12th Workshop on Requirements Engineering, 16-17 July 2009, Valparaiso, Chile. pp. 121-128. Valparaiso University Press. ISBN 978-956-319-941-3

Condori-Fernández, N. and Daneva, M. and Sikkel, K. and Wieringa, R.J. and Dieste, O. and Pastor, O. (2009) A Systematic Mapping Study on Empirical Evaluation of Software Requirements Specifications Techniques. In: Third International Symposium on Empirical Software Engineering and Measurement, 15-16 Oct 2009, Buena Vista, US. pp. 503-505. IEEE Computer Society. ISBN 978-1-4244-4841-8

De Castro, V. and Marcos, E. and Wieringa, R.J. (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. International journal of cooperative information systems, 18 (2). pp. 225-260. ISSN 0218-8430 *** ISI Impact 0,528 ***

Eckartz, S.M. and Daneva, M. and Wieringa, R.J. and van Hillegersberg, J. (2009) Cross-organizational ERP Management: How to Create a Successful Business Case? In: Proceeding of the 24th Annual ACM Symposium on Applied Computing, SAC'2009, 08-12 March 2009, Honolulu, Hawaii, USA.. pp. 1599-1604. ACM. ISBN 978-1-60558-166-8

Eckartz, S.M. and Daneva, M. and Wieringa, R.J. and van Hillegersberg, J. (2009) A conceptual framework for ERP benefit classification: Results of a literature review. Technical Report TR-CTIT-09-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Fatemi, H. and van Sinderen, M.J. and Wieringa, R.J. (2009) From business value model to coordination process model. In: Proceedings of the Second IFIP WG5.8 International Workshop on Enterprise Interoperability, IWEI 2009, 13-14 October 2009, Valencia, Spain. pp. 94-106. Lecture Notes in Business Information Processing 38. Springer. ISSN 1865-1348 ISBN 978-3-642-04749-7

Gordijn, J. and van Eck, P.A.T. and Wieringa, R.J. (2009) Requirements Engineering Techniques for e-Services. In: Service-Oriented Computing. Cooperative Information Systems series. The MIT Press, Cambridge, pp. 331-352. ISBN 978-0-262-07296-0

Hordijk, W.T.B. and Ponisio, M.L. and Wieringa, R.J. (2009) Structured Review of the Evidence for Effects of Code Duplication on Software Quality. Technical Report TR-CTIT-09-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hordijk, W.T.B. and Ponisio, M.L. and Wieringa, R.J. (2009) Harmfulness of Code Duplication - A Structured Review of the Evidence. In: 13th International Conference on Evaluation and Assessment in Software Engineering (EASE), 20 - 21 April 2009, Durham University, UK. British Computer Society. ISBN not assigned

Marincic, J. and Mader, A.H. and Wieringa, R.J. (2009) A Handbook Supporting Model-Driven Software Development - a Case Study. Technical Report TR-CTIT-09-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Morali, A. and Zambon, Emmanuele and Etalle, S. and Wieringa, R.J. (2009) CRAC: Confidentiality Risk Analysis and IT-Architecture Comparison of Business Networks (extended version). Technical Report TR-CTIT-09-30, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Nunes Leal Franqueira, V. and van Eck, P.A.T. and Wieringa, R.J. and Lopes, R.H.C. (2009) A Mobile Ambients-based Approach for Network Attack Modelling and Simulation. In: Proceedings of the Fourth International Workshop on Dependability Aspects on Data Warehousing and Mining applications, DAWAM 2009 (in conjunction with ARES 2009, The Fourth International Conference on Availability, Reliability and Security), 16-19 Mar 2009, Fukuoka, Japan. pp. 546-553. IEEE Computer Society. ISBN 978-0-7695-3564-7

Pieters, W. and van Cleeff, A. and Wieringa, R.J. (2009) Voor goede keuzes heb je tijd nodig. Trouw, 67 (19855, 5 Aug 2009). 25. ISSN not assigned

van Sinderen, M.J. and Pras, A. and Haverkort, B.R.H.M. and Apers, P.M.G. and Hartel, P.H. and van de Pol, J.C. and Nijholt, A. and Wieringa, R.J. and Havinga, P.J.M. and Akşit, M. (2009) Research Self-Evaluation 2003-2008, Computer Science Department, University of Twente. Technical Report Number UNSPECIFIED, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Wieringa, R.J. (2009) Design Science as Nested Problem Solving. In: Proceedings of the 4th International Conference on Design Science Research in Information Systems and Technology, Philadelphia. pp. 1-12. ACM. ISBN 978-1-60558-408-9

Wieringa, R.J. and van Eck, P.A.T. and Steghuis, C. and Proper, E. (2009) Competences of IT Architects. Nederlands Architectuur Forum. ISBN 978-94-90568-01-6

Wieringa, R.J. and Heerkens, J.M.G. and Regnell, B. (2009) How to read and write a scientific evaluation paper. (Invited) In: Proceedings of the 17th International Requirements Engineering Conference, 31 August - 4 September 2009, Atlanta. pp. 361-364. IEEE Computer Society. ISBN 978-0-7695-3761-0

Zambon, Emmanuele and Etalle, S. and Wieringa, R.J. and Hartel, P.H. (2009) Architecture-based Qualitative Risk Analysis for Availability of IT Infrastructures. Technical Report TR-CTIT-09-35, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2008

Bodenstaff, L. and Wombacher, A. and Wieringa, R.J. and Reichert, M. (2008) An Approach for Maintaining Models of an E-Commerce Collaboration. In: 5th IEEE Conference on Enterprise Computing, E-Commerce, and E-Services, CEC/EEE 2008, 21-24 July 2008, Washington, D.C, USA. pp. 239-246. IEEE Computer Society. ISSN 1530-1354 ISBN 978-0-7695-3340-7

van Cleeff, A. and Wieringa, R.J. (2008) De-perimeterisation as a cycle: tearing down and rebuilding security perimeters. Technical Report TR-CTIT-08-65, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Daneva, M. and Wieringa, R.J. (2008) Cost Estimation for Cross-organizational ERP Projects: Research Perspectives. Software Quality Journal, 16 (3). pp. 459-481. ISSN 0963-9314 *** ISI Impact 0,977 ***

Gordijn, J. and de Kinderen, S. and Wieringa, R.J. (2008) Value-driven service matching. In: 16th IEEE International Requirements Engineering Conference, 8-12 September 2008, Barcelona. pp. 67-70. IEEE Computer Society. ISSN 1090-705X ISBN 978-0-7695-3309-4

Gordijn, J. and Weigand, H. and Reichert, M. and Wieringa, R.J. (2008) Towards self-configuration and management of e-service provisioning in dynamic value constellations. In: Proceedings of the 23rd Annual ACM Symposium on Applied Computing (SAC'08), Special Track on Organizational Engineering, 16-20 March 2008, Fortaleza, Ceará, Brazil. pp. 566-571. ACM Press. ISBN 978-1-59593-753-7

Hordijk, W.T.B. and Ponisio, M.L. and Wieringa, R.J. (2008) Structured Review of Code Clone Literature. Technical Report TR-CTIT-08-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Marincic, J. and Mader, A.H. and Wieringa, R.J. (2008) Classifying Assumptions Made During Requirements Verification of Embedded Systems. In: Requirements Engineering: Foundation for Software Quality, 14th International Working Conference, REFSQ 2008, 16-17 Jun 2008, Montpellier, France. pp. 141-146. Springer Verlag. ISBN 978-3-540-69060-3

Marincic, J. and Mader, A.H. and Wupper, H. and Wieringa, R.J. (2008) Non-monotonic modelling from initial requirements: a proposal and comparison with monotonic modelling methods. In: IWAAPF '08: Proceedings of the 3rd international workshop on Applications and advances of problem frames, 10 May 2008, Leipzig, Germany. pp. 67-73. ACM. ISBN 978-1-60558-020-3

Santana Tapia, R.G. and Daneva, M. and van Eck, P.A.T. and Wieringa, R.J. (2008) Towards a business-IT alignment maturity model for collaborative networked organizations. In: Proceedings of the International Workshop on Enterprise Interoperability (IWEI 2008), 18 Sept 2008, Munich, Germany. pp. 70-81. CTIT Workshop Proceedings Series WP08-05. Centre for Telematics and Information Technology University of Twente. ISSN 1574-0846

Wieringa, R.J. (2008) Operational Business-IT Alignment in Value Webs. (Invited) In: Information Systems and e-business technologies, Klagenfurt, Austria. pp. 371-378. Lecture Notes in Business Information Processing 5. Springer Verlag. ISSN 1865-1348 ISBN 978-3-540-78941-3

Wieringa, R.J. (2008) Conceptual modeling in social and physical contexts. Technical Report TR-CTIT-08-40, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Wieringa, R.J. and van Eck, P.A.T. and Steghuis, C. and Proper, E. (2008) Competences of IT Architects. Academic Service, Den Haag. ISBN 978-90-12-58087-8

Wieringa, R.J. and Heerkens, J.M.G. (2008) Design science, engineering science and requirements engineering. (Invited) In: 16th IEEE International Requirements Engineering Conference, 8-12 September 2008, Barcelona, Spain. pp. 310-313. IEEE Computer Society. ISBN 9780769533094

Wieringa, R.J. and Pijpers, V. and Bodenstaff, L. and Gordijn, J. (2008) Value-driven coordination process design using physical delivery models. In: 27th International Conference on Conceptual Modeling, 20-24 October 2008, Barcelona. pp. 216-231. Lecture Notes in Computer Science 5231. Springer Verlag. ISBN 978-3-540-87876-6

Zarvić, N. and Wieringa, R.J. and van Eck, P.A.T. (2008) On Quality Issues in Networked Value Constellations. Technical Report TR-CTIT-08-13, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Zarvić, N. and Wieringa, R.J. and van Eck, P.A.T. (2008) Checking the Alignment of Value-Based Business Models and IT Functionality. In: Proceedings of the 2008 ACM Symposium on Applied Computing, 16-20 Mar 2008, Fortaleza, Brazil. pp. 607-613. ACM Press. ISBN 978-1-59593-753-7

Zarvić, N. and Wieringa, R.J. and van Eck, P.A.T. (2008) On quality issues in networked value constellations. In: Pervasive Collaborative Networks. IFIP TC 5 WG 5.5 Ninth Working Conference on VIRTUAL ENTERPRISES, 8-10 Sep 2008, Poznan, Poland. pp. 425-432. IFIP International Federation for Information Processing. Springer. ISSN 1571-5736 ISBN 9780387848365

2007

Bodenstaff, L. and Reichert, M. and Wieringa, R.J. (2007) Towards the Integration of Value and Coordination Models - Position Paper -. In: Proceedings of Workshops and Doctoral Consortium of the 19th International Conference on Advanced Information Systems Engineering, 11-15 june 2007, Trondheim, Norway. pp. 291-298. Tapir Academic Press. ISBN 978-8-25192-245-6

Bodenstaff, L. and Wombacher, A. and Reichert, M. and Wieringa, R.J. (2007) Monitoring Collaboration from a Value Perspective. In: 2007 Inaugural IEEE International Conference on Digital Ecosystems and Technologies, 21-23 February 2007, Cairns, Australia. pp. 134-140. IEEE-DEST 2007 1 (1). IEEE Computer Society. ISBN 1-4244-0470-3

Daneva, M. and Kassab, M. and Ponisio, M.L. and Wieringa, R.J. and Ormandjieva, O. (2007) Exploiting a Goal-Decomposition Technique to Prioritize Non-functional Requirements. In: Proceedings of the 10th International Workshop on Requirements Engineering (WER'07), 17-18 May 2007, Toronto, Canada. pp. 190-196. York University Printing Services. ISBN 978-1-55014-483-3

Glinz, M. and Wieringa, R.J. (2007) Stakeholders in requirements engineering. IEEE Software, 28 (1). pp. 18-20. ISSN 0740-7459 *** ISI Impact 2,039 ***

Marincic, J. and Mader, A.H. and Wieringa, R.J. (2007) Capturing Assumptions while Designing a Verification Model for Embedded Systems. Technical Report TR-CTIT-07-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Marincic, J. and Wupper, H. and Mader, A.H. and Wieringa, R.J. (2007) Obtaining Formal Models through Non-Monotonic Refinement. Technical Report TR-CTIT-07-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Wieringa, R.J. (2007) Architecten zijn meedenkers en geen meepraters. TIEM, Tijdschrift voor Informatie en Management, 21 (September). pp. 12-14. ISSN 1572-5472

Wieringa, R.J. and Heerkens, J.M.G. (2007) Designing requirements engineering research. Technical Report TR-CTIT-08-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Wieringa, R.J. and Heerkens, J.M.G. (2007) Designing requirements engineering research. In: Workshop on Comparative Evaluation in Requirements Engineering (CERE'07), 15-16 Oct 2007, Delhi. pp. 36-48. IEEE Computer Society. ISBN 978-0-7695-3378-0

Zarvić, N. and Daneva, M. and Wieringa, R.J. (2007) Value-based Requirements Engineering for Value Webs. In: Proceedings of the 13th International Working Conference, REFSQ 2007, 11-12 Jun2007, Trondheim, Norway. pp. 116-128. Lecture Notes in Computer Science 4542. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-73030-9

Zarvić, N. and Wieringa, R.J. and Daneva, M. (2007) Towards Information Systems Design for Value Webs. In: Proceedings of Workshops and Doctoral Consortium of the 19th International Conference on Advanced Information Systems Engineering, 12 Jun 2007, Trondheim, Norway. pp. 453-460. Tapir Academic Press. ISBN 978-82-519-2245-6

Zarvić, N. and Wieringa, R.J. and van Eck, P.A.T. (2007) Checking the Alignment of Value-based Business Models and IT Functionality. Technical Report TR-CTIT-07-78, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2006

Daneva, M. and Wieringa, R.J. (2006) A requirements engineering framework for cross-organizational ERP systems. Requirements engineering, 11 (3). pp. 194-204. ISSN 0947-3602 *** ISI Impact 0,931 ***

Daneva, M. and Wieringa, R.J. (2006) A coordination complexity model to support requirements engineering for cross-organizational ERP. In: Proceedings of the International Conference on Requirements Engineering (RE06), 13-15 Sep 2006, Minneapolis, USA. pp. 304-307. IEEE Computer Society. ISSN 1090-705X ISBN 978-0-7695-2555-6

Gordijn, J. and Petit, M. and Wieringa, R.J. (2006) Understanding Business Strategies of Networked Value Constellations Using Goal- and Value Modeling. In: 14th IEEE International Requirements Engineering Conference (RE'06), 11-15 September, Minneapolis. pp. 129-138. IEEE Computer Society. ISBN 0-7695-2555-5

Harrison, W. and Wieringa, R.J. (2006) Introduction to the workshop on technology transfer in software engineering. In: Proceedings of the 2006 international workshop on Software technology transfer in software engineering, Shanghai. pp. 1-2. ACM. ISBN 1-59593-412-X

Hordijk, W.T.B. and Wieringa, R.J. (2006) Reusable Rationale Blocks: Improving quality and efficiency of design choices. In: Rationale Management in Software Engineering. Springer Verlag, London, pp. 353-371. ISBN 978-3-540-30997-0

Jonkers, H. and Lankhorst, M.M. and ter Doest, H.W.L. and Arbab, F. and Bosma, H. and Wieringa, R.J. (2006) Enterprise Architecture: Management tool and blueprint for the organization. Information Systems Frontiers, 8 (2). pp. 63-66. ISSN 1387-3326 *** ISI Impact 1,309 ***

Kolos-Mazuryk, L. and van Eck, P.A.T. and Wieringa, R.J. (2006) A Survey of Requirements Engineering Methods for Pervasive Services. Freeband A-MUSE deliverable D5.7a TI/RS/2006/018 Freeband, Enschede.

Tabachneck-Schijf, H.J.M. and Verpoorten, J.H. and van de Weg, R.L.W. and Wieringa, R.J. (2006) The influence of conceptual user models on the creation and interpretation of diagrams representing reactive systems. In: Current Research in Information Sciences and Technologies. Multidisciplinary approaches to global information systems, Badajoz, Spain. pp. 452-456. Open Institute of Knowledge. ISBN 84-611-3103-7

Wieringa, R.J. (2006) Wat ICT-architecten moeten weten. Automatisering Gids, 40 (1). pp. 17-17. ISSN 0165-4683

Wieringa, R.J. (2006) Competenties van de ICT-architect. Informatie, 48 (3). pp. 34-40. ISSN 0019-9907

Wieringa, R.J. (2006) Information Technology as Coordination Infrastructure. Technical Report TR-CTIT-06-23, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Wieringa, R.J. and Heerkens, J.M.G. (2006) The methodological soundness of requirements engineering papers: a conceptual framework and two case studies. Requirements engineering, 11 (4). pp. 295-307. ISSN 0947-3602 *** ISI Impact 0,931 ***

Wieringa, R.J. and Maiden, N.A.M. and Mead, N. and Rolland, C. (2006) Requirements engineering paper classification and evaluation criteria: A proposal and a discussion. Requirements Engineering, 11 (1). pp. 102-107. ISSN 0947-3602 *** ISI Impact 0,931 ***

Zarvić, N. and Wieringa, R.J. (2006) An Integrated Enterprise Architecture Framework for Business-IT Alignment. In: Proceedings of Workshops and Doctoral Consortium of the 18th International Conference on Advanced Information Systems Engineering (CAiSE'06), 5-9 Jun 2006, Luxembourg. pp. 262-270. Namur University Press. ISBN 2-87037-525-5

2005

Brinksma, H. and Mader, A.H. and Marincic, J. and Wieringa, R.J. (2005) A Modelling Method for Embedded Systems. In: 2nd Workshop on Model Design and Validation (MoDeVa 05) as part of the ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Oct 2005, Montego Bay, Jamaica. IEEE Computer Society. ISBN not assigned

Brinksma, H. and Mader, A.H. and Marincic, J. and Wieringa, R.J. (2005) A Modelling Method for Embedded Systems. Technical Report TR-CTIT-05-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Daneva, M. and Wieringa, R.J. (2005) Requirements engineering for cross-organizational ERP implementation: Undocumented assumptions and potential mismatches. In: Proceedings of the 13th IEEE International Conference on Requirements Engineering, RE 2005, 29 Aug-2 Sept 2005, Paris, France. pp. 63-74. IEEE Computer Society. ISBN 0-7695-2425-7

Ebert, C. and Wieringa, R.J. (2005) Requirements Engineering: Solutions and Trends. In: Engineering and Managing Software Requirements. Springer, Berlin/Heidelberg, Germany, pp. 453-476. ISBN 978-3-540-25043-2

van Eck, P.A.T. and Wieringa, R.J. (2005) Webservices als zelfstandige economische activiteit. In: Jaarboek IT beheer en informatiebeveiliging. Sdu Uitgevers, The Hague, the Netherlands, pp. 241-248. ISBN 9039524335

van Eck, P.A.T. and Yamamoto, R. and Gordijn, J. and Wieringa, R.J. (2005) Cross-organizational workflows: A classification of design decisions. In: Proceedings of the CAiSE'05 Forum. The 17th Conference on Advanced Information Systems Engineering, 13-17 June 2005, Porto, Portugal. pp. 51-56. Faculdade de Engenharia da Universidade do Porto. ISBN 9727520782

van Eck, P.A.T. and Yamamoto, R. and Gordijn, J. and Wieringa, R.J. (2005) Cross-organizational workflows: A classification of design decisions. In: 5th IFIP Conference e-Commerce, e-Business, and e-Government, I3E 2005, 26-28 Oct 2005, Poznan, Poland. pp. 449-463. IFIP International Federation for Information Processing (189/2005). Springer. ISSN 1571-5736 ISBN 0387287531

Hordijk, W.T.B. and Wieringa, R.J. (2005) Surveying the factors that influence maintainability: research design. In: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, 5-9 Sep 2005, Lisbon, Portugal. pp. 385-388. ACM Press. ISSN 0163-5948 ISBN 1595930140

Huijs, C. and Sikkel, K. and Wieringa, R.J. (2005) Mission 2 Solution: Requirements Engineering Education as a Central Theme in the BIT Programme. In: 1st International Workshop on Requirements Engineering Education and Training (REET'05), 30 Aug 2005, Paris, France. ISBN not assigned

Ivanović, A. and Matysiak, A. and Sikkel, K. and Wieringa, R.J. (2005) Eliciting User Requirements for Ambient Intelligent Systems: A Case Study. In: 13th IEEE International Conference on Requirements Engineering (RE'05), 29 Aug-2 Sept 2005, Paris, France. pp. 477-478. IEEE Computer Society. ISBN 0769524257

Pokraev, S.V. and Reichert, M. and Steen, M.W.A. and Wieringa, R.J. (2005) Semantic and Pragmatic Interoperability: A Model for Understanding. In: Proceedings of the Open Interop Workshop on Enterprise Modelling and Ontologies for Interoperability (EMOI - INTEROP'05), 13 - 14 Jun 2005, Porto, Portugal. pp. 1-5. CEUR Workshop Proceedings 160. CEUR-WS.org. ISSN 1613-0073

Wieringa, R.J. (2005) Regering is blind voor internationaal karakter universiteiten. Automatisering Gids, 39. ISSN 0165-4683

Wieringa, R.J. (2005) Naar een professionalisering van de ICT-architect. Informatie en Architectuur, 1. pp. 24-26. ISSN 1871-1111

Wieringa, R.J. (2005) Requirements researchers: are we really doing research? Requirements Engineering, 10 (4). pp. 304-306. ISSN 0947-3602 *** ISI Impact 0,931 ***

Wieringa, R.J. (2005) Onderwijs en offshoring. Automatisering gids, 15. ISSN 0165-4683

Wieringa, R.J. and van Eck, P.A.T. (2005) Architectuurafstemming in de praktijk. Informatie en Architectuur, tijdschrift voor architecten in de ict, 1. pp. 10-13. ISSN 1871-1111

Wieringa, R.J. and van Eck, P.A.T. and Krukkert, D. (2005) Architecture Alignment. In: Enterprise Architecture at Work. Modelling, Communication and Analysis. Springer, Berlin/Heidelberg, Germany, Chapter 9. ISBN 3-540-24371-2

Wieringa, R.J. and Gordijn, J. (2005) Value-Oriented Design of Service Coordination Processes: Correctness and Trust. In: 20th ACM Symposium on Applied Computing, 13-17 Mar 2005, Santa Fe, New Mexico, USA. pp. 1320-1327. ACM Press. ISBN 1-58113-964-0

Wieringa, R.J. and Gordijn, J. and van Eck, P.A.T. (2005) Value-Based Business-IT Alignment in Networked Constellations of Enterprises. In: 1st International Workshop on Requirements Engineering for Business Need and IT Alignment (REBNITA 2005), 29-30 Aug 2005, Paris, France. pp. 38-43. University of New South Wales Press. ISBN 0-7334-2276-4

Wieringa, R.J. and van Hillegersberg, J. (2005) Ontwerpers in de informatiekunde. .Ego, 5 (1). pp. 21-21. ISSN not assigned

Wieringa, R.J. and Maiden, N.A.M. and Mead, N. and Rolland, C. (2005) A classification of RE papers:(A)re we researching or designing RE techniques? In: CERE05, 29 August 2005, Paris, France. pp. 15-18. Faculty of Information technology, University of Technology, Sydney. ISBN 1-86365-868-8

Wombacher, A. and Wieringa, R.J. and Jonker, W. and Knežević, P. and Pokraev, S.V. (2005) Requirements for Secure Logging of Decentralized Cross-Organizational Workflow Executions. In: On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, 31 Oct - 4 Nov 2005, Agia Napa, Cyprus. pp. 526-536. Lecture Notes in Computer Science 3762. Springer. ISSN 0302-9743 ISBN 978-3-540-29739-0

Zlatev, Z.V. and Daneva, M. and Wieringa, R.J. (2005) Multi-Perspective Requirements Engineering for Networked Business Systems: A Framework for Pattern Composition. In: 8th Workshop on Requirements Engineering, WER 2005, 13-14 June 2005, Porto, Portugal. pp. 26-37. Anais do WER05. Porto University Press. ISBN 972-752-079-0

2004

van Eck, P.A.T. and Blanken, H.M. and Wieringa, R.J. (2004) Project GRAAL: Towards operational architecture alignment. International Journal of Cooperative Information Systems, 13 (3). pp. 235-255. ISSN 0218-8430 *** ISI Impact 0,528 ***

van Eck, P.A.T. and Gordijn, J. and Wieringa, R.J. (2004) Value-based Design of Collaboration Processes for e-Commerce. Technical Report TR-CTIT-04-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van Eck, P.A.T. and Gordijn, J. and Wieringa, R.J. (2004) Value-based design of Collaboration Processes for e-Commerce. In: e-Technology, e-Commerce and e-Service, 2004. EEE '04. 2004 IEEE International Conference on, 28-31 Mar 2004, Taipei, Taiwan. pp. 349-358. IEEE Computer Society. ISBN 0769520731

van Eck, P.A.T. and Wieringa, R.J. (2004) Webservices als zelfstandige economische activiteit. Informatie, 46 (10). pp. 38-43. ISSN 0019-9907

van Eck, P.A.T. and Wieringa, R.J. and Gordijn, J. (2004) Waarde als basis voor besluitvorming outsourcing. Informatie, 46. pp. 20-25. ISSN 0019-9907

van Eck, P.A.T. and Wieringa, R.J. and Gordijn, J. (2004) Risk-Driven Conceptual Modeling of Outsourcing Decisions. In: 23rd International Conference on Conceptual Modeling, ER 2004, 8-12 Nov 2004, Shanghai, China. pp. 709-723. Lecture Notes in Computer Science 3288. Springer. ISBN 9783540237235

Eshuis, H. and Wieringa, R.J. (2004) Tool support for verifying UML activity diagrams. IEEE Transactions on Software Engineering, 30 (7). pp. 437-447. ISSN 0098-5589 *** ISI Impact 3,75 ***

Gordijn, J. and Kartseva, V. and Schildwacht, J. and Wieringa, R.J. and Akkermans, J.M. (2004) Developing a domain-specific cross-organizational RE method. In: 12th IEEE International Requirements Engineering Conference (RE'04), 6-10 Sept 2004, Kyoto, Japan. pp. 134-143. IEEE Computer Society. ISSN 1090-705X

Hartel, P.H. and van Eck, P.A.T. and Etalle, S. and Wieringa, R.J. (2004) Modelling mobility aspects of security policies. Technical Report TR-CTIT-04-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Hartel, P.H. and van Eck, P.A.T. and Etalle, S. and Wieringa, R.J. (2004) Modelling mobility aspects of security policies. (Invited) In: Construction and Analysis of Safe, Secure and Interoperable Smart cards (CASSIS), March 10-14, 2004, Marseille, France. pp. 172-191. Lecture Notes in Computer Science 3362. Springer-Verlag. ISBN 3-540-24287-2

Hordijk, W.T.B. and Krukkert, D. and Wieringa, R.J. (2004) The impact of architectural decisions on quality attributes of enterprise information systems: a survey of the design space. Technical Report TR-CTIT-04-48, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Pokraev, S.V. and Wieringa, R.J. and Steen, M.W.A. (2004) Towards semantic service specification and discovery. In: CAiSE'04 Workshops in connection with The 16th Conference on Advanced Information Systems Engineering, 7-11 June 2004, Riga, Latvia. pp. 363-367. Faculty of Computer Science and Information Technology. ISBN 9984976734

Pumareja, D.T. and Sikkel, K. and Wieringa, R.J. (2004) Understanding the Dynamics of Requirements Evolution: A Comparative Case Study of Groupware Implementation. In: International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ 2004) In conjunction with CAiSE '04, 7-8 June 2004, Riga, Latvia. pp. 177-194. Essener Informatik Beiträge 9. University of Essen. ISBN 3-922602-91-6

Wieringa, R.J. (2004) Informaticaonderzoek is ontwerponderzoek. Automatisering Gids. 15. ISSN 0165-4683

Wieringa, R.J. (2004) Introduction to the RE'03 Special Issue. Requirements Engineering, 9 (2). pp. 83-84. ISSN 0947-3602 *** ISI Impact 0,931 ***

Wieringa, R.J. (2004) Procesintegratie zonder woordenboek is gedoemd te mislukken. Business Process Magazine, 10 (4). pp. 16-18. ISSN 1567-5998

Wieringa, R.J. (2004) Requirements Engineering: Problem analysis and solution specification. (Invited) In: 4th International Conference on Web Engineering, ICWE 2004, 26-28 July 2004, Munich, Germany. pp. 13-16. Lecture Notes in Computer Science 3104. Springer. ISSN 0302-9743 ISBN 9783540225119

Wieringa, R.J. and Ebert, C. (2004) RE'03: Practical Requirements Engineering Solutions. IEEE Software, 21 (2). pp. 16-18. ISSN 0740-7459 *** ISI Impact 2,039 ***

Wieringa, R.J. and van Eck, P.A.T. and Blanken, H.M. (2004) Afstemmen infrastructuur en gebruikssoftware tijdens ontwerp. Informatie, 46 (April). pp. 16-21. ISSN 0019-9907

Wieringa, R.J. and van Eck, P.A.T. and Blanken, H.M. (2004) Architecture Alignment in a Large Government Organization: A Case Study. Technical Report TR-CTIT-04-18, Centre for Telematics and Information Technology University of Twente, Enschede, The Netherlands. ISSN 1381-3625

Wieringa, R.J. and van Eck, P.A.T. and Blanken, H.M. (2004) Architecture Alignment in a Large Government Organization: A Case Study. In: Conference on Advanced Information Systems Engineering: Proceedings of the CAiSE Forum, 7-11 June 2004, Riga, Latvia. pp. 143-152. Riga Technical University. ISBN 9984-9767-0-X

Wieringa, R.J. and Gordijn, J. and van Eck, P.A.T. (2004) Value Framing: A Prelude to Software Problem Framing. In: 1st International Workshop on Advances and Applications of Problem Frames (IWAAPF), 24 May 2004, Edinburgh, Scotland, UK. pp. 75-84. IEE. ISBN 0-86341-419-2

Wieringa, R.J. and Heerkens, J.M.G. (2004) Evaluating the structure of research papers: A case study. In: Second International Workshop in Comparative Evaluation of Requirements Engineering (CERE'04), 5-10 Sept 2004, Kyoto, Japan. pp. 41-50. ISBN 1863658661

Zlatev, Z.V. and van Eck, P.A.T. and Wieringa, R.J. (2004) Value-exchange patterns in business models of intermediaries that offer negotiation services. Technical Report TR-CTIT-04-26, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Zlatev, Z.V. and van Eck, P.A.T. and Wieringa, R.J. and Gordijn, J. (2004) Goal-Oriented RE for E-Services. In: International Workshop on Service-Oriented Requirements Engineering, SoRE 2004, 6 Sept 2004, Kyoto, Japan. Information Processing Society of Japan.

2003

Berry, D. and Kazman, R. and Wieringa, R.J. (2003) Second International Workshop on From Software Requirements to Architectures (STRAW'03). Technical Report TR-CTIT-07-48, University of Waterloo, Waterloo. ISSN 1381-3625

van Eck, P.A.T. and Wieringa, R.J. (2003) Requirements Engineering for Service-Oriented Computing: A Position Paper. In: First International Workshop on e-Services at ICEC'03, Sept 2003, Pittsburgh, Pennsylvania, USA. pp. 23-28. TU Delft. ISBN 90-5638-115-6

Eshuis, H. and Wieringa, R.J. (2003) Comparing Petri Net and Activity Diagram Variants for Workflow Modelling: A Quest for Reactive Petri Nets. In: Petri Net Technology for Communication-Based Systems: Advances in Petri Nets. Lecture Notes in Computer Science 2472. Springer, Berlin/Heidelberg, Germany, pp. 321-351. ISSN 0302-9743 ISBN 9783540205388

Gordijn, J. and Wieringa, R.J. (2003) A value-Oriented Approach to E-business Process Design. In: Conference on Advanced Information System Engineering (CAiSE 03), 16-20 June 2003, Klagenfurt/Velden, Austria. pp. 390-403. Lecture Notes in Computer Science 2681. Springer. ISBN 9783540404422

Wieringa, R.J. (2003) Design Methods for Reactive Systems: Yourdon, Statemate and the UML. Morgan Kaufmann Publishers. ISBN 9781558607552

Wieringa, R.J. (2003) Debat over architecten vooral woordenstrijd. Automatisering gids, 49. pp. 19-19. ISSN 0165-4683

Wieringa, R.J. (2003) Methodologies of requirements engineering research and practice: position statement. In: CERE '03 Comparative Evaluation in Requirements Engineering: The First International Workshop on Comparative Evaluation in Requirements Engineering. Held in conjunction with the 11th IEEE International Requirements Engineering Conference, 8 Sept 2003, Monterey Bay, California, USA. ISBN not assigned

Wieringa, R.J. and Blanken, H.M. and Fokkinga, M.M. and Grefen, P.W.P.J. (2003) Aligning Application Architecture to the Business Context. In: Proceedings of the 15th International Conference on Advanced Information System Engineering (CAiSE 2003), 16-20 Jun 2003, Klagenfurt/Velden, Austria. pp. 209-225. Lecture Notes in Computer Science 2681. Springer Verlag. ISBN 978-3-540-40442-2

2002

Eshuis, H. and Jansen, D.N. and Wieringa, R.J. (2002) Requirements-level semantics and model checking of object-oriented statecharts. Requirements Engineering, 7 (4). pp. 243-263. ISSN 0947-3602 *** ISI Impact 0,931 ***

Eshuis, H. and Wieringa, R.J. (2002) Verification Support for Workflow Design with UML Activity Graphs. In: 24th Int. Conf. on Software Engineering (ICSE), Orlando, Florida. pp. 166-176. ACM Press.

Insfran, E. and Pastor, O. and Wieringa, R.J. (2002) Requirements engineering-based conceptual modeling. Requirements Engineering, 7 (2). pp. 61-72. ISSN 0947-3602 *** ISI Impact 0,931 ***

Jansen, D.N. and Wieringa, R.J. (2002) Extending CTL with actions and real time. Journal of logic and Computation, 12 (4). pp. 607-621. ISSN 0955-792X *** ISI Impact 0,789 ***

2001

Broersen, J.M. and Wieringa, R.J. and Meyer, J.J.C. (2001) A Fixed-point Characterization of a Deontic Logic of Regular Action. Fundamenta Informaticae, 48 (2-3). pp. 107-128. ISSN 0169-2968 *** ISI Impact 0,615 ***

van Eck, P.A.T. and Wieringa, R.J. (2001) E-Business and Agency: Some Research Issues. Technical Report TR-CTIT-01-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

van Eck, P.A.T. and Wieringa, R.J. (2001) An Investigation into Agency Requirements in E-Business Information Systems. In: Third International Conference on Enterprise Information Systems, 7-10 July 2001, Setúbal, Portugal. pp. 1081-1085. ICEIS Press. ISBN 972-98050-2-4

Eshuis, H. and Wieringa, R.J. (2001) A Formal Semantics for UML Activity Diagrams - Formalising Workflow Models. Technical Report TR-CTIT-01-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Eshuis, H. and Wieringa, R.J. (2001) An Execution Algorithm for UML Activity Graphs. In: The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, 1-5 Oct 2001, Toronto, Canada. pp. 47-61. Lecture Notes in Computer Science 2185. Springer. ISSN 0302-9743 ISBN 3540426671

Eshuis, H. and Wieringa, R.J. (2001) A real-time execution semantics for UML activity diagrams. In: 4th International Conference on Fundamental Approaches to Software Engineering FASE 2001, 2-6 Apr 2001, Genova, Italy. pp. 76-90. Lecture Notes in Computer Science 2029. Springer. ISSN 0302-9743

Spruit, P.A. and Wieringa, R.J. and Meyer, J.J.C. (2001) Regular database update logics. Theoretical computer science, 254 (1-2). pp. 591-661. ISSN 0304-3975 *** ISI Impact 0,943 ***

Wieringa, R.J. (2001) Computers kunnen niet rechtspreken. Automatisering Gids (18). 19. ISSN 0165-4683

Wieringa, R.J. (2001) Software requirements engineering: The need for systems engineering and literacy. Requirements Engineering, 6 (2). pp. 132-134. ISSN 0947-3602 *** ISI Impact 0,931 ***

Wieringa, R.J. and Blanken, H.M. and Fokkinga, M.M. (2001) Documenting the ICT Architecture of TSI. Technical Report TR-CTIT-01-42, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Wieringa, R.J. and Jansen, D.N. (2001) Techniques for reactive system design: the tools in TRADE. In: Advanced information systems engineering: 13th international conference, CAiSE. pp. 93-107. Lecture notes in computer science 2068. Springer-Verlag. ISBN 3-540-42215-3

2000

Broersen, J.M. and Wieringa, R.J. and Meyer, J.J.C. (2000) Mu-calculus-based deontic logic for regular actions. In: Fifth International Workshop on Deontic Logic in Computer Science (DEON'00), 20-22 Jan 2000, Toulouse, France. pp. 43-61. Onera. ISBN not assigned

Broersen, J.M. and Wieringa, R.J. and Meyer, J.J.C. (2000) A semantics for persistency in propositional dynamic logic. In: First International Conference on Computational Logic (CL2000), July 2000, London, UK. pp. 912-925. Lecture Notes in Artificial Intelligence 1861. Springer. ISSN 0302-9743

Eshuis, H. and Wieringa, R.J. (2000) Requirements-level semantics for UML Statecharts. Technical Report TR-CTIT-00-07, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Eshuis, H. and Wieringa, R.J. (2000) Requirements Level Semantics for UML Statecharts. In: 4th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), 6-8 Sept 2000, Stanford, California, USA. pp. 121-140. IFIP Conference Proceedings 177. Kluwer Academic Publishers. ISBN 0792379233

Grefen, P.W.P.J. and Sikkel, K. and Wieringa, R.J. (2000) Two Case Studies of Subsystem Design for General-Purpose CSCW Software Architectures. In: Landelijk Architectuur congres, 22-23 Nov 2000, Amsterdam, the Netherlands. SERC. ISBN not assigned

Jansen, D.N. and Wieringa, R.J. (2000) Extending CTL with Actions and Real-Time. In: International Conference on Temporal Logic, Leipzig. pp. 105-114. s. n..

Jansen, D.N. and Wieringa, R.J. (2000) Reducing the extensions of CTL with actions and real time. Technical Report TR-CTIT-00-27, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Sikkel, K. and Wieringa, R.J. and Engmann, R.G.R. (2000) A Case Base for Requirements Engineering: Problem Categories and Solution Techniques. In: Sixth International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ'2000), June 2000, Stockholm, Sweden. pp. 80-85. Essener Informatik Beiträge 5. Universität GH Essen. ISBN not assigned

Wieringa, R.J. (2000) The declarative problem frame: Designing systems that create and use norms. In: 10th International Workshop on Software Specification and Design (IWSSD-10), 5-7 Nov 2000, San Diego, California, USA. pp. 75-85. IEEE Computer Society. ISBN 0769508847

Wieringa, R.J. (2000) Ontologies and diagrams for software and systems engineering. In: Fifth World Conference on Integrated Design and Process Technology, 4-8 June 2000, Dallas, Texas, USA. Society for design and Process Science.

Wieringa, R.J. (2000) Architectuur is systeem. Technical Report please assign, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Wieringa, R.J. (2000) Een Raamwerk Voor Architectuur als Systematische Samenhang. Technical Report please assign, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

1999

Broersen, J.M. and Wieringa, R.J. (1999) A logic for the specification of multi-object systems. In: Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 15-18 Feb 1999, Firenze, Italy. pp. 387-398. IFIP Conference Proceedings 139. Kluwer Academic Publishers. ISBN 0792384296

Reggio, G. and Wieringa, R.J. (1999) Thirty one problems in the semantics of UML 1.3 dynamics. In: OOPSLA 99: Workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations, 1-5 Nov 1999, Denver, Colorado, USA. ISBN not assigned

Sikkel, K. and Ruël, H. and Wieringa, R.J. (1999) Towards a Method for Evolutionary Implementation of Groupware. In: Fifth International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ'99), 14-15 June 1999, Heidelberg, Germany. pp. 187-192. Presses Universitaires de Namur. ISBN not assigned

Wieringa, R.J. (1999) Using the Tools in TRADE III: A controller for a Compact Dynamic Bus Station. Technical Report TR-CTIT-99-15, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Wieringa, R.J. (1999) Embedding object-oriented design in system engineering. In: Behavioral Specifications of Businesses and Systems. Kluwer International Series in Engineering & Computer Science 523. Springer, Berlin/Heidelberg, Germany, pp. 287-310. ISBN 0792386299

Wieringa, R.J. and Astesiano, E. and Reggio, G. and Le Guennec, A. and Hussman, H. and van den Berg, K.G. and van den Broek, P.M. (1999) UML Semantics FAQ: Dynamic Behaviour and Concurrency. In: ECOOP'99 Workshop Reader, 14-18 June 1999, Lisbon, Portugal. pp. 49-52. Lecture Notes in Computer Science 1743. Springer-Verlag. ISBN 3-540-66954-X

1998

Broersen, J.M. and Wieringa, R.J. (1998) Preferential semantics for action specification in first-order modal action logic. In: ECAI-98 Workshop on Practical Reasoning and Rationality, 23-28 Aug 1998, Brighton, UK. ISBN not assigned

Engmann, R.G.R. and van de Weg, R.L.W. and Wieringa, R.J. (1998) Domain-oriented architecture design for production control software. In: ECOOP98 Workshop on Object-Oriented Software Architectures, 20-24 July 1998, Brussels, Belgium. pp. 101-101. Lecture Notes in Computer Science 1543. Springer Verlag. ISSN 0302-9743

Grefen, P.W.P.J. and Sikkel, K. and Wieringa, R.J. (1998) Two Case Studies of Subsystem Design for Extensible General-Purpose Software. Technical Report TR-CTIT-98-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Grefen, P.W.P.J. and Wieringa, R.J. (1998) Subsystem Design Guidelines for Extensible General-Purpose Software. In: 3rd International Software Architecture Workshop (ISAW3), 1-2 Nov 1998, Orlando, Florida, USA. pp. 49-52. ACM Press. ISBN 1581130813

Meyer, J.J.C. and Wieringa, R.J. and Dignum, F.P.M. (1998) The role of deontic logic in the specification of information systems. In: Logics for databases and information systems. Kluwer Academic Publishers, Norwell, MA, USA, pp. 71-115. ISBN 0792381297

Wieringa, R.J. (1998) A Survey of Structured and Object-Oriented Software Specification Methods and Techniques. ACM Computing Surveys, 30 (4). pp. 459-527. ISSN 0360-0300 *** ISI Impact 7,667 ***

Wieringa, R.J. (1998) Traceability and Modularity in Software Design. In: Ninth International Workshop on Software Specification and Design (IWSSD), 16-18 Apr 1998, Ise-Shima, Japan. pp. 87-95. IEEE Computer Society. ISBN 0818684399

Wieringa, R.J. (1998) De onzichtbare wereld van de informaticus: Conceptuele modellen en virtuele objecten.

Wieringa, R.J. (1998) Overheid moet stabiliteit van opleidingen garanderen. Automatisering gids, 11. ISSN 0165-4683

Wieringa, R.J. (1998) Advanced Object-Oriented Requirement Specification Method. Technical Report TR-CTIT-98-04, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Wieringa, R.J. (1998) Postmodern Software Design with NYAM: Not Yet Another Method. In: International Workshop on Requirements Targeting Software and Systems Engineering (RTSE), 12-14 October 1997, Bernried, Germany. pp. 69-94. Lecture Notes in Computer Science 1526. Springer. ISBN 978-3-540-65309-7

Wieringa, R.J. and Broersen, J.M. (1998) A Minimal Transition System Semantics for Lightweight Class and Behavior Diagrams. In: Proceedings ICSE Workshop om Precise Semantics for Software Modeling Techniques, 20 April 1998, Kyoto, Japan. pp. 129-151. Technische Universitat Munchen TUM-I9803. ISBN not assigned

Wieringa, R.J. and Dubois, E. (1998) Integrating Semi-formal and Formal Software Specification Techniques. Information Systems, 23 (3-4). pp. 159-178. ISSN 0306-4379 *** ISI Impact 1,966 ***

1997

Wieringa, R.J. and Dubois, E. and Huyts, S. (1997) Integrating semi-formal and formal requirements. In: 9th International Conference CAiSE'97, 16-20 June 1997, Barcelona, Catalonia, Spain. pp. 19-32. Lecture Notes in Computer Science 1250. Springer. ISBN 978-3-540-63107-1

1996

d'Altan, P. and Meyer, J.J.C. and Wieringa, R.J. (1996) An integrated framework for ought-to-be and ought-to-do constraints. Artificial Intelligence and Law, 4 (2). pp. 77-111. ISSN 0924-8463

Broersen, J.M. and Wieringa, R.J. and Feenstra, R.B. (1996) Minimal Semantics for Action Specifications in PDL. In: Accolade 1996, 21-22 Nov 1996, Nijmegen, The Netherlands. pp. 15-30. Dutch Graduate School in Logic, University of Amsterdam. ISBN 9789074795746

Dignum, F.P.M. and Meyer, J.J.C. and Wieringa, R.J. (1996) Free choice and contextually permitted actions. Studia Logica, 57 (1). pp. 193-220. ISSN 0039-3215

Dignum, F.P.M. and Meyer, J.J.C. and Wieringa, R.J. and Kuiper, R. (1996) A Modal Approach to Intentions, Commitments and Obligations:Intention plus Commitment yields Obligation. In: Third International Workshop on Deontic Logic in Computer Science, DEON1996, 11-13 Jan 1996, Sesimbra, Portugal. pp. 80-97. Workshops in Computing. Springer. ISBN 3540760156

Wieringa, R.J. (1996) Requirements Engineering: Frameworks for Understanding. John Wiley & Sons. ISBN 0471958840

Wieringa, R.J. and Saake, G. (1996) A Formal Analysis of the Shlaer-Mellor method: towards a toolkit for formal and informal requirements specification techniques. Requirements Engineering, 1. pp. 106-131. ISSN 0947-3602 *** ISI Impact 0,931 ***

1995

Feenstra, R.B. and Wieringa, R.J. (1995) Validating database constraints and updates using automated reasoning techniques. In: Proceedings of the Workshop on Semantics in Databases, 1995, Prague, Czech Republic. pp. 24-32. Technische Universitat Cottbus.

Feenstra, R.B. and Wieringa, R.J. (1995) Validating specifications of dynamic systems using automated reasoning techniques. In: NAIC'95: Proceedings of the Seventh Dutch Conference on Artificial Intelligence, NAIC '95, 22-23 June 1995. pp. 105-114.

Spruit, P.A. and Wieringa, R.J. and Meyer, J.J.C. (1995) Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases. Journal of Logic and Computation, 5 (1). pp. 27-70. ISSN 0955-792X *** ISI Impact 0,789 ***

Wieringa, R.J. (1995) Combining static and dynamic modelling methods: a comparison of four methods. The Computer Journal, 38 (1). pp. 17-30. ISSN 0010-4620 *** ISI Impact 1,394 ***

Wieringa, R.J. (1995) An Introduction to Requirements Traceability. Technical Report IR-389 Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam.

Wieringa, R.J. (1995) Integration of formal and informal techniques for requirements engineering. In: Modelling Languages for Knowledge-Based Systems. Vrije Universiteit Amsterdam, Amsterdam, The Netherlands.

Wieringa, R.J. and de Jonge, W. (1995) Object Identifiers, Keys, and Surrogates: Object Identifiers Revisited. Theory and Practice of Object Systems, 1 (2). pp. 101-114. ISSN 1074-3227

Wieringa, R.J. and de Jonge, W. and Spruit, P.A. (1995) Using Dynamic Classes and Role Classes to Model Object Migration. Theory and Practice of Object Systems, 1 (1). pp. 61-83. ISSN 1074-3227

1994

Dignum, F.P.M. and Meyer, J.J.C. and Wieringa, R.J. (1994) A dynamic logic for reasoning about sub-ideal states. In: ECAI Workshop on Artificial Normative Reasoning, 8 Aug 1994, Amsterdam, The Netherlands. pp. 79-92.

Dignum, F.P.M. and Meyer, J.J.C. and Wieringa, R.J. (1994) Contextual Permission: A Solution to the Free Choice Paradox. In: Second International Workshop on Deontic Logic in Computer Science, DEON '94, 6-8 Jan 1994, Oslo, Norway. pp. 107-130. Norwegian Research Center for Computers and Law.

Meyer, J.J.C. and Dignum, F.P.M. and Wieringa, R.J. (1994) The paradoxes of deontic logic revisited: a computer science perspective. Technical Report UU-CS-1994-38 University of Utrecht, Utrecht. ISSN 0924-3275

Saake, G. and Hartel, P. and Jungclaus, R. and Wieringa, R.J. and Feenstra, R.B. (1994) Inheritance conditions for object life cycle diagrams. In: EMISA-Workshop Formale Grundlagen fur den Entwurf von Informationsystemen, 24-26 May 1994, Tutzing, Germany. pp. 79-88. Informatik-Berichte (3/94). Institut für Informatik, Universität Hannover.

Wieringa, R.J. (1994) Transaction decomposition in Object-Oriented Models. In: Workshop on Formal Methods for Information System Dynamics, 6-7 Jun 1994, Utrecht, the Netherlands. Memoranda Informatica. University of Twente, Department of Computer Science. ISSN 0924-3755

Wieringa, R.J. (1994) LCM and MCM: Specification of a control system using dynamic logic and process algebra. In: Formal Development of Reactive Systems Case Study Production Cell. Lecture Notes in Computer Science 891. Springer, Berlin, pp. 333-355. ISBN 9783540588672

Wieringa, R.J. and de Jonge, W. and Spruit, P.A. (1994) Roles and Dynamic Subclasses: a modal logic approach. In: ECOOP 1994, 4-8 July 1994, Bologna, Italy. pp. 32-59. Lecture Notes in Computer Science 821. Springer. ISSN 0302-9743 ISBN 3540582029

1993

d'Altan, P. and Meyer, J.J.C. and Wieringa, R.J. (1993) An integrated system for ought-to-be and ought-to-do constraints (extended abstract). In: AAAI 1993 Spring Symposium, 23-25 Mar 1993, Stanford University, Palo Alto, USA. pp. 48-57. AAAI Press.

Meyer, J.J.C. and Wieringa, R.J. (1993) Preface. Annals of Mathematics and Artificial Intelligence, 9 (1-2). ISSN 1012-2443 *** ISI Impact 0,893 ***

Meyer, J.J.C. and Wieringa, R.J. (1993) Applications of Deontic Logic in Computer Science: A Concise Overview. In: Deontic Logic in Computer Science: Normative System Specification. John Wiley & Sons, Chichester, UK, pp. 17-40. ISBN 0471937436

Wieringa, R.J. and Jungclaus, R. and Hartel, P. and Saake, G. and Hartmann, T. (1993) OMTROLL - Object Modeling in Troll. In: International Worskshop on Information Systems - Correctness and Reusability, IS-CORE 1993, Sept 1993, Hannover, Germany. pp. 267-283. Informatik Berichte 01/93. Universität Hannover, Institut für Informatik.

Wieringa, R.J. and Meyer, J.J.C. (1993) Actors, actions, and initiative in normative system specification. Annals of Mathematics and Artificial Intelligence, 7. pp. 289-346.

Wieringa, R.J. and Meyer, J.J.C. (1993) Deontic Logic: A Concise Overview. In: Deontic Logic in Computer Science: Normative System Specification. John Wiley & Sons, Chichester, UK, pp. 3-16. ISBN 0471937436

1991

Meyer, J.J.C. and Wieringa, R.J. (1991) Actor-Oriented System Specification with Dynamic Logic. In: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 8-12 Apr 1991, Brighton, UK. pp. 337-357. Lecture Notes in Computer Science 494. Springer. ISBN 3540539816

Spruit, P.A. and Wieringa, R.J. (1991) Some finite-graph models for Process Algebra. In: 2nd International Conference on Concurrency Theory, CONCUR 1991, 26-29 Aug 1991, Amsterdam, The Netherlands. pp. 495-509. Lecture Notes in Computer Science 527. Springer. ISBN 3540544305

Wieringa, R.J. (1991) Steps Towards a Method for the Formal Modeling of Dynamic Objects. Data and Knowledge Engineering, 6 (6). pp. 509-540. ISSN 0169-023X *** ISI Impact 1,745 ***

Wieringa, R.J. (1991) Object-Oriented Analysis, Structured Analysis, and Jackson System Development. In: IFIP TC8/WG8.1 Working Conference, 28-31 Oct 1991, Quebec city, Canada. pp. 1-21. North-Holland. ISBN 0444892095

Wieringa, R.J. (1991) A formalization of objects using equational dynamic logic. In: Second International Conference on Deductive and Object-Oriented Databases, 16-18 Dec 1991, Munich, Germany. pp. 431-452. Lecture Notes in Computer Science 566. Springer. ISBN 3540550151

Wieringa, R.J. and Meyer, J.J.C. (1991) Actor-Oriented Specification of Dynamic and Deontic Integrity Constraints. In: 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, 6-9 May 1991, Rostock, Germany. pp. 89-103. Lecture Notes in Computer Science 495. Springer. ISBN 3540540091

Wieringa, R.J. and Weigand, H. and Meyer, J.J.C. and Dignum, F.P.M. (1991) The inheritance of dynamic and deontic integrity constraints. Annals of Mathematics and Artificial Intelligence, 3. pp. 393-428.