Publications

2014

Ionita, D. and Bullee, J.H. and Wieringa, R.J. (2014) Argumentation-Based Security Requirements Elicitation: The Next Round. In: Proceedings of the 2014 IEEE 1st International Workshop on Evolving Security and Privacy Requirements Engineering (ESPRE), 25 August 2014, Karlskrona, Sweden. pp. 7-12. IEEE Computer Society. ISBN 978-1-4799-6340-9
Ionita, D. and Koenen, S. K. and Wieringa, R.J. (2014) Modelling telecom fraud with e3value. Technical Report TR-CTIT-14-11, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Kegel, R.H.P. and Wieringa, R.J. (2014) Persuasive technologies: a systematic literature review and application to PISA. Technical Report TR-CTIT-14-07, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Wieringa, R.J. (2014) Empirical research methods for technology validation: Scaling up to practice. Journal of systems and software, 95. pp. 19-31. ISSN 0164-1212 *** ISI Impact 1,14 ***

2013

Clark, T. and Karasai, G. and Wieringa, R.J. and France, R. and Rumpe, B. (2013) A newly introduced Industry Voice Column. Software and systems modeling, 12 (3). pp. 441-442. ISSN 1619-1366 *** ISI Impact 1,25 ***
Daneva, M. and van der Veen, E. and Amrit, C. and Ghaisas, S. and Sikkel, K. and Kumar, R. and Ajmeri, N. and Ramteerthkar, U. and Wieringa, R.J. (2013) Agile requirements prioritization in large-scale outsourced system projects: an empirical study. Journal of systems and software, 86 (5). 1333 -1353. ISSN 0164-1212 *** ISI Impact 1,14 ***
Ghaisas, S. and Rose, P. and Daneva, M. and Sikkel, K. and Wieringa, R.J. (2013) Generalizing by similarity: Lessons learnt from industrial case studies. In: Proceedings of the 1st International Workshop on Conducting Empirical Studies in Industry, CESI 2013, 20 May 2013, San Francisco, USA. pp. 37-42. IEEE Computer Society. ISBN 978-1-4673-6286-3
Glinz, M. and Wieringa, R.J. (2013) RE@21 spotlight: most influential papers from the requirements engineering conference. (Invited) In: Proceedings of the 21st IEEE International Requirements Engineering Conference, RE 2013, 15-19 Jul 2013, Rio de Janeiro, Brasil. pp. 368-370. IEEE Computer Society. ISBN 978-1-4673-5765-4
Guizzardi-Silva Souza, R. and Franch, X. and Guizzardi, G. and Wieringa, R.J. (2013) Ontological Distinctions between Means-End and Contribution Links in the i* Framework. In: Proceedings of the 32th International Conference on Conceptual Modeling, ER 2013, November 11-13, 2013, Hong-Kong, China. pp. 463-470. Lecture Notes in Computer Science 8217. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-41923-2
Guizzardi-Silva Souza, R. and Franch, X. and Guizzardi, G. and Wieringa, R.J. (2013) Using a foundational ontology to investigate the semantics behind the concepts of the i* language. In: Proceedings of the 6th International i* Workshop (iStar 2013), 17-18 Jun 2013, Valencia, Spain. pp. 13-18. CEUR. ISSN 1613-0073
Ionita, D. and Hartel, P.H. and Pieters, W. and Wieringa, R.J. (2013) Current established risk assessment methodologies and tools. Technical Report TR-CTIT-14-04, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Marincic, J. and Mader, A.H. and Wieringa, R.J. and Lucas, Y. (2013) Reusing knowledge in embedded system modelling. Expert Systems, 30 (3). pp. 185-199. ISSN 0266-4720 *** ISI Impact 0,77 ***
Méndez Fernández, D. and Wieringa, R.J. (2013) Improving requirements engineering by artefact orientation. In: 14th International Conference on Product-Focused Software Process Improvement, PROFES 2013, 12-14 Jun 2013, Paphos, Cyprus. pp. 108-122. Lecture Notes in Computer Science 7983. Springer Verlag. ISBN 978-3-642-39258-0
Nunes Leal Franqueira, V. and van Cleeff, A. and van Eck, P.A.T. and Wieringa, R.J. (2013) Engineering security agreements against external insider threat. Information Resources Management Journal, 26 (4). pp. 66-91. ISSN 1040-1628
Prakken, H. and Ionita, D. and Wieringa, R.J. (2013) Risk assessment as an argumentation game. In: 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, 16-18 Sep 2013, Corunna, Spain. pp. 357-373. Lecture Notes in Computer Science 8143. Springer Verlag. ISBN 978-3-642-40623-2
Wieringa, R.J. (2013) Case study research in information systems engineering: how to generalize, how not to generalize, and how not to generalize too much. (Invited) In: 25th International Conference on Advanced Information Systems Engineering (CAiSE 2013), 17-21 Jun 2013, Valencia, Spain. xii-xii. Lecture Notes in Computer Science 7908. Springer Verlag. ISBN 978-3-642-38708-1
Wieringa, R.J. (2013) The role of goals in design reasoning. (Invited) In: Proceedings of the 6th International i* Workshop (iStar 2013), 17-18 Jun 2013, Valencia, Spain. 1. CEUR Workshop Proceedings 978. CEUR. ISSN 1613-0073
Wieringa, R.J. and van Eck, P.A.T. and Mylopoulos, J. (2013) Requirements engineering conferences: wither industry tracks? In: 21st IEEE International Requirements Engineering Conference (RE 2013), 15-19 Jul 2013, Rio de Janeiro, Brasil. pp. 349-352. IEEE Computer Society. ISBN 978-1-4673-5765-4
Wieringa, R.J. and van Eck, P.A.T. and Mylopoulos, J. (2013) Requirements Engineering Conferences: wither industry tracks? Unabridged version with a track history of the RE Conferences. Technical Report TR-CTIT-13-19, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Zarghami, A. and Vriezekolk, E. and Zarifi Eslami, M. and van Sinderen, M.J. and Wieringa, R.J. (2013) Assumption-based Risk identification Method (ARM) in dynamic service provisioning. In: 21st IEEE International Requirements Engineering Conference (RE 2013), 15-19 Jul 2013, Rio de Janeiro, Brasil. pp. 175-184. IEEE Computer Society. ISBN 978-1-4673-5765-4
Zarghami, A. and Zarifi Eslami, M. and van Sinderen, M.J. and Wieringa, R.J. (2013) Dynamic homecare service provisioning: a field test and its results. In: Joint International Workshop on Process Support and Knowledge Representation in Health Care, KR4HC/ProHealth 2013, 1 Jun 2013, Múrcia, Spain. pp. 113-127. Lecture Notes in Computer Science 8268. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-03915-2
Zarifi Eslami, M. and Sapkota, B. and Herrmann, A. and Zarghami, A. and van Sinderen, M.J. and Wieringa, R.J. (2013) Risk driven requirements specification (RiDeRS) of IT-based homecare systems. In: CAiSE'13 Forum at the 25th International Conference on Advanced Information Systems Engineering, 20 Jun 2013, Valencia, Spain. pp. 88-97. CEUR Workshop Proceedings 998. CEUR-WS.org. ISSN 1613-0073
Zarifi Eslami, M. and Zarghami, A. and van Sinderen, M.J. and Wieringa, R.J. (2013) Care-giver tailoring of IT-based healthcare services for elderly at home: a field test and its results. In: 7th International Conference on Pervasive Computing Technologies for Healthcare, PervasiveHealth 2013, 5-8 May 2013, Venice, Italy. pp. 216-223. IEEE. ISBN 978-1-4799-0296-5

2012

Cañete-VaLdeón, J.M. and Wieringa, R.J. and Smallbone, K. (2012) Mechanistic modelling of cancer: some reflections from software engineering and philosophy of science. Naturwissenschaften, 99 (12). pp. 973-983. ISSN 0028-1042 *** ISI Impact 2,14 ***
Condori-Fernández, N. and Daneva, M. and Wieringa, R.J. (2012) Preliminary Survey on Empirical Research Practices in Requirements Engineering. Technical Report TR-CTIT-12-10, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Condori-Fernández, N. and Nunes Leal Franqueira, V. and Wieringa, R.J. (2012) Report on the Survey of Role-Based Access Control (RBAC) in Practice. Technical Report TR-CTIT-12-06, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Condori-Fernández, N. and Wieringa, R.J. and Daneva, M. and Mutschler, B. and Pastor, O. (2012) An Experimental Evaluation of a Unified Checklist for Designing and Reporting Empirical Research in Software Engineering. Technical Report TR-CTIT-12-12, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Eckartz, S.M. and Katsma, C.P. and Wieringa, R.J. (2012) Using value models to improve the cost/benefit analysis of inter-organizational system implementations. In: Collaborative Networks in the Internet of Services: 13th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2012, October 1-3, 2012, Bournemouth, UK. pp. 529-538. IFIP Advances in Information and Communication Technology 380. Springer Verlag. ISSN 1868-4238 ISBN 978-3-642-32774-2
Engelsman, W. and Wieringa, R.J. (2012) Goal-Oriented Requirements Engineering and Enterprise Architecture: Two case studies and some lessons learned. In: Requirements Engineering: Foundation for Software Quality (REFSQ 2012), 19-22 Mar 2012, Essen, Germany. pp. 306-320. Lecture notes in computer science 7195. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-28713-8
Fatemi, H. and van Sinderen, M.J. and Wieringa, R.J. (2012) Managing trust in business webs using game theory. In: 26th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2012, 26-29 Mar 2012, Fukuoka, Japan. pp. 1349-1354. IEEE Computer Society. ISBN 978-1-4673-0867-0
Fatemi, H. and van Sinderen, M.J. and Wieringa, R.J. (2012) A trust ontology for business collaborations. In: Short Paper Proceedings of the 5th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling, 7-8 Nov 2012, Rostock, Germany. 5. CEUR Workshop Proceedings 933. CEUR-WS.org. ISSN 1613-0073
Fatemi, H. and van Sinderen, M.J. and Wieringa, R.J. and Razo-Zapata, I.S. (2012) Endurability and profitability analysis of collaborative networks. In: Proceedings of the 25th Bled eConference on eDependability: Reliable and Trustworthy eStructures, eProcesses, eOperations and eServices for the Future, 17-20 Jun 2012, Bled, Slovania. pp. 197-210. AIS. ISBN not assigned
Gordijn, J. and Razo-Zapata, I. and de Leenheer, P. and Wieringa, R.J. (2012) Challenges in Service Value Network Composition. In: Proeedings of the 5th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM 2012), 7-8 Nov 2012, Rostock, Germany. pp. 91-100. Lecture notes in business information processing 134. Springer Verlag. ISSN 1865-1348 ISBN 978-3-642-34549-4
Herrmann, A. and Morali, A. and Etalle, S. and Wieringa, R.J. (2012) Risk and Business Goal Based Security Requirement and Countermeasure Prioritization. In: Workshops on Business Informatics Research (BIR 2011), 6-8 Oct 2011, Riga, Latvia. pp. 64-76. Lecture Notes in Business Information Processing 106. Springer Verlag. ISSN 1865-1348 ISBN 978-3-642-29230-9
Marincic, J. and Mader, A.H. and Wieringa, R.J. (2012) Explaining Embedded Software Modelling Decisions. In: IEEE CS International Conference on Software Science, Technology, and Engineering, SWSTE 2012, 12-13 June 2012, Herzlia, Israel. pp. 80-89. IEEE Computer Society. ISBN 978-0-7695-4716-9
Nunes Leal Franqueira, V. and van Cleeff, A. and van Eck, P.A.T. and Wieringa, R.J. (2012) Securing the Extended Enterprise: A Method for Analyzing External Insider Threat. In: Strategic and Practical Approaches for Information Security Governance: Technologies and Applied Solutions. IGI Global, Hershey, USA, pp. 195-222. ISBN 978-1-46660-197-0
Nunes Leal Franqueira, V. and Wieringa, R.J. (2012) Role-Based Access Control in Retrospect. Computer, 45 (6). pp. 81-88. ISSN 0018-9162 *** ISI Impact 1,68 ***
Santana Tapia, R.G. and van Eck, P.A.T. and Daneva, M. and Wieringa, R.J. (2012) Key Success Domains for Business-IT Alignment in Cross-Governmental Partnerships. In: From Government to E-Governance: Public Administration in the Digital Age. IGI Global, Hershey, PA, USA, pp. 131-161. ISBN 978-1-4666-1911-1
Vriezekolk, E. and Wieringa, R.J. and Etalle, S. (2012) Design and initial validation of the Raster method for telecom service availability risk assessment. In: Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management (ISCRAM 2012), 22-25 April 2012, Vancouver, Canada. 117. Simon Fraser University. ISBN 978-0-86491-332-6
Wieringa, R.J. (2012) A Unified Checklist for Observational and Experimental Research in Software Engineering (Version 1). Technical Report TR-CTIT-12-07, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Wieringa, R.J. (2012) Towards a Unified Checklist for Empirical Research in Software Engineering: First proposal. In: 16th International Conference on evaluation & Assessment in Software Engineering (EASE 2012), 14-15 May 2012, Ciudad Real, Spain. pp. 161-165. IET. ISBN 978-1-84919-541-6
Wieringa, R.J. (2012) Designing technical action research and generalizing from real-world cases. In: Proceedings of the 24th International Conference on Advanced Information Systems Engineering (CAiSE 2012), 25-29 June 2012, Gdansk, Poland. pp. 697-698. Lecture notes in computer science 7328. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-31094-2
Wieringa, R.J. and Condori-Fernández, N. and Daneva, M. and Mutschler, B. and Pastor, O. (2012) Lessons learned from evaluating a checklist for reporting experimental and observational research. In: Proceedings of the ACM-IEEE Iternational Smposium on Empirical Sftware Egineering and Masurement, ESEM 2012, 19-21 Sept 2012, Lund, Sweden. pp. 157-160. ACM. ISBN 978-1-4503-1056-7
Wieringa, R.J. and Morali, A. (2012) Technical Action Research as a Validation Method in Information Systems Design Science. In: Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, 14-15 May 2012, Las Vegas, USA. pp. 220-238. Lecture Notes in Computer Science 7286. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-29862-2
Zambon, Emmanuele and Etalle, S. and Wieringa, R.J. (2012) A2thOS: availability analysis and optimisation in SLAs International Journal of Network Management, 22 (2). pp. 104-130. ISSN 1055-7148 *** ISI Impact 0,51 ***

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) Realizing Security Requirements with Physical Properties: A Case Study on Paper Voting. In: Proceedings of the International Conference on IT Convergence and Security (ICITCS 2011), 14-16 Dec, 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-4). pp. 142-149. ISSN 1363-4127
Espana, S. and Condori-Fernández, N. and Wieringa, R.J. and González, A. and Pastor, O. (2011) Model-driven system development: Experimental design and report of the pilot experiment. Technical Report ProS-TR-2011-2 Universidad Politecnica de Valencia, Valencia.
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, Yijun 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
Recker, J. and Mutschler, B. and Wieringa, R.J. (2011) Empirical research in business process management: introduction to the special issue. Information Systems and E-Business Management, 19 (3). pp. 303-306. ISSN 1617-9846 *** ISI Impact 0,61 ***
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. 196. LNEC. ISBN 978-972-49-2247-8
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,25 ***

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
Wieringa, R.J. (2010) Design science methodology: principles and practice. In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010, 2-8 May 2010, Cape Town, South Africa. pp. 493-494. ACM. ISBN 978-1-60558-719-6
Zambon, Emmanuele and Etalle, S. and Wieringa, R.J. (2010) A2THOS: 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,53 ***
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
Glinz, M. and Heymans, P. and Persson, A. and Sindre, G. and Aurum, A. and Madhavji, N. and Paech, B. and Regev, G. and Wieringa, R.J. (2009) Report on the working conference on requirements engineering: foundation for software quality (REFSQ'09). ACM SIGSOFT Software Engineering Notes, 34 (5). pp. 40-45. ISSN 0163-5948
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,85 ***
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
Santana Tapia, R.G. and Daneva, M. and van Eck, P.A.T. and Wieringa, R.J. (2008) Towards a business-IT aligned maturity model for collaborative networked organizations. In: 12th Enterprise Distributed Object Computing Conference Workshops (EDOCW 2008), 16 Sept 2008, Munich, Germany. pp. 276-287. IEEE Computer Society. ISBN 978-0-7695-3720-7
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 1,62 ***
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

Atlee, J.M. and Wieringa, R.J. (2006) RE 05: engineering successful products. IEEE Software, 23 (3). pp. 16-18. ISSN 0740-7459 *** ISI Impact 1,62 ***
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 1,05 ***
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 (TT2006), 20-28 May 2006, Shanghai, China. 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 0,85 ***
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 1,05 ***
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 1,05 ***
Zarvić, N. and Wieringa, R.J. (2006) An Integrated Enterprise Architecture Framework for Business-IT Alignment. In: Proceedings of the CAISE*06 Workshop on Business/IT Alignment and Interoperability (BUSITAL 2006), 5-9 Jun 2006, Luxembourg. 8. CEUR Workshop Proceedings 237. CEUR. ISSN 1613-0073

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 1,05 ***
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,53 ***
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. (2004) Web Services as Product Experience Augmenters and the Implications for Requirements Engineering: A Position Paper. In: Proceedings of the International Workshop on Service-Oriented Requirements Engineering (SoRE 2004), 6-10 Sep 2004, Kyoto, Japan. -. ISBN not assigned
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 2,59 ***
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 1,05 ***
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: Proceedings of the 4th International Conference on Web Engineering (ICWE 2004), July 26-30, 2004, Munich, Germany. pp. 13-16. Lecture notes in computer science 3140. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-22511-9
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 1,62 ***
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 978-3-540-20538-8
Gordijn, J. and Wieringa, R.J. (2003) A value-Oriented Approach to E-business Process Design. In: Proceedings of the 15th International Conference on Advanced Information System Engineering (CAiSE 2003), 16-20 June 2003, Klagenfurt/Velden, Austria. pp. 390-403. Lecture Notes in Computer Science 2681. Springer. ISSN 0302-9743 ISBN 978-3-540-40442-2
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. ISSN 0302-9743 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 1,05 ***
Eshuis, H. and Wieringa, R.J. (2002) Verification Support for Workflow Design with UML Activity Graphs. In: 24th Int. Conf. on Software Engineering (ICSE 2002), Orlando, Florida. pp. 166-176. ACM Press. ISBN 1-58113-472-X
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 1,05 ***
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,65 ***

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,40 ***
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: 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), 1-5 Oct 2001, Toronto, Canada. pp. 47-61. Lecture Notes in Computer Science 2185. Springer. ISSN 0302-9743 ISBN 978-3-540-42667-7
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 ISBN 978-3-540-41863-4
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,49 ***
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 1,05 ***
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), 24-28 July 2000, London, UK. pp. 912-925. Lecture Notes in Artificial Intelligence 1861. Springer. ISSN 0302-9743 ISBN 978-3-540-67797-0
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 3,54 ***
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 Methods. 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,77 ***

1997

Broersen, J.M. and Wieringa, R.J. (1997) Minimal Semantics for Action Specifications in First-order Dynamic Logic. Technical report IR-439 Faculty of Mathematics and Computer Science, Free University, Amsterdam. ISSN not assigned
Dehne, F. and Wieringa, R.J. (1997) Toolkit for Conceptual Modeling (TCM): User's Guide and Reference. Technical Report IR-437, Vrije Universiteit, Amsterdam. ISSN not assigned
Scheerder, J. and Wieringa, R.J. (1997) A Modal Temporal Dynamic Logic: Doing the Deadline. Technical report IR-433 Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. ISSN not assigned
van Vlijmen, B. and Wieringa, R.J. (1997) Using the Tools in TRADE I: A Decision Support System for Traffic Light maintenance. Technical report IR-435 Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. ISSN not assigned
Wieringa, R.J. (1997) Using the tools in TRADE II: Specification and design of a meeting scheduler system. Technical Report IR-436 Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. ISSN not assigned
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 Feenstra, R.B. and Wieringa, R.J. (1996) Minimal semantics for transaction specifications in a multi-modal logic. In: Proceedings of the 6th International Workshop on Foundations of Models and Languages for Data and Objects (IDB 1996), 16-20 Sep 1996, Schloss Dagstuhl, Germany. University of Magdeburg. ISBN not assigned
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
Dehne, F. and Wieringa, R.J. (1996) The Yourdon Systems Method and the Toolkit for Conceptual Modeling. Technical Report IR-414 Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. ISSN not assigned
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 *** ISI Impact 0,34 ***
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 Huyts, S. (1996) Requirements analysis of the VoD application using the tools in TRADE. Technical report Number UNSPECIFIED Faculty of Mathematics and Computer Science, Free University, Amsterdam. ISSN not assigned
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 1,05 ***

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, Jan 1995, Prague, Czech Republic. pp. 24-32. Technische Universitat Cottbus. ISBN not assigned
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. ISBN not assigned
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,65 ***
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 0,76 ***
Wieringa, R.J. (1995) Een analyse van methodes voor informatiesysteemontwikkeling. Informatie, 37. pp. 23-30. ISSN 0019-9907
Wieringa, R.J. (1995) An Introduction to Requirements Traceability. Technical Report IR-389 Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. ISSN not assigned
Wieringa, R.J. (1995) An Analysis of Method Bridging in Euromethod Version 0. Technical report IR-390 Faculty of Mathematics and Computer Science, Free University, Amsterdam. ISSN not assigned
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. ISBN not assigned
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
Wieringa, R.J. and Saake, G. (1995) A Comparison of the Notations Used in the Shlaer/Mellor Method and in TCM. Technical report IR-393, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. ISSN not assigned

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. ISBN not assigned
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. ISBN not assigned
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. ISBN not assigned
Wieringa, R.J. (1994) Jackson System Development, Entity-relationship Analysis and Data Flow Models: a comparative study. Technical report IR-336, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. ISSN not assigned
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. ISBN not assigned
Feenstra, R.B. and Wieringa, R.J. (1993) LCM 3.0: A Language for describing Conceptual Models. Technical report IR-344, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. ISSN not assigned
Meyer, J.-J.C and Wieringa, R.J. (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
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,20 ***
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. (1993) A method for building and evaluating formal specifications of object-oriented conceptual models of database systems. Technical Report IR-340, Vrije Universiteit, Amsterdam. ISSN not assigned
Wieringa, R.J. (1993) Een analyse van methodes voor informatiesysteemontwikkeling. Technical Report IR-335 Faculteit Wiskunde en Informatica, Vrije Universiteit, Amsterdam. ISSN not assigned
Wieringa, R.J. and Feenstra, R.B. (1993) The university library document circulation system specified in LCM. Technical report IR-343, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. ISSN not assigned
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. ISBN not assigned
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. ISSN 1662-4548

1992

Wieringa, R.J. (1992) A conceptual model specification language (CMSL Version 2). Technical report IR-248, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. ISSN not assigned

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,52 ***
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 de Jonge, W. (1991) The Identification of Objects and Roles - object identifiers revisited -. Technical Report IR-267, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. ISSN not assigned
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. ISSN 1662-4548

1990

Wieringa, R.J. (1990) Equational specification of dynamic objects. In: IFIP 1990, 2-6 July 1990, Windermere, UK. pp. 415-438. North-Holland. ISBN 0444889299
Wieringa, R.J. (1990) Algebraic Foundations for Dynamic Conceptual Models. PhD thesis, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands.
Wieringa, R.J. (1990) An Integrated Specification of Values, Objects and Processes for Object-Oriented Models (Extended Abstract). In: Second Workshop on the Foundations of Models and Languages for Data and Objects (FMLDO 1990), 24-28 Sept 1990, Aigen, Austria. pp. 199-208. Informatik-Bericht (90/3). Institut für Informatik, Technische Universität Clausthal. ISBN not assigned
Wieringa, R.J. and van de Riet, R.P. (1990) Algebraic Specification of Object Dynamics in Knowledge Base Domains. In: Artificial Intelligence in Databases and Information Systems (DS-3), 4-8 July 1988, Guangzhou, PR China. pp. 411-436. North-Holland. ISBN 0444886451

1989

Gamito Dignum, V. and Van de Riet, R.P. and Wieringa, R.J. (1989) Generalization and specialization of object dynamics. Technical Report IR-204, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. ISSN not assigned
Meyer, J.J.C. and Weigand, H. and Wieringa, R.J. (1989) A Specification Language for Static, Dynamic and Deontic Integrity Constraints. In: MFDBS 1989: 2nd Sympsoium on Mathematical Fundamentals of Database Systems, 26-30 June 1989, Visegrád, Hungary. pp. 347-366. Lecture Notes in Computer Science 364. Springer. ISBN 978-3-540-51251-6
Wieringa, R.J. (1989) Role change in database domains. Technical Report IR-180 Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. ISSN not assigned
Wieringa, R.J. (1989) Process generalization in conceptual models. Technical Report IR-187, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. ISSN not assigned
Wieringa, R.J. (1989) Three Roles of Conceptual Models in Information System Design and Use. In: Information System Concepts: An In-dept Analysis. North-Holland, pp. 31-51. ISBN 0444883231
Wieringa, R.J. and de Jonge, W. (1989) How to Eat a Cake Without Having It: An Evaluation of the IFIP Working Group 8.1 Report on Information Systems Methodologies. In: Workshop of IFIP WG 8.1 “Framework for Information Systems Methodologies", 5-6 June 1989, Sesimbra, Portugal. ISBN not assigned
Wieringa, R.J. and Meyer, J.J.C. and Weigand, H. (1989) Specifying Dynamic and Deontic Integrity Constraints. Data and knowledge engineering, 4 (2). pp. 157-189. ISSN 0169-023X *** ISI Impact 1,52 ***

1987

Wieringa, R.J. (1987) Axiomatic Specification of Database Domain Statics. Technical Report IR-133, Vrije Universiteit, Amsterdam. ISSN not assigned
Wieringa, R.J. (1987) Machine Intelligence and Explication. Filosofische reeks 21. Eburon, Delft. ISBN 9051660057
Wieringa, R.J. (1987) Machine Intelligence and Explication. Technical Report IR-129, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. ISSN not assigned

1986

Simons, J.L. and Wieringa, R.J. (1986) The place of expert systems in a typology of information systems. Technical report Number UNSPECIFIED, Agricultural University Wageningen, Wageningen, The Netherlands.
Wieringa, R.J. and Curwiel, P.H. (1986) Final report on the farmer's aid in plant disease diagnoses. Technical report Number UNSPECIFIED, Agricultural University Wageningen, Wageningen, The Netherlands.