publications:
- title: "Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases"
  author:
  - name: "Paul Spruit"
    link: "https://researchr.org/alias/paul-spruit"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  year: "1995"
  tags:
  - "semantics"
  - "operational semantics"
  - "logic"
  researchr: "https://researchr.org/publication/SpruitWM95"
  cites: 0
  citedby: 0
  journal: "Journal of Logic and Computation"
  volume: "5"
  number: "1"
  pages: "27-70"
  kind: "article"
  key: "SpruitWM95"
- title: "Risk-Driven Conceptual Modeling of Outsourcing Decisions"
  author:
  - name: "Pascal van Eck"
    link: "https://researchr.org/alias/pascal-van-eck"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Jaap Gordijn"
    link: "http://www.cs.vu.nl/~gordijn/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3288&spage=709"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3288&spage=709"
  tags:
  - "modeling"
  - "Pascal"
  researchr: "https://researchr.org/publication/EckWG04"
  cites: 0
  citedby: 0
  pages: "709-723"
  booktitle: "Conceptual Modeling - ER 2004, 23rd International Conference on Conceptual Modeling, Shanghai, China, November 2004, Proceedings"
  editor:
  - name: "Paolo Atzeni"
    link: "https://researchr.org/alias/paolo-atzeni"
  - name: "Wesley W. Chu"
    link: "https://researchr.org/alias/wesley-w.-chu"
  - name: "Hongjun Lu"
    link: "https://researchr.org/alias/hongjun-lu"
  - name: "Shuigeng Zhou"
    link: "https://researchr.org/alias/shuigeng-zhou"
  - name: "Tok Wang Ling"
    link: "https://researchr.org/alias/tok-wang-ling"
  volume: "3288"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-23723-2"
  kind: "inproceedings"
  key: "EckWG04"
- title: "A Real-Time Execution Semantics for UML Activity Diagrams"
  author:
  - name: "Rik Eshuis"
    link: "https://researchr.org/alias/rik-eshuis"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2029/20290076.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2029/20290076.htm"
  tags:
  - "semantics"
  - "UML"
  researchr: "https://researchr.org/publication/EshuisW01"
  cites: 0
  citedby: 0
  pages: "76-90"
  booktitle: "Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings"
  editor:
  - name: "Heinrich Hußmann"
    link: "https://researchr.org/alias/heinrich-hu%C3%9Fmann"
  volume: "2029"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-41863-6"
  kind: "inproceedings"
  key: "EshuisW01"
- title: "A Specification Language for Static, Dynamic and Deontic Integrity Constraints"
  author:
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  - name: "Hans Weigand"
    link: "https://researchr.org/alias/hans-weigand"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "1989"
  doi: "db/conf/mfdbs/MeyerWW89.html"
  tags:
  - "constraints"
  researchr: "https://researchr.org/publication/MeyerWW89"
  cites: 0
  citedby: 0
  pages: "347-366"
  booktitle: "MFDBS 89, 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Hungary, June 26-30, 1989"
  editor:
  - name: "János Demetrovics"
    link: "https://researchr.org/alias/j%C3%A1nos-demetrovics"
  - name: "Bernhard Thalheim"
    link: "https://researchr.org/alias/bernhard-thalheim"
  volume: "364"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-51251-9"
  kind: "inproceedings"
  key: "MeyerWW89"
- title: "Integrating Semi-Formal and Formal Software Specification Techniques"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Eric Dubois"
    link: "https://researchr.org/alias/eric-dubois"
  year: "1998"
  doi: "http://dx.doi.org/10.1016/S0306-4379(98)00007-6"
  links:
    doi: "http://dx.doi.org/10.1016/S0306-4379(98)00007-6"
  researchr: "https://researchr.org/publication/WieringaD98"
  cites: 0
  citedby: 0
  journal: "Inf. Syst."
  volume: "23"
  number: "3-4"
  pages: "159-178"
  kind: "article"
  key: "WieringaD98"
- title: "Regular database update logics"
  author:
  - name: "Paul Spruit"
    link: "https://researchr.org/alias/paul-spruit"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  year: "2001"
  doi: "http://dx.doi.org/10.1016/S0304-3975(00)00289-9"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(00)00289-9"
  tags:
  - "database"
  - "logic"
  researchr: "https://researchr.org/publication/SpruitWM01"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "254"
  number: "1-2"
  pages: "591-661"
  kind: "article"
  key: "SpruitWM01"
- title: "Operational Business-IT Alignment in Value Webs"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78942-0_36"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-78942-0_36"
  researchr: "https://researchr.org/publication/Wieringa08"
  cites: 0
  citedby: 0
  pages: "371-378"
  booktitle: "Information Systems and e-Business Technologies, 2nd International United Information Systems Conference, UNISCON 2008, Klagenfurt, Austria, April 22-25, 2008, Proceedings"
  editor:
  - name: "Roland Kaschek"
    link: "https://researchr.org/alias/roland-kaschek"
  - name: "Christian Kop"
    link: "https://researchr.org/alias/christian-kop"
  - name: "Claudia Steinberger"
    link: "https://researchr.org/alias/claudia-steinberger"
  - name: "Günther Fliedl"
    link: "https://researchr.org/alias/g%C3%BCnther-fliedl"
  volume: "5"
  series: "Lecture Notes in Business Information Processing"
  publisher: "Springer"
  isbn: "978-3-540-78941-3"
  kind: "inproceedings"
  key: "Wieringa08"
- title: "Monitoring Service Compositions in MoDe4SLA - Design of Validation"
  author:
  - name: "Lianne Bodenstaff"
    link: "https://researchr.org/alias/lianne-bodenstaff"
  - name: "Andreas Wombacher"
    link: "https://researchr.org/alias/andreas-wombacher"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Michael C. Jaeger"
    link: "https://researchr.org/alias/michael-c.-jaeger"
  - name: "Manfred Reichert"
    link: "https://researchr.org/alias/manfred-reichert"
  year: "2009"
  tags:
  - "composition"
  - "C++"
  - "design"
  researchr: "https://researchr.org/publication/BodenstaffWWJR09"
  cites: 0
  citedby: 0
  pages: "114-121"
  booktitle: "ICEIS 2009 - Proceedings of the 11th International Conference on Enterprise Information Systems, Volume SAIC, Milan, Italy, May 6-10, 2009"
  editor:
  - name: "José Cordeiro"
    link: "https://researchr.org/alias/jos%C3%A3%C2%A9-cordeiro"
  - name: "Joaquim Filipe"
    link: "https://researchr.org/alias/joaquim-filipe"
  isbn: "978-989-8111-87-6"
  kind: "inproceedings"
  key: "BodenstaffWWJR09"
- title: "Towards self-configuration and management of e-service provisioning in dynamic value constellations"
  author:
  - name: "Jaap Gordijn"
    link: "http://www.cs.vu.nl/~gordijn/"
  - name: "Hans Weigand"
    link: "https://researchr.org/alias/hans-weigand"
  - name: "Manfred Reichert"
    link: "https://researchr.org/alias/manfred-reichert"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1363686.1363823"
  links:
    doi: "http://doi.acm.org/10.1145/1363686.1363823"
  tags:
  - "e-science"
  researchr: "https://researchr.org/publication/GordijnWRW08"
  cites: 0
  citedby: 0
  pages: "566-571"
  booktitle: "Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008"
  editor:
  - name: "Roger L. Wainwright"
    link: "https://researchr.org/alias/roger-l.-wainwright"
  - name: "Hisham Haddad"
    link: "https://researchr.org/alias/hisham-haddad"
  publisher: "ACM"
  isbn: "978-1-59593-753-7"
  kind: "inproceedings"
  key: "GordijnWRW08"
- title: "Project Graal: Towards Operational Architecture Alignment"
  author:
  - name: "Pascal van Eck"
    link: "https://researchr.org/alias/pascal-van-eck"
  - name: "Henk M. Blanken"
    link: "https://researchr.org/alias/henk-m.-blanken"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2004"
  doi: "http://dx.doi.org/10.1142/S0218843004000961"
  links:
    doi: "http://dx.doi.org/10.1142/S0218843004000961"
  tags:
  - "architecture"
  - "Pascal"
  researchr: "https://researchr.org/publication/EckBW04"
  cites: 0
  citedby: 0
  journal: "Int. J. Cooperative Inf. Syst."
  volume: "13"
  number: "3"
  pages: "235-255"
  kind: "article"
  key: "EckBW04"
- title: "MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations"
  author:
  - name: "Lianne Bodenstaff"
    link: "https://researchr.org/alias/lianne-bodenstaff"
  - name: "Andreas Wombacher"
    link: "https://researchr.org/alias/andreas-wombacher"
  - name: "Manfred Reichert"
    link: "https://researchr.org/alias/manfred-reichert"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/s11761-010-0062-7"
  links:
    doi: "http://dx.doi.org/10.1007/s11761-010-0062-7"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/soca/BodenstaffWRW10"
  researchr: "https://researchr.org/publication/BodenstaffWRW10"
  cites: 0
  citedby: 0
  journal: "Service Oriented Computing and Applications"
  volume: "4"
  number: "3"
  pages: "203-228"
  kind: "article"
  key: "BodenstaffWRW10"
- title: "Integrated Specification of Values, Objects and Processes for Object-Oriented Models (Extended Abstract)"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "1990"
  tags:
  - "meta-model"
  - "object-role modeling"
  - "Meta-Environment"
  - "process modeling"
  - "meta-objects"
  researchr: "https://researchr.org/publication/Wieringa90-0"
  cites: 0
  citedby: 0
  pages: "199-208"
  booktitle: "FMLDO"
  kind: "inproceedings"
  key: "Wieringa90-0"
- title: "A Fixed-point Characterization of a Deontic Logic of Regular Action"
  author:
  - name: "Jan Broersen"
    link: "https://researchr.org/alias/jan-broersen"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  year: "2002"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/BroersenWM02"
  cites: 0
  citedby: 0
  journal: "Fundamenta Informaticae"
  volume: "49"
  number: "4"
  pages: "107-128"
  kind: "article"
  key: "BroersenWM02"
- title: "On Quality Issues in Networked Value Constellations"
  author:
  - name: "Novica Zarvic"
    link: "https://researchr.org/alias/novica-zarvic"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Pascal van Eck"
    link: "https://researchr.org/alias/pascal-van-eck"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-0-387-84837-2_44"
  links:
    doi: "http://dx.doi.org/10.1007/978-0-387-84837-2_44"
  tags:
  - "Pascal"
  researchr: "https://researchr.org/publication/ZarvicWE08%3A0"
  cites: 0
  citedby: 0
  pages: "425-432"
  booktitle: "Pervasive Collaborative Networks, IFIP TC 5 WG 5.5 Ninth Working Conference on Virtual Enterprises, September 8-10, 2008, Poznan, Poland"
  editor:
  - name: "Luis M. Camarinha-Matos"
    link: "https://researchr.org/alias/luis-m.-camarinha-matos"
  - name: "Willy Picard"
    link: "https://researchr.org/alias/willy-picard"
  volume: "283"
  series: "IFIP"
  publisher: "Springer"
  isbn: "978-0-387-84836-5"
  kind: "inproceedings"
  key: "ZarvicWE08:0"
- title: "Dynamic Database Logic: the First-order Case"
  author:
  - name: "Paul Spruit"
    link: "https://researchr.org/alias/paul-spruit"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  year: "1992"
  tags:
  - "database"
  - "logic"
  researchr: "https://researchr.org/publication/SpruitWM92"
  cites: 0
  citedby: 0
  pages: "103-120"
  booktitle: "Modelling Database Dynamics, Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse (near Braunschweig), Germany, 19-23 October 1992"
  editor:
  - name: "Udo W. Lipeck"
    link: "https://researchr.org/alias/udo-w.-lipeck"
  - name: "Bernhard Thalheim"
    link: "https://researchr.org/alias/bernhard-thalheim"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19803-2"
  kind: "inproceedings"
  key: "SpruitWM92"
- title: "LCM and MCM"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "1995"
  researchr: "https://researchr.org/publication/Wieringa95"
  cites: 0
  citedby: 0
  pages: "333-355"
  booktitle: "Formal Development of Reactive Systems - Case Study Production Cell"
  editor:
  - name: "Claus Lewerentz"
    link: "https://researchr.org/alias/claus-lewerentz"
  - name: "Thomas Lindner"
    link: "https://researchr.org/alias/thomas-lindner"
  volume: "891"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58867-1"
  kind: "inproceedings"
  key: "Wieringa95"
- title: "Enterprise architecture: Management tool and blueprint for the organisation"
  author:
  - name: "Henk Jonkers"
    link: "https://researchr.org/alias/henk-jonkers"
  - name: "Marc M. Lankhorst"
    link: "https://researchr.org/alias/marc-m.-lankhorst"
  - name: "Hugo W. L. ter Doest"
    link: "https://researchr.org/alias/hugo-w.-l.-ter-doest"
  - name: "Farhad Arbab"
    link: "https://researchr.org/alias/farhad-arbab"
  - name: "Hans Bosma"
    link: "https://researchr.org/alias/hans-bosma"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s10796-006-7970-2"
  links:
    doi: "http://dx.doi.org/10.1007/s10796-006-7970-2"
  tags:
  - "architecture"
  researchr: "https://researchr.org/publication/JonkersLDABW06"
  cites: 0
  citedby: 0
  journal: "Information Systems Frontiers"
  volume: "8"
  number: "2"
  pages: "63-66"
  kind: "article"
  key: "JonkersLDABW06"
- title: "Requirements Engineering: Problem Analysis and Solution Specification (Extended Abstract)"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3140&spage=13"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3140&spage=13"
  tags:
  - "analysis"
  - "requirements engineering"
  researchr: "https://researchr.org/publication/Wieringa04"
  cites: 0
  citedby: 0
  pages: "13-16"
  booktitle: "Web Engineering - 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings"
  editor:
  - name: "Nora Koch"
    link: "https://researchr.org/alias/nora-koch"
  - name: "Piero Fraternali"
    link: "https://researchr.org/alias/piero-fraternali"
  - name: "Martin Wirsing"
    link: "https://researchr.org/alias/martin-wirsing"
  volume: "3140"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22511-0"
  kind: "inproceedings"
  key: "Wieringa04"
- title: "Formal Analysis of the Shlaer-Mellor Method: Towards a Toolkit of Formal and Informal Requirements Specification Techniques"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Gunter Saake"
    link: "https://researchr.org/alias/gunter-saake"
  year: "1996"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/WieringaS96"
  cites: 0
  citedby: 0
  journal: "Requir. Eng."
  volume: "1"
  number: "2"
  pages: "106-131"
  kind: "article"
  key: "WieringaS96"
- title: "Towards Semantic Service Specification and Discovery"
  author:
  - name: "Stanislav Pokraev"
    link: "https://researchr.org/alias/stanislav-pokraev"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Maarten W. A. Steen"
    link: "http://www.novay.nl/onze-mensen/maarten-steen/2270"
  year: "2004"
  tags:
  - "discovery"
  researchr: "https://researchr.org/publication/PokraevWS04"
  cites: 0
  citedby: 0
  pages: "363-367"
  booktitle: "CAiSE 04 Workshops in connection with The 16th Conference on Advanced Information Systems Engineering, Riga, Latvia, 7-11 June, 2004, Knowledge and Model Driven Information Systems Engineering for Networked Organisations, Proceedings, Vol. 3"
  editor:
  - name: "Janis Grundspenkis"
    link: "https://researchr.org/alias/janis-grundspenkis"
  - name: "Marite Kirikova"
    link: "https://researchr.org/alias/marite-kirikova"
  publisher: "Faculty of Computer Science and Information Technology, Riga Technical University, Riga, Latvia"
  isbn: "9984-9767-3-4"
  kind: "inproceedings"
  key: "PokraevWS04"
- title: "Cross-organizational ERP management: how to create a successful business case?"
  author:
  - name: "Silja Eckartz"
    link: "https://researchr.org/alias/silja-eckartz"
  - name: "Maya Daneva"
    link: "https://researchr.org/alias/maya-daneva"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Jos van Hillegersberg"
    link: "https://researchr.org/alias/jos-van-hillegersberg"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1529282.1529641"
  links:
    doi: "http://doi.acm.org/10.1145/1529282.1529641"
  researchr: "https://researchr.org/publication/EckartzDWH09"
  cites: 0
  citedby: 0
  pages: "1599-1604"
  booktitle: "Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009"
  editor:
  - name: "Sung Y. Shin"
    link: "https://researchr.org/alias/sung-y.-shin"
  - name: "Sascha Ossowski"
    link: "https://researchr.org/alias/sascha-ossowski"
  publisher: "ACM"
  isbn: "978-1-60558-166-8"
  kind: "inproceedings"
  key: "EckartzDWH09"
- title: "Requirements Level Semantics for UML Statecharts"
  author:
  - name: "Rik Eshuis"
    link: "https://researchr.org/alias/rik-eshuis"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2000"
  tags:
  - "semantics"
  - "UML"
  researchr: "https://researchr.org/publication/EshuisW00"
  cites: 0
  citedby: 0
  pages: "121"
  booktitle: "Formal Methods for Open Object-Based Distributed Systems IV, IFIF TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA"
  editor:
  - name: "Scott F. Smith"
    link: "https://researchr.org/alias/scott-f.-smith"
  - name: "Carolyn L. Talcott"
    link: "https://researchr.org/alias/carolyn-l.-talcott"
  volume: "177"
  series: "IFIP Conference Proceedings"
  publisher: "Kluwer"
  isbn: "0-7923-7923-3"
  kind: "inproceedings"
  key: "EshuisW00"
- title: "A requirements engineering framework for cross-organizational ERP systems"
  author:
  - name: "Maya Daneva"
    link: "https://researchr.org/alias/maya-daneva"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s00766-006-0034-9"
  links:
    doi: "http://dx.doi.org/10.1007/s00766-006-0034-9"
  tags:
  - "requirements engineering"
  researchr: "https://researchr.org/publication/DanevaW06%3A0"
  cites: 0
  citedby: 0
  journal: "Requir. Eng."
  volume: "11"
  number: "3"
  pages: "194-204"
  kind: "article"
  key: "DanevaW06:0"
- title: "The Inheritance of Dynamic and Deontic Integrity Constraints"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Hans Weigand"
    link: "https://researchr.org/alias/hans-weigand"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  - name: "Frank Dignum"
    link: "https://researchr.org/alias/frank-dignum"
  year: "1991"
  tags:
  - "constraints"
  researchr: "https://researchr.org/publication/WieringaWMD91"
  cites: 0
  citedby: 0
  journal: "Annals of Mathematics and Artificial Intelligence"
  volume: "3"
  number: "2-4"
  pages: "393-428"
  kind: "article"
  key: "WieringaWMD91"
- title: "Actor-Oriented System Specification with Dynamic Logic"
  author:
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "1991"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/MeyerW91"
  cites: 0
  citedby: 0
  pages: "337-357"
  booktitle: "TAPSOFT 91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt"
  editor:
  - name: "Samson Abramsky"
    link: "https://researchr.org/alias/samson-abramsky"
  - name: "T. S. E. Maibaum"
    link: "https://researchr.org/alias/t.-s.-e.-maibaum"
  volume: "494"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-53981-6"
  kind: "inproceedings"
  key: "MeyerW91"
- title: "Guest Editors  Introduction: RE 03--Practical Requirements Engineering Solutions"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Christof Ebert"
    link: "https://researchr.org/alias/christof-ebert"
  year: "2004"
  doi: "http://csdl.computer.org/comp/mags/so/2004/02/s2016.pdf"
  links:
    doi: "http://csdl.computer.org/comp/mags/so/2004/02/s2016.pdf"
  tags:
  - "requirements engineering"
  researchr: "https://researchr.org/publication/WieringaE04"
  cites: 0
  citedby: 0
  journal: "IEEE Software"
  volume: "21"
  number: "2"
  pages: "16-18"
  kind: "article"
  key: "WieringaE04"
- title: "Techniques for Reactive System Design: The Tools in TRADE"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "David N. Jansen"
    link: "https://researchr.org/alias/david-n.-jansen"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2068/20680093.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2068/20680093.htm"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/WieringaJ01"
  cites: 0
  citedby: 0
  pages: "93-107"
  booktitle: "Advanced Information Systems Engineering, 13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001, Proceedings"
  editor:
  - name: "Klaus R. Dittrich"
    link: "https://researchr.org/alias/klaus-r.-dittrich"
  - name: "Andreas Geppert"
    link: "https://researchr.org/alias/andreas-geppert"
  - name: "Moira C. Norrie"
    link: "https://researchr.org/alias/moira-c.-norrie"
  volume: "2068"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42215-3"
  kind: "inproceedings"
  key: "WieringaJ01"
- title: "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"
  author:
  - name: "Valeria de Castro"
    link: "https://researchr.org/alias/valeria-de-castro"
  - name: "Esperanza Marcos"
    link: "https://researchr.org/alias/esperanza-marcos"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2009"
  doi: "http://dx.doi.org/10.1142/S0218843009002038"
  links:
    doi: "http://dx.doi.org/10.1142/S0218843009002038"
  tags:
  - "web service"
  - "composition"
  - "business process modeling"
  - "process modeling"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/CastroMW09"
  cites: 0
  citedby: 0
  journal: "Int. J. Cooperative Inf. Syst."
  volume: "18"
  number: "2"
  pages: "225-260"
  kind: "article"
  key: "CastroMW09"
- title: "Security Implications of Virtualization: A Literature Study"
  author:
  - name: "André van Cleeff"
    link: "https://researchr.org/alias/andr%C3%A3%C2%A9-van-cleeff"
  - name: "Wolter Pieters"
    link: "https://researchr.org/alias/wolter-pieters"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/CSE.2009.267"
  links:
    doi: "http://dx.doi.org/10.1109/CSE.2009.267"
  tags:
  - "security"
  researchr: "https://researchr.org/publication/CleeffPW09"
  cites: 0
  citedby: 0
  pages: "353-358"
  booktitle: "Proceedings IEEE CSE 09, 12th IEEE International Conference on Computational Science and Engineering, August 29-31, 2009, Vancouver, BC, Canada"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "CleeffPW09"
- title: "Algebraic Specification of Object Dynamics in Knowledge Base Domains"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Reind P. van de Riet"
    link: "https://researchr.org/alias/reind-p.-van-de-riet"
  year: "1988"
  tags:
  - "rule-based"
  - "algebraic specification"
  - " algebra"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/WieringaR88"
  cites: 0
  citedby: 0
  pages: "411-436"
  booktitle: "DS-3"
  kind: "inproceedings"
  key: "WieringaR88"
- title: "Postmodern Software Design with NYAM: Not Yet Another Method"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "1997"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/Wieringa97%3A0"
  cites: 0
  citedby: 0
  pages: "69-94"
  booktitle: "Requirements Targeting Software and Systems Engineering, International Workshop RTSE  97, Bernried, Germany, October 12-14, 1997, Proceedings"
  editor:
  - name: "Manfred Broy"
    link: "https://researchr.org/alias/manfred-broy"
  - name: "Bernhard Rumpe"
    link: "http://www.se-rwth.de/~rumpe/"
  volume: "1526"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65309-0"
  kind: "inproceedings"
  key: "Wieringa97:0"
- title: "Exploiting a Goal-Decomposition Technique to Prioritize Non-functional Requirements"
  author:
  - name: "Maya Daneva"
    link: "https://researchr.org/alias/maya-daneva"
  - name: "Mohamad Kassab"
    link: "https://researchr.org/alias/mohamad-kassab"
  - name: "María Laura Ponisio"
    link: "https://researchr.org/alias/mar%C3%ADa-laura-ponisio"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Olga Ormandjieva"
    link: "https://researchr.org/alias/olga-ormandjieva"
  year: "2007"
  doi: "http://wer.inf.puc-rio.br/WERpapers/artigos/artigos_WER07/Uwer07-daneva.pdf"
  links:
    doi: "http://wer.inf.puc-rio.br/WERpapers/artigos/artigos_WER07/Uwer07-daneva.pdf"
  researchr: "https://researchr.org/publication/DanevaKPWO07"
  cites: 0
  citedby: 0
  pages: "190-196"
  booktitle: "Anais do WER07 - Workshop em Engenharia de Requisitos, Toronto, Canada, May 17-18, 2007"
  editor:
  - name: "Carina Alves"
    link: "https://researchr.org/alias/carina-alves"
  - name: "Vera Werneck"
    link: "https://researchr.org/alias/vera-werneck"
  - name: "Luiz Marcio Cysneiros"
    link: "https://researchr.org/alias/luiz-marcio-cysneiros"
  isbn: "978-1-55014-483-3"
  kind: "inproceedings"
  key: "DanevaKPWO07"
- title: "Advanced Object-Oriented Requirements Specification Methods"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "1997"
  doi: "http://computer.org/proceedings/re/7740/77400266.pdf"
  links:
    doi: "http://computer.org/proceedings/re/7740/77400266.pdf"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/Wieringa97"
  cites: 0
  citedby: 0
  pages: "266"
  booktitle: "3rd IEEE International Symposium on Requirements Engineering (RE 97), January 5-8, 1997, Annapolis, MD, USA"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "Wieringa97"
- title: "Integrating Semi-formal and Formal Requirements"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Eric Dubois"
    link: "https://researchr.org/alias/eric-dubois"
  - name: "Sander Huyts"
    link: "https://researchr.org/alias/sander-huyts"
  year: "1997"
  researchr: "https://researchr.org/publication/WieringaDH97"
  cites: 0
  citedby: 0
  pages: "19-32"
  booktitle: "Advanced Information Systems Engineering, 9th International Conference CAiSE 97, Barcelona, Catalonia, Spain, June 16-20, 1997, Proceedings"
  editor:
  - name: "Antoni Olivé"
    link: "https://researchr.org/alias/antoni-oliv%C3%A9"
  - name: "Joan Antoni Pastor"
    link: "https://researchr.org/alias/joan-antoni-pastor"
  volume: "1250"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63107-0"
  kind: "inproceedings"
  key: "WieringaDH97"
- title: "Workshop on technology transfer in software engineering"
  author:
  - name: "Warren Harrison"
    link: "https://researchr.org/alias/warren-harrison"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1134485"
  links:
    doi: "http://doi.acm.org/10.1145/1134485"
  tags:
  - "software engineering"
  researchr: "https://researchr.org/publication/HarrisonW06"
  cites: 0
  citedby: 0
  pages: "1024-1025"
  booktitle: "28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006"
  editor:
  - name: "Leon J. Osterweil"
    link: "https://researchr.org/alias/leon-j.-osterweil"
  - name: "H. Dieter Rombach"
    link: "https://researchr.org/alias/h.-dieter-rombach"
  - name: "Mary Lou Soffa"
    link: "https://researchr.org/alias/mary-lou-soffa"
  publisher: "ACM"
  isbn: "1-59593-375-1"
  kind: "inproceedings"
  key: "HarrisonW06"
- title: "Second International Workshop on From SofTware Requirements to Architectures (STRAW 03)"
  author:
  - name: "Daniel M. Berry"
    link: "https://researchr.org/alias/daniel-m.-berry"
  - name: "Rick Kazman"
    link: "https://researchr.org/alias/rick-kazman"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/986710.986722"
  links:
    doi: "http://doi.acm.org/10.1145/986710.986722"
  tags:
  - "software architecture"
  - "architecture"
  researchr: "https://researchr.org/publication/BerryKW04"
  cites: 0
  citedby: 0
  journal: "ACM SIGSOFT Software Engineering Notes"
  volume: "29"
  number: "3"
  pages: "1-5"
  kind: "article"
  key: "BerryKW04"
- title: "Design Science, Engineering Science and Requirements Engineering"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "J. M. G. Heerkens"
    link: "https://researchr.org/alias/j.-m.-g.-heerkens"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/RE.2008.63"
  abstract: "For several decades there has been a debate in the computing sciences about the relative roles of design and empirical research, and about the contribution of design and research methodology to the relevance of research results. In this minitutorial we review this debate and compare it with evidence about the relation between design and research in the history of science and technology. Our review shows that research and design are separate but concurrent activities, and that relevance of research results depends on problem setting rather than on rigorous methods. We argue that rigorous scientific methods separate design from research, and we give simple model for how to do this in a problem-driven way."
  links:
    doi: "http://dx.doi.org/10.1109/RE.2008.63"
  tags:
  - "empirical"
  - "design science"
  - "meta-model"
  - "design research"
  - "requirements engineering"
  - "model-driven engineering"
  - "object-role modeling"
  - "reviewing"
  - "e-science"
  - "history"
  - "Meta-Environment"
  - "design"
  researchr: "https://researchr.org/publication/WieringaH08"
  cites: 0
  citedby: 0
  pages: "310-313"
  booktitle: "16th IEEE International Requirements Engineering Conference, RE 2008, 8-12 September 2008, Barcelona, Catalunya, Spain"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "WieringaH08"
- title: "Eliciting User Requirements for Ambient Intelligent Systems: A Case Study"
  author:
  - name: "Ana Ivanovic"
    link: "https://researchr.org/alias/ana-ivanovic"
  - name: "Aga Matysiak"
    link: "https://researchr.org/alias/aga-matysiak"
  - name: "Klaas Sikkel"
    link: "https://researchr.org/alias/klaas-sikkel"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/RE.2005.25"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/RE.2005.25"
  tags:
  - "case study"
  researchr: "https://researchr.org/publication/IvanovicMSW05"
  cites: 0
  citedby: 0
  pages: "477-478"
  booktitle: "13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August - 2 September 2005, Paris, France"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2425-7"
  kind: "inproceedings"
  key: "IvanovicMSW05"
- title: "The methodological soundness of requirements engineering papers: a conceptual framework and two case studies"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "J. M. G. Heerkens"
    link: "https://researchr.org/alias/j.-m.-g.-heerkens"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s00766-006-0037-6"
  links:
    doi: "http://dx.doi.org/10.1007/s00766-006-0037-6"
  tags:
  - "case study"
  - "requirements engineering"
  researchr: "https://researchr.org/publication/WieringaH06"
  cites: 0
  citedby: 0
  journal: "Requir. Eng."
  volume: "11"
  number: "4"
  pages: "295-307"
  kind: "article"
  key: "WieringaH06"
- title: "Combining Static and Dynamic Modelling Methods: A Comparison of Four Methods"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "1995"
  researchr: "https://researchr.org/publication/Wieringa95-0"
  cites: 0
  citedby: 0
  journal: "Comput. J."
  volume: "38"
  number: "1"
  pages: "17-30"
  kind: "article"
  key: "Wieringa95-0"
- title: "Report on the working conference on requirements engineering: foundation for software quality (REFSQ 09)"
  author:
  - name: "Martin Glinz"
    link: "https://researchr.org/alias/martin-glinz"
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  - name: "Anne Persson"
    link: "https://researchr.org/alias/anne-persson"
  - name: "Guttorm Sindre"
    link: "https://researchr.org/alias/guttorm-sindre"
  - name: "Aybüke Aurum"
    link: "https://researchr.org/alias/ayb%C3%A3%C2%BCke-aurum"
  - name: "Nazim H. Madhavji"
    link: "https://researchr.org/alias/nazim-h.-madhavji"
  - name: "Barbara Paech"
    link: "https://researchr.org/alias/barbara-paech"
  - name: "Gil Regev"
    link: "https://researchr.org/alias/gil-regev"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1598732.1598759"
  links:
    doi: "http://doi.acm.org/10.1145/1598732.1598759"
  tags:
  - "requirements engineering"
  - "software engineering"
  researchr: "https://researchr.org/publication/GlinzHPSAMPRW09"
  cites: 0
  citedby: 0
  journal: "ACM SIGSOFT Software Engineering Notes"
  volume: "34"
  number: "5"
  pages: "40-45"
  kind: "article"
  key: "GlinzHPSAMPRW09"
- title: "Using Dynamic Classes and Role Classes to Model Object Migration"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Wiebren de Jonge"
    link: "https://researchr.org/alias/wiebren-de-jonge"
  - name: "Paul Spruit"
    link: "https://researchr.org/alias/paul-spruit"
  year: "1995"
  tags:
  - "migration"
  - "object-role modeling"
  researchr: "https://researchr.org/publication/WieringaJS95"
  cites: 0
  citedby: 0
  journal: "TAPOS"
  volume: "1"
  number: "1"
  pages: "61-83"
  kind: "article"
  key: "WieringaJS95"
- title: "Introduction to the First International Workshop on Empirical Research in Business Process Management (ER-BPM 2009)"
  author:
  - name: "Bela Mutschler"
    link: "https://researchr.org/alias/bela-mutschler"
  - name: "Jan Recker"
    link: "https://researchr.org/alias/jan-recker"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-12186-9_40"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-12186-9_40"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/bpm/MutschlerRW09"
  tags:
  - "empirical"
  researchr: "https://researchr.org/publication/MutschlerRW09"
  cites: 0
  citedby: 0
  pages: "427-428"
  booktitle: "Business Process Management Workshops, BPM 2009 International Workshops, Ulm, Germany, September 7, 2009. Revised Papers"
  editor:
  - name: "Stefanie Rinderle-Ma"
    link: "https://researchr.org/alias/stefanie-rinderle-ma"
  - name: "Shazia Wasim Sadiq"
    link: "https://researchr.org/alias/shazia-wasim-sadiq"
  - name: "Frank Leymann"
    link: "https://researchr.org/alias/frank-leymann"
  volume: "43"
  series: "Lecture Notes in Business Information Processing"
  publisher: "Springer"
  isbn: "978-3-642-12185-2"
  kind: "inproceedings"
  key: "MutschlerRW09"
- title: "A Survey of Structured and Object-Oriented Software Specification Methods and Techniques"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/299917.299919"
  links:
    doi: "http://doi.acm.org/10.1145/299917.299919"
  tags:
  - "survey"
  researchr: "https://researchr.org/publication/Wieringa98"
  cites: 0
  citedby: 0
  journal: "ACM Computing Surveys"
  volume: "30"
  number: "4"
  pages: "459-527"
  kind: "article"
  key: "Wieringa98"
- title: "A Formalization of Objects Using Equational Dynamic Logic"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "1991"
  tags:
  - "meta-model"
  - "logic"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/Wieringa91-0"
  cites: 0
  citedby: 0
  pages: "431-452"
  booktitle: "DOOD"
  kind: "inproceedings"
  key: "Wieringa91-0"
- title: "A Logic for the Specification of Multi-Object Systems (Short Paper)"
  author:
  - name: "Jan Broersen"
    link: "https://researchr.org/alias/jan-broersen"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "1999"
  tags:
  - "meta-model"
  - "logic"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/BroersenW99"
  cites: 0
  citedby: 0
  booktitle: "Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy"
  editor:
  - name: "Paolo Ciancarini"
    link: "https://researchr.org/alias/paolo-ciancarini"
  - name: "Alessandro Fantechi"
    link: "https://researchr.org/alias/alessandro-fantechi"
  - name: "Roberto Gorrieri"
    link: "https://researchr.org/alias/roberto-gorrieri"
  volume: "139"
  series: "IFIP Conference Proceedings"
  publisher: "Kluwer"
  isbn: "0-7923-8429-6"
  kind: "inproceedings"
  key: "BroersenW99"
- title: "Cost estimation for cross-organizational ERP projects: research perspectives"
  author:
  - name: "Maya Daneva"
    link: "https://researchr.org/alias/maya-daneva"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/s11219-008-9045-8"
  links:
    doi: "http://dx.doi.org/10.1007/s11219-008-9045-8"
  researchr: "https://researchr.org/publication/DanevaW08"
  cites: 0
  citedby: 0
  journal: "Software Quality Journal"
  volume: "16"
  number: "3"
  pages: "459-481"
  kind: "article"
  key: "DanevaW08"
- title: "Roles and Dynamic Subclasses: A Modal Logic Approach"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Wiebren de Jonge"
    link: "https://researchr.org/alias/wiebren-de-jonge"
  - name: "Paul Spruit"
    link: "https://researchr.org/alias/paul-spruit"
  year: "1994"
  doi: "http://link.springer.de/link/service/series/0558/bibs/0821/08210032.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/0821/08210032.htm"
  tags:
  - "modal logic"
  - "logic"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/WieringaJS94"
  cites: 0
  citedby: 0
  pages: "32-59"
  booktitle: "Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP  94, Bologna, Italy, July 4-8, 1994"
  editor:
  - name: "Mario Tokoro"
    link: "https://researchr.org/alias/mario-tokoro"
  - name: "Remo Pareschi"
    link: "https://researchr.org/alias/remo-pareschi"
  volume: "821"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58202-9"
  kind: "inproceedings"
  key: "WieringaJS94"
- title: "Aligning Application Architecture to the Business Context"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Henk M. Blanken"
    link: "https://researchr.org/alias/henk-m.-blanken"
  - name: "Maarten M. Fokkinga"
    link: "https://researchr.org/alias/maarten-m.-fokkinga"
  - name: "Paul W. P. J. Grefen"
    link: "https://researchr.org/alias/paul-w.-p.-j.-grefen"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2681/26810209.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2681/26810209.htm"
  tags:
  - "architecture"
  - "context-aware"
  researchr: "https://researchr.org/publication/WieringaBFG03"
  cites: 0
  citedby: 0
  pages: "209-225"
  booktitle: "Advanced Information Systems Engineering, 15th International Conference, CAiSE 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings"
  editor:
  - name: "Johann Eder"
    link: "https://researchr.org/alias/johann-eder"
  - name: "Michele Missikoff"
    link: "https://researchr.org/alias/michele-missikoff"
  volume: "2681"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40442-2"
  kind: "inproceedings"
  key: "WieringaBFG03"
- title: "Cross-Organizational Workflows: A Classification of Design Decisions"
  author:
  - name: "Pascal van Eck"
    link: "https://researchr.org/alias/pascal-van-eck"
  - name: "Rieko Yamamoto"
    link: "https://researchr.org/alias/rieko-yamamoto"
  - name: "Jaap Gordijn"
    link: "http://www.cs.vu.nl/~gordijn/"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2005"
  doi: "http://www.ceur-ws.org/Vol-161/FORUM_09.pdf"
  links:
    doi: "http://www.ceur-ws.org/Vol-161/FORUM_09.pdf"
  tags:
  - "classification"
  - "workflow"
  - "Pascal"
  - "design"
  researchr: "https://researchr.org/publication/EckYGW05"
  cites: 0
  citedby: 0
  booktitle: "The 17th Conference on Advanced Information Systems Engineering  (CAiSE  05), Porto, Portugal, 13-17 June, 2005, CAiSE Forum, Short Paper Proceedings"
  editor:
  - name: "Orlando Belo"
    link: "https://researchr.org/alias/orlando-belo"
  - name: "Johann Eder"
    link: "https://researchr.org/alias/johann-eder"
  - name: "João Falcão e Cunha"
    link: "https://researchr.org/alias/jo%C3%A3o-falc%C3%A3o-e-cunha"
  - name: "Oscar Pastor"
    link: "https://researchr.org/alias/oscar-pastor"
  volume: "161"
  series: "CEUR Workshop Proceedings"
  publisher: "CEUR-WS.org"
  kind: "inproceedings"
  key: "EckYGW05"
- title: "Some Finite-Graph Models for Process Algebra"
  author:
  - name: "Paul Spruit"
    link: "https://researchr.org/alias/paul-spruit"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "1991"
  tags:
  - "process algebra"
  - "graph-rewriting"
  - " algebra"
  - "rewriting"
  - "process modeling"
  researchr: "https://researchr.org/publication/SpruitW91"
  cites: 0
  citedby: 0
  pages: "495-509"
  booktitle: "CONCUR  91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings"
  editor:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  volume: "527"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-54430-5"
  kind: "inproceedings"
  key: "SpruitW91"
- title: "The mutual exclusion problem in reasoning about action and change"
  author:
  - name: "Jan Broersen"
    link: "https://researchr.org/alias/jan-broersen"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2002"
  researchr: "https://researchr.org/publication/BroersenMW02"
  cites: 0
  citedby: 0
  pages: "365-371"
  booktitle: "9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings"
  editor:
  - name: "Salem Benferhat"
    link: "https://researchr.org/alias/salem-benferhat"
  - name: "Enrico Giunchiglia"
    link: "https://researchr.org/alias/enrico-giunchiglia"
  kind: "inproceedings"
  key: "BroersenMW02"
- title: "Semantic and Pragmatic Interoperability: A Model for Understanding"
  author:
  - name: "Stanislav Pokraev"
    link: "https://researchr.org/alias/stanislav-pokraev"
  - name: "Manfred Reichert"
    link: "https://researchr.org/alias/manfred-reichert"
  - name: "Maarten W. A. Steen"
    link: "http://www.novay.nl/onze-mensen/maarten-steen/2270"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2005"
  doi: "http://www.ceur-ws.org/Vol-160/paper21.pdf"
  links:
    doi: "http://www.ceur-ws.org/Vol-160/paper21.pdf"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/PokraevRSW05"
  cites: 0
  citedby: 0
  booktitle: "EMOI - INTEROP 05, Enterprise Modelling and Ontologies for Interoperability, Proceedings of the Open Interop Workshop on Enterprise Modelling and Ontologies for Interoperability, Co-located with CAiSE 05 Conference, Porto (Portugal), 13th-14th June 2005"
  editor:
  - name: "Michele Missikoff"
    link: "https://researchr.org/alias/michele-missikoff"
  - name: "Antonio De Nicola"
    link: "https://researchr.org/alias/antonio-de-nicola"
  volume: "160"
  series: "CEUR Workshop Proceedings"
  publisher: "CEUR-WS.org"
  kind: "inproceedings"
  key: "PokraevRSW05"
- title: "Value-Based Requirements Engineering for Value Webs"
  author:
  - name: "Novica Zarvic"
    link: "https://researchr.org/alias/novica-zarvic"
  - name: "Maya Daneva"
    link: "https://researchr.org/alias/maya-daneva"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73031-6_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-73031-6_9"
  tags:
  - "rule-based"
  - "web engineering"
  - "requirements engineering"
  researchr: "https://researchr.org/publication/ZarvicDW07"
  cites: 0
  citedby: 0
  pages: "116-128"
  booktitle: "Requirements Engineering: Foundation for Software Quality, 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings"
  editor:
  - name: "Peter Sawyer"
    link: "https://researchr.org/alias/peter-sawyer"
  - name: "Barbara Paech"
    link: "https://researchr.org/alias/barbara-paech"
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  volume: "4542"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73030-9"
  kind: "inproceedings"
  key: "ZarvicDW07"
- title: "Value-Based Design of Collaboration Processes for e-Commerce"
  author:
  - name: "Pascal van Eck"
    link: "https://researchr.org/alias/pascal-van-eck"
  - name: "Jaap Gordijn"
    link: "http://www.cs.vu.nl/~gordijn/"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2004"
  doi: "http://csdl.computer.org/comp/proceedings/eee/2004/2073/00/20730349abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/eee/2004/2073/00/20730349abs.htm"
  tags:
  - "design science"
  - "rule-based"
  - "e-science"
  - "Pascal"
  - "design"
  researchr: "https://researchr.org/publication/EckGW04"
  cites: 0
  citedby: 0
  pages: "349-358"
  booktitle: "2004 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 04), 29-31 March 2004, Taipei, Taiwan"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2073-1"
  kind: "inproceedings"
  key: "EckGW04"
- title: "External Insider Threat: A Real Security Challenge in Enterprise Value Webs"
  author:
  - name: "Virginia N. L. Franqueira"
    link: "https://researchr.org/alias/virginia-n.-l.-franqueira"
  - name: "André van Cleeff"
    link: "https://researchr.org/alias/andr%C3%A3%C2%A9-van-cleeff"
  - name: "Pascal van Eck"
    link: "https://researchr.org/alias/pascal-van-eck"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2010"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ARES.2010.40"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ARES.2010.40"
  tags:
  - "security"
  - "Pascal"
  researchr: "https://researchr.org/publication/FranqueiraCEW10"
  cites: 0
  citedby: 0
  pages: "446-453"
  booktitle: "ARES 2010, Fifth International Conference on Availability, Reliability and Security, 15-18 February 2010, Krakow, Poland"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-3965-2"
  kind: "inproceedings"
  key: "FranqueiraCEW10"
- title: "An Approach for Maintaining Models of an E-commerce Collaboration"
  author:
  - name: "Lianne Bodenstaff"
    link: "https://researchr.org/alias/lianne-bodenstaff"
  - name: "Andreas Wombacher"
    link: "https://researchr.org/alias/andreas-wombacher"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Manfred Reichert"
    link: "https://researchr.org/alias/manfred-reichert"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/CECandEEE.2008.92"
  links:
    doi: "http://dx.doi.org/10.1109/CECandEEE.2008.92"
  tags:
  - "e-science"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/BodenstaffWWR08"
  cites: 0
  citedby: 0
  pages: "239-246"
  booktitle: "10th IEEE International Conference on E-Commerce Technology (CEC 2008) / 5th IEEE International Conference on Enterprise Computing, E-Commerce and E-Services (EEE 2008), July 21-14, 2008, Washington, DC, USA"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "BodenstaffWWR08"
- title: "06351 Summary -- Methods for Modelling Software Systems (MMOSS)"
  author:
  - name: "Ed Brinksma"
    link: "http://www.sigir2007.org/~brinksma/"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Angelika Mader"
    link: "https://researchr.org/alias/angelika-mader"
  - name: "Perdita Stevens"
    link: "https://researchr.org/alias/perdita-stevens"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2006"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2007/957"
  links:
    doi: "http://drops.dagstuhl.de/opus/volltexte/2007/957"
  researchr: "https://researchr.org/publication/BrinksmaHMSW06"
  cites: 0
  citedby: 0
  booktitle: "Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006"
  editor:
  - name: "Ed Brinksma"
    link: "http://www.sigir2007.org/~brinksma/"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Angelika Mader"
    link: "https://researchr.org/alias/angelika-mader"
  - name: "Perdita Stevens"
    link: "http://homepages.inf.ed.ac.uk/perdita/"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  volume: "06351"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany"
  kind: "inproceedings"
  key: "BrinksmaHMSW06"
- title: "Requirements Engineering-Based Conceptual Modelling"
  author:
  - name: "Emilio Insfrán"
    link: "https://researchr.org/alias/emilio-insfr%C3%A1n"
  - name: "Oscar Pastor"
    link: "https://researchr.org/alias/oscar-pastor"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2002"
  doi: "http://link.springer.de/link/service/journals/00766/bibs/2007002/20070061.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/00766/bibs/2007002/20070061.htm"
  tags:
  - "rule-based"
  - "meta-model"
  - "requirements engineering"
  - "model-driven engineering"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/InsfranPW02"
  cites: 0
  citedby: 0
  journal: "Requir. Eng."
  volume: "7"
  number: "2"
  pages: "61-72"
  kind: "article"
  key: "InsfranPW02"
- title: "Multi-Perspective Requirements Engineering for Networked Business Systems: A Framework for Pattern Composition"
  author:
  - name: "Zlatko Zlatev"
    link: "https://researchr.org/alias/zlatko-zlatev"
  - name: "Maya Daneva"
    link: "https://researchr.org/alias/maya-daneva"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2005"
  doi: "http://wer.inf.puc-rio.br/WERpapers/artigos/artigos_WER05/zlatko_zlatev.pdf"
  links:
    doi: "http://wer.inf.puc-rio.br/WERpapers/artigos/artigos_WER05/zlatko_zlatev.pdf"
  tags:
  - "composition"
  - "requirements engineering"
  researchr: "https://researchr.org/publication/ZlatevDW05"
  cites: 0
  citedby: 0
  pages: "26-37"
  booktitle: "Anais do WER05 - Workshop em Engenharia de Requisitos, Porto, Portugal, Junho 13-14, 2005"
  editor:
  - name: "João Araújo"
    link: "https://researchr.org/alias/jo%C3%A3o-ara%C3%BAjo"
  - name: "Amador Durán Toro"
    link: "https://researchr.org/alias/amador-dur%C3%A1n-toro"
  - name: "João Falcão e Cunha"
    link: "https://researchr.org/alias/jo%C3%A3o-falc%C3%A3o-e-cunha"
  isbn: "972-752-079-0"
  kind: "inproceedings"
  key: "ZlatevDW05"
- title: "Cross-Organizational Workflows: A Classification of Design Decisions"
  author:
  - name: "Pascal van Eck"
    link: "https://researchr.org/alias/pascal-van-eck"
  - name: "Rieko Yamamoto"
    link: "https://researchr.org/alias/rieko-yamamoto"
  - name: "Jaap Gordijn"
    link: "http://www.cs.vu.nl/~gordijn/"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/0-387-29773-1_30"
  links:
    doi: "http://dx.doi.org/10.1007/0-387-29773-1_30"
  tags:
  - "classification"
  - "workflow"
  - "Pascal"
  - "design"
  researchr: "https://researchr.org/publication/EckYGW05-0"
  cites: 0
  citedby: 0
  pages: "449-463"
  booktitle: "Challenges of Expanding Internet: E-Commerce, E-Business, and E-Government, 5th IFIP Conference e-Commerce, e-Business, and e-Government (I3E 2OO5), October 28-30, 2005, Poznan, Poland"
  editor:
  - name: "Matohisa Funabashi"
    link: "https://researchr.org/alias/matohisa-funabashi"
  - name: "Adam Grzech"
    link: "https://researchr.org/alias/adam-grzech"
  volume: "189"
  series: "IFIP"
  publisher: "Springer"
  isbn: "978-0-387-28753-9"
  kind: "inproceedings"
  key: "EckYGW05-0"
- title: "A Value-Oriented Approach to E-business Process Design"
  author:
  - name: "Jaap Gordijn"
    link: "http://www.cs.vu.nl/~gordijn/"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2681/26810390.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2681/26810390.htm"
  tags:
  - "design science"
  - "e-science"
  - "design"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/GordijnW03"
  cites: 0
  citedby: 0
  pages: "390-403"
  booktitle: "Advanced Information Systems Engineering, 15th International Conference, CAiSE 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings"
  editor:
  - name: "Johann Eder"
    link: "https://researchr.org/alias/johann-eder"
  - name: "Michele Missikoff"
    link: "https://researchr.org/alias/michele-missikoff"
  volume: "2681"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40442-2"
  kind: "inproceedings"
  key: "GordijnW03"
- title: "Second International Workshop on From SofTware Requirements to Architectures (STRAW?03)"
  author:
  - name: "Daniel M. Berry"
    link: "https://researchr.org/alias/daniel-m.-berry"
  - name: "Rick Kazman"
    link: "https://researchr.org/alias/rick-kazman"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2003"
  doi: "http://computer.org/proceedings/icse/1877/18770797.pdf"
  links:
    doi: "http://computer.org/proceedings/icse/1877/18770797.pdf"
  tags:
  - "software architecture"
  - "architecture"
  researchr: "https://researchr.org/publication/BerryKW03"
  cites: 0
  citedby: 0
  pages: "797-799"
  booktitle: "Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "BerryKW03"
- title: "A conceptual model and process for client-driven agile requirements prioritization"
  author:
  - name: "Zornitza Racheva"
    link: "https://researchr.org/alias/zornitza-racheva"
  - name: "Maya Daneva"
    link: "https://researchr.org/alias/maya-daneva"
  - name: "Andrea Herrmann"
    link: "https://researchr.org/alias/andrea-herrmann"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2010"
  doi: "http://dx.doi.org/10.1109/RCIS.2010.5507388"
  links:
    doi: "http://dx.doi.org/10.1109/RCIS.2010.5507388"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/rcis/RachevaDHW10"
  tags:
  - "process modeling"
  researchr: "https://researchr.org/publication/RachevaDHW10"
  cites: 0
  citedby: 0
  pages: "287-298"
  booktitle: "Proceedings of the Fourth IEEE International Conference on Research Challenges in Information Science, RCIS 2010, Nice, France, May 19-21, 2010"
  editor:
  - name: "Pericles Loucopoulos"
    link: "https://researchr.org/alias/pericles-loucopoulos"
  - name: "Jean-Louis Cavarero"
    link: "https://researchr.org/alias/jean-louis-cavarero"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "RachevaDHW10"
- title: "Design Science and Software Engineering"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2009"
  tags:
  - "design science"
  - "software engineering"
  - "e-science"
  - "design"
  researchr: "https://researchr.org/publication/Wieringa09"
  cites: 0
  citedby: 0
  pages: "5"
  booktitle: "ICSOFT 2009 - Proceedings of the 4th International Conference on Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29, 2009"
  editor:
  - name: "Boris Shishkov"
    link: "https://researchr.org/alias/boris-shishkov"
  - name: "José Cordeiro"
    link: "https://researchr.org/alias/jos%C3%A3%C2%A9-cordeiro"
  - name: "Alpesh Ranchordas"
    link: "https://researchr.org/alias/alpesh-ranchordas"
  publisher: "INSTICC Press"
  isbn: "978-989-674-009-2"
  kind: "inproceedings"
  key: "Wieringa09"
- title: "A systematic mapping study on empirical evaluation of software requirements specifications techniques"
  author:
  - name: "Nelly Condori-Fernández"
    link: "https://researchr.org/alias/nelly-condori-fern%C3%A3%C2%A1ndez"
  - name: "Maya Daneva"
    link: "https://researchr.org/alias/maya-daneva"
  - name: "Klaas Sikkel"
    link: "https://researchr.org/alias/klaas-sikkel"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Óscar Dieste Tubío"
    link: "https://researchr.org/alias/%C3%A3%E2%80%9Cscar-dieste-tub%C3%A3%C2%ADo"
  - name: "Oscar Pastor"
    link: "https://researchr.org/alias/oscar-pastor"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1671248.1671317"
  links:
    doi: "http://doi.acm.org/10.1145/1671248.1671317"
  tags:
  - "empirical"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/Condori-FernandezDSWTP09"
  cites: 0
  citedby: 0
  pages: "502-505"
  booktitle: "Proceedings of the Third International Symposium on Empirical Software Engineering and Measurement, ESEM 2009, October 15-16, 2009, Lake Buena Vista, Florida, USA"
  isbn: "978-1-4244-4842-5"
  kind: "inproceedings"
  key: "Condori-FernandezDSWTP09"
- title: "Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets"
  author:
  - name: "Rik Eshuis"
    link: "https://researchr.org/alias/rik-eshuis"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2472&spage=321"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2472&spage=321"
  tags:
  - "workflow"
  researchr: "https://researchr.org/publication/EshuisW03"
  cites: 0
  citedby: 0
  pages: "321-351"
  booktitle: "Petri Net Technology for Communication-Based Systems - Advances in Petri Nets"
  editor:
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Wolfgang Reisig"
    link: "https://researchr.org/alias/wolfgang-reisig"
  - name: "Grzegorz Rozenberg"
    link: "https://researchr.org/alias/grzegorz-rozenberg"
  - name: "Herbert Weber"
    link: "https://researchr.org/alias/herbert-weber"
  volume: "2472"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20538-1"
  kind: "inproceedings"
  key: "EshuisW03"
- title: "Actors, Actions, and Initiative in Normative System Specification"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  year: "1993"
  researchr: "https://researchr.org/publication/WieringaM93"
  cites: 0
  citedby: 0
  journal: "Annals of Mathematics and Artificial Intelligence"
  volume: "7"
  number: "1-4"
  pages: "289-346"
  kind: "article"
  key: "WieringaM93"
- title: "Equational Specification of Dynamic Objects"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "1990"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/Wieringa90"
  cites: 0
  citedby: 0
  pages: "415-438"
  booktitle: "DS-4"
  kind: "inproceedings"
  key: "Wieringa90"
- title: "The Declarative Problem Frame: Designing Systems that Create and Use Norms"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2000"
  doi: "http://portal.acm.org/citation.cfm?id=857171.857215"
  links:
    doi: "http://portal.acm.org/citation.cfm?id=857171.857215"
  researchr: "https://researchr.org/publication/Wieringa00"
  cites: 0
  citedby: 0
  pages: "75-86"
  booktitle: "Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-0884-7"
  kind: "inproceedings"
  key: "Wieringa00"
- title: "A Mobile Ambients-Based Approach for Network Attack Modelling and Simulation"
  author:
  - name: "Virginia N. L. Franqueira"
    link: "https://researchr.org/alias/virginia-n.-l.-franqueira"
  - name: "Pascal van Eck"
    link: "https://researchr.org/alias/pascal-van-eck"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Raul H. C. Lopes"
    link: "https://researchr.org/alias/raul-h.-c.-lopes"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/ARES.2009.125"
  links:
    doi: "http://dx.doi.org/10.1109/ARES.2009.125"
  tags:
  - "rule-based"
  - "C++"
  - "Pascal"
  - "mobile"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/FranqueiraEWL09"
  cites: 0
  citedby: 0
  pages: "546-553"
  booktitle: "Proceedings of the The Forth International Conference on Availability, Reliability and Security, ARES 2009, March 16-19, 2009, Fukuoka, Japan"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "FranqueiraEWL09"
- title: "Value-Driven Coordination Process Design Using Physical Delivery Models"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Vincent Pijpers"
    link: "https://researchr.org/alias/vincent-pijpers"
  - name: "Lianne Bodenstaff"
    link: "https://researchr.org/alias/lianne-bodenstaff"
  - name: "Jaap Gordijn"
    link: "http://www.cs.vu.nl/~gordijn/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-87877-3_17"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-87877-3_17"
  tags:
  - "design"
  - "process modeling"
  researchr: "https://researchr.org/publication/WieringaPBG08"
  cites: 0
  citedby: 0
  pages: "216-231"
  booktitle: "Conceptual Modeling - ER 2008, 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings"
  editor:
  - name: "Qing Li"
    link: "https://researchr.org/alias/qing-li"
  - name: "Stefano Spaccapietra"
    link: "https://researchr.org/alias/stefano-spaccapietra"
  - name: "Eric S. K. Yu"
    link: "https://researchr.org/alias/eric-s.-k.-yu"
  - name: "Antoni Olivé"
    link: "https://researchr.org/alias/antoni-oliv%C3%A9"
  volume: "5231"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-87876-6"
  kind: "inproceedings"
  key: "WieringaPBG08"
- title: "Requirements engineering paper classification and evaluation criteria: a proposal and a discussion"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Neil A. M. Maiden"
    link: "https://researchr.org/alias/neil-a.-m.-maiden"
  - name: "Nancy R. Mead"
    link: "https://researchr.org/alias/nancy-r.-mead"
  - name: "Colette Rolland"
    link: "https://researchr.org/alias/colette-rolland"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s00766-005-0021-6"
  links:
    doi: "http://dx.doi.org/10.1007/s00766-005-0021-6"
  tags:
  - "classification"
  - "requirements engineering"
  researchr: "https://researchr.org/publication/WieringaMMR06"
  cites: 0
  citedby: 0
  journal: "Requir. Eng."
  volume: "11"
  number: "1"
  pages: "102-107"
  kind: "article"
  key: "WieringaMMR06"
- title: "Towards Management of Complex Service Compositions - Position Paper"
  author:
  - name: "Lianne Bodenstaff"
    link: "https://researchr.org/alias/lianne-bodenstaff"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Andreas Wombacher"
    link: "https://researchr.org/alias/andreas-wombacher"
  - name: "Manfred Reichert"
    link: "https://researchr.org/alias/manfred-reichert"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/SERVICES-2.2009.27"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/SERVICES-2.2009.27"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/BodenstaffWWR09"
  cites: 0
  citedby: 0
  pages: "160-167"
  booktitle: "SERVICES II"
  kind: "inproceedings"
  key: "BodenstaffWWR09"
- title: "Value-oriented design of service coordination processes: correctness and trust"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Jaap Gordijn"
    link: "http://www.cs.vu.nl/~gordijn/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1066677.1066975"
  links:
    doi: "http://doi.acm.org/10.1145/1066677.1066975"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/WieringaG05"
  cites: 0
  citedby: 0
  pages: "1320-1327"
  booktitle: "Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005"
  editor:
  - name: "Hisham Haddad"
    link: "https://researchr.org/alias/hisham-haddad"
  - name: "Lorie M. Liebrock"
    link: "https://researchr.org/alias/lorie-m.-liebrock"
  - name: "Andrea Omicini"
    link: "https://researchr.org/alias/andrea-omicini"
  - name: "Roger L. Wainwright"
    link: "https://researchr.org/alias/roger-l.-wainwright"
  publisher: "ACM"
  isbn: "1-58113-964-0"
  kind: "inproceedings"
  key: "WieringaG05"
- title: "Requirements researchers: are we really doing research?"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/s00766-005-0013-6"
  links:
    doi: "http://dx.doi.org/10.1007/s00766-005-0013-6"
  researchr: "https://researchr.org/publication/Wieringa05"
  cites: 0
  citedby: 0
  journal: "Requir. Eng."
  volume: "10"
  number: "4"
  pages: "304-306"
  kind: "article"
  key: "Wieringa05"
- title: "Requirements Engineering for Cross-organizational ERP Implementation: Undocumented Assumptions and Potential Mismatches"
  author:
  - name: "Maya Daneva"
    link: "https://researchr.org/alias/maya-daneva"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/RE.2005.59"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/RE.2005.59"
  tags:
  - "requirements engineering"
  researchr: "https://researchr.org/publication/DanevaW05"
  cites: 0
  citedby: 0
  pages: "63-74"
  booktitle: "13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August - 2 September 2005, Paris, France"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2425-7"
  kind: "inproceedings"
  key: "DanevaW05"
- title: "How to Write and Read a Scientific Evaluation Paper"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Hans Heerkens"
    link: "https://researchr.org/alias/hans-heerkens"
  - name: "Björn Regnell"
    link: "https://researchr.org/alias/bj%C3%A3%C2%B6rn-regnell"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/RE.2009.17"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/RE.2009.17"
  researchr: "https://researchr.org/publication/WieringaHR09"
  cites: 0
  citedby: 0
  pages: "361-364"
  booktitle: "RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31 - September 4, 2009"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-3761-0"
  kind: "inproceedings"
  key: "WieringaHR09"
- title: "Verification support for workflow design with UML activity graphs"
  author:
  - name: "Rik Eshuis"
    link: "https://researchr.org/alias/rik-eshuis"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/581339.581362"
  links:
    doi: "http://doi.acm.org/10.1145/581339.581362"
  tags:
  - "UML"
  - "graph-rewriting"
  - "workflow"
  - "rewriting"
  - "design"
  researchr: "https://researchr.org/publication/EshuisW02"
  cites: 0
  citedby: 0
  pages: "166-176"
  booktitle: "Proceedings of the 22rd International Conference on Software Engineering, ICSE 2002, 19-25 May 2002, Orlando, Florida, USA"
  publisher: "ACM"
  kind: "inproceedings"
  key: "EshuisW02"
- title: "An Integrated Framework for Ought-to-Be and Ought-to-Do Constraints"
  author:
  - name: "P. d Altan"
    link: "https://researchr.org/alias/p.-d-altan"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "1996"
  tags:
  - "constraints"
  researchr: "https://researchr.org/publication/dAltanMW96"
  cites: 0
  citedby: 0
  journal: "Artif. Intell. Law"
  volume: "4"
  number: "2"
  pages: "77-111"
  kind: "article"
  key: "dAltanMW96"
- title: "Guest Editors  Introduction: Stakeholders in Requirements Engineering"
  author:
  - name: "Martin Glinz"
    link: "https://researchr.org/alias/martin-glinz"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/MS.2007.42"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/MS.2007.42"
  tags:
  - "requirements engineering"
  researchr: "https://researchr.org/publication/GlinzW07"
  cites: 0
  citedby: 0
  journal: "IEEE Software"
  volume: "24"
  number: "2"
  pages: "18-20"
  kind: "article"
  key: "GlinzW07"
- title: "Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts"
  author:
  - name: "Rik Eshuis"
    link: "https://researchr.org/alias/rik-eshuis"
  - name: "David N. Jansen"
    link: "https://researchr.org/alias/david-n.-jansen"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2002"
  doi: "http://dx.doi.org/10.1007/s007660200019"
  links:
    doi: "http://dx.doi.org/10.1007/s007660200019"
  tags:
  - "semantics"
  - "model checking"
  - "meta-model"
  - "object-role modeling"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/EshuisJW02"
  cites: 0
  citedby: 0
  journal: "Requir. Eng."
  volume: "7"
  number: "4"
  pages: "243-263"
  kind: "article"
  key: "EshuisJW02"
- title: "Developing a Domain-Specific Cross-Organizational RE Method"
  author:
  - name: "Jaap Gordijn"
    link: "http://www.cs.vu.nl/~gordijn/"
  - name: "Vera Kartseva"
    link: "https://researchr.org/alias/vera-kartseva"
  - name: "Joost Schildwacht"
    link: "https://researchr.org/alias/joost-schildwacht"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Hans Akkermans"
    link: "https://researchr.org/alias/hans-akkermans"
  year: "2004"
  doi: "http://doi.ieeecomputersociety.org/10.1109/RE.2004.17"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/RE.2004.17"
  researchr: "https://researchr.org/publication/GordijnKSWA04"
  cites: 0
  citedby: 0
  pages: "134-143"
  booktitle: "12th IEEE International Conference on Requirements Engineering (RE 2004), 6-10 September 2004, Kyoto, Japan"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2174-6"
  kind: "inproceedings"
  key: "GordijnKSWA04"
- title: "An Investigation into Agency Requirements in E-Business Information Systems"
  author:
  - name: "Pascal van Eck"
    link: "https://researchr.org/alias/pascal-van-eck"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2001"
  tags:
  - "e-science"
  - "Pascal"
  researchr: "https://researchr.org/publication/EckW01"
  cites: 0
  citedby: 0
  pages: "1081-1085"
  booktitle: "ICEIS (2)"
  kind: "inproceedings"
  key: "EckW01"
- title: "Extending CTL with Actions and Real Time"
  author:
  - name: "David N. Jansen"
    link: "https://researchr.org/alias/david-n.-jansen"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2002"
  doi: "http://www3.oup.co.uk/logcom/hdb/Volume_12/Issue_04/120607.sgm.abs.html"
  links:
    doi: "http://www3.oup.co.uk/logcom/hdb/Volume_12/Issue_04/120607.sgm.abs.html"
  researchr: "https://researchr.org/publication/JansenW02"
  cites: 0
  citedby: 0
  journal: "Journal of Logic and Computation"
  volume: "12"
  number: "4"
  pages: "607-621"
  kind: "article"
  key: "JansenW02"
- title: "Value-Oriented Coordination Process Modeling"
  author:
  - name: "Hassan Fatemi"
    link: "https://researchr.org/alias/hassan-fatemi"
  - name: "Marten van Sinderen"
    link: "https://researchr.org/alias/marten-van-sinderen"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-15618-2_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-15618-2_13"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/bpm/FatemiSW10"
  tags:
  - "modeling"
  - "process modeling"
  researchr: "https://researchr.org/publication/FatemiSW10"
  cites: 0
  citedby: 0
  pages: "162-177"
  booktitle: "Business Process Management - 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings"
  editor:
  - name: "Richard Hull"
    link: "https://researchr.org/alias/richard-hull"
  - name: "Jan Mendling"
    link: "https://researchr.org/alias/jan-mendling"
  - name: "Stefan Tai"
    link: "https://researchr.org/alias/stefan-tai"
  volume: "6336"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-15617-5"
  kind: "inproceedings"
  key: "FatemiSW10"
- title: "Minimal Semantics for Action Specifications in a Multi-modal Logic"
  author:
  - name: "Jan Broersen"
    link: "https://researchr.org/alias/jan-broersen"
  - name: "Remco Feenstra"
    link: "https://researchr.org/alias/remco-feenstra"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "1996"
  doi: "http://wwwiti.cs.uni-magdeburg.de/iti_db/IDB96-Proceedings/Broersen.ps.gz"
  links:
    doi: "http://wwwiti.cs.uni-magdeburg.de/iti_db/IDB96-Proceedings/Broersen.ps.gz"
  tags:
  - "semantics"
  - "modal logic"
  - " action semantics"
  - "logic"
  researchr: "https://researchr.org/publication/BroersenFW96"
  cites: 0
  citedby: 0
  pages: "1-10"
  booktitle: "FMLDO"
  kind: "inproceedings"
  key: "BroersenFW96"
- title: "Value-driven Service Matching"
  author:
  - name: "Jaap Gordijn"
    link: "http://www.cs.vu.nl/~gordijn/"
  - name: "Sybren de Kinderen"
    link: "https://researchr.org/alias/sybren-de-kinderen"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/RE.2008.10"
  links:
    doi: "http://dx.doi.org/10.1109/RE.2008.10"
  researchr: "https://researchr.org/publication/GordijnKW08"
  cites: 0
  citedby: 0
  pages: "67-70"
  booktitle: "16th IEEE International Requirements Engineering Conference, RE 2008, 8-12 September 2008, Barcelona, Catalunya, Spain"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "GordijnKW08"
- title: "Steps towards a method for the formal modeling of dynamic objects"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "1991"
  tags:
  - "meta-model"
  - "modeling"
  - "object-role modeling"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/Wieringa91"
  cites: 0
  citedby: 0
  journal: "Data \\& Knowledge Engineering"
  volume: "6"
  pages: "509-540"
  kind: "article"
  key: "Wieringa91"
- title: "Discussion Issues for a Working Group on Update Semantics of Logic Databases"
  author:
  - name: "Paul Spruit"
    link: "https://researchr.org/alias/paul-spruit"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "1991"
  tags:
  - "semantics"
  - "logic"
  researchr: "https://researchr.org/publication/SpruitMW91"
  cites: 0
  citedby: 0
  pages: "209-210"
  booktitle: "FMLDO"
  kind: "inproceedings"
  key: "SpruitMW91"
- title: "A Semantics for Persistency in Propositional Dynamic Logic"
  author:
  - name: "Jan Broersen"
    link: "https://researchr.org/alias/jan-broersen"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1861/18610912.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1861/18610912.htm"
  tags:
  - "semantics"
  - "persistent"
  - "logic"
  researchr: "https://researchr.org/publication/BroersenWM00"
  cites: 0
  citedby: 0
  pages: "912-925"
  booktitle: "Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings"
  editor:
  - name: "John W. Lloyd"
    link: "https://researchr.org/alias/john-w.-lloyd"
  - name: "Verónica Dahl"
    link: "https://researchr.org/alias/ver%C3%B3nica-dahl"
  - name: "Ulrich Furbach"
    link: "https://researchr.org/alias/ulrich-furbach"
  - name: "Manfred Kerber"
    link: "https://researchr.org/alias/manfred-kerber"
  - name: "Kung-Kiu Lau"
    link: "https://researchr.org/alias/kung-kiu-lau"
  - name: "Catuscia Palamidessi"
    link: "https://researchr.org/alias/catuscia-palamidessi"
  - name: "Luís Moniz Pereira"
    link: "https://researchr.org/alias/lu%C3%ADs-moniz-pereira"
  - name: "Yehoshua Sagiv"
    link: "https://researchr.org/alias/yehoshua-sagiv"
  - name: "Peter J. Stuckey"
    link: "https://researchr.org/alias/peter-j.-stuckey"
  volume: "1861"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67797-6"
  kind: "inproceedings"
  key: "BroersenWM00"
- title: "Surveying the factors that influence maintainability: research design"
  author:
  - name: "Wiebe Hordijk"
    link: "https://researchr.org/alias/wiebe-hordijk"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1081706.1081769"
  links:
    doi: "http://doi.acm.org/10.1145/1081706.1081769"
  tags:
  - "design research"
  - "survey"
  - "design"
  researchr: "https://researchr.org/publication/HordijkW05"
  cites: 0
  citedby: 0
  pages: "385-388"
  booktitle: "Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005"
  editor:
  - name: "Michel Wermelinger"
    link: "https://researchr.org/alias/michel-wermelinger"
  - name: "Harald Gall"
    link: "https://researchr.org/alias/harald-gall"
  publisher: "ACM"
  isbn: "1-59593-014-0"
  kind: "inproceedings"
  key: "HordijkW05"
- title: "Requirements for Secure Logging of Decentralized Cross-Organizational Workflow Executions"
  author:
  - name: "Andreas Wombacher"
    link: "https://researchr.org/alias/andreas-wombacher"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Willem Jonker"
    link: "https://researchr.org/alias/willem-jonker"
  - name: "Predrag Knezevic"
    link: "https://researchr.org/alias/predrag-knezevic"
  - name: "Stanislav Pokraev"
    link: "https://researchr.org/alias/stanislav-pokraev"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11575863_72"
  links:
    doi: "http://dx.doi.org/10.1007/11575863_72"
  tags:
  - "workflow"
  researchr: "https://researchr.org/publication/WombacherWJKP05"
  cites: 0
  citedby: 0
  pages: "526-536"
  booktitle: "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, October 31 - November 4, 2005, Proceed"
  editor:
  - name: "Robert Meersman"
    link: "https://researchr.org/alias/robert-meersman"
  - name: "Zahir Tari"
    link: "https://researchr.org/alias/zahir-tari"
  - name: "Pilar Herrero"
    link: "https://researchr.org/alias/pilar-herrero"
  - name: "Gonzalo Méndez"
    link: "https://researchr.org/alias/gonzalo-m%C3%A9ndez"
  - name: "Lawrence Cavedon"
    link: "https://researchr.org/alias/lawrence-cavedon"
  - name: "David Martin"
    link: "https://researchr.org/alias/david-martin"
  - name: "Annika Hinze"
    link: "https://researchr.org/alias/annika-hinze"
  - name: "George Buchanan"
    link: "https://researchr.org/alias/george-buchanan"
  - name: "María S. Pérez"
    link: "https://researchr.org/alias/mar%C3%ADa-s.-p%C3%A9rez"
  - name: "Víctor Robles"
    link: "https://researchr.org/alias/v%C3%ADctor-robles"
  - name: "Jan Humble"
    link: "https://researchr.org/alias/jan-humble"
  - name: "Antonia Albani"
    link: "https://researchr.org/alias/antonia-albani"
  - name: "Jan L. G. Dietz"
    link: "https://researchr.org/alias/jan-l.-g.-dietz"
  - name: "Hervé Panetto"
    link: "https://researchr.org/alias/herv%C3%A9-panetto"
  - name: "Monica Scannapieco"
    link: "https://researchr.org/alias/monica-scannapieco"
  - name: "Terry A. Halpin"
    link: "http://www.orm.net/halpin.html"
  - name: "Peter Spyns"
    link: "https://researchr.org/alias/peter-spyns"
  - name: "Johannes Maria Zaha"
    link: "https://researchr.org/alias/johannes-maria-zaha"
  - name: "Esteban Zimányi"
    link: "https://researchr.org/alias/esteban-zim%C3%A1nyi"
  - name: "Emmanuel Stefanakis"
    link: "https://researchr.org/alias/emmanuel-stefanakis"
  - name: "Tharam S. Dillon"
    link: "https://researchr.org/alias/tharam-s.-dillon"
  - name: "Ling Feng"
    link: "https://researchr.org/alias/ling-feng"
  - name: "Mustafa Jarrar"
    link: "https://researchr.org/alias/mustafa-jarrar"
  - name: "Jos Lehmann"
    link: "https://researchr.org/alias/jos-lehmann"
  - name: "Aldo de Moor"
    link: "https://researchr.org/alias/aldo-de-moor"
  - name: "Erik Duval"
    link: "https://researchr.org/alias/erik-duval"
  - name: "Lora Aroyo"
    link: "http://www.cs.vu.nl/~laroyo"
  volume: "3762"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-29739-1"
  kind: "inproceedings"
  key: "WombacherWJKP05"
- title: "Modelling Mobility Aspects of Security Policies"
  author:
  - name: "Pieter H. Hartel"
    link: "http://wwwhome.cs.utwente.nl/~pieter/"
  - name: "Pascal van Eck"
    link: "https://researchr.org/alias/pascal-van-eck"
  - name: "Sandro Etalle"
    link: "http://www.win.tue.nl/~setalle/"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3362&spage=172"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3362&spage=172"
  tags:
  - "security"
  - "Pascal"
  researchr: "https://researchr.org/publication/HartelEEW04"
  cites: 0
  citedby: 0
  pages: "172-191"
  booktitle: "Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers"
  editor:
  - name: "Gilles Barthe"
    link: "https://researchr.org/alias/gilles-barthe"
  - name: "Lilian Burdy"
    link: "https://researchr.org/alias/lilian-burdy"
  - name: "Marieke Huisman"
    link: "https://researchr.org/alias/marieke-huisman"
  - name: "Jean-Louis Lanet"
    link: "https://researchr.org/alias/jean-louis-lanet"
  - name: "Traian Muntean"
    link: "https://researchr.org/alias/traian-muntean"
  volume: "3362"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-24287-2"
  kind: "inproceedings"
  key: "HartelEEW04"
- title: "Requirements Engineering Research Methodology: Principles and practice"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2008"
  month: "September"
  doi: "http://wwwhome.cs.utwente.nl/~roelw/DesignScienceMethodology-handout.pdf"
  note: "handout of a tutorial about design science methodology at the IEEE Requirements Engineering Conference at 8th September 2008."
  links:
    doi: "http://wwwhome.cs.utwente.nl/~roelw/DesignScienceMethodology-handout.pdf"
  tags:
  - "principles"
  - "requirements engineering"
  researchr: "https://researchr.org/publication/Wieringa%3A2008"
  cites: 0
  citedby: 0
  howpublished: "http://wwwhome.cs.utwente.nl/~roelw/DesignScienceMethodology-handout.pdf"
  kind: "misc"
  key: "Wieringa:2008"
- title: "A Coordination Complexity Model to Support Requirements Engineering for Cross-organizational ERP"
  author:
  - name: "Maya Daneva"
    link: "https://researchr.org/alias/maya-daneva"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/RE.2006.6"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/RE.2006.6"
  tags:
  - "meta-model"
  - "requirements engineering"
  - "model-driven engineering"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/DanevaW06"
  cites: 0
  citedby: 0
  pages: "304-307"
  booktitle: "14th IEEE International Conference on Requirements Engineering (RE 2006), 11-15 September 2006, Minneapolis/St.Paul, Minnesota, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2555-5"
  kind: "inproceedings"
  key: "DanevaW06"
- title: "Object Identifiers, Keys, and Surrogates: Object Identifiers Revisited"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Wiebren de Jonge"
    link: "https://researchr.org/alias/wiebren-de-jonge"
  year: "1995"
  tags:
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/WieringaJ95"
  cites: 0
  citedby: 0
  journal: "TAPOS"
  volume: "1"
  number: "2"
  pages: "101-114"
  kind: "article"
  key: "WieringaJ95"
- title: "Actor-Oriented Specification of Deontic Integrity Constraints"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  year: "1991"
  doi: "db/conf/mfdbs/WieringaM91.html"
  tags:
  - "constraints"
  researchr: "https://researchr.org/publication/WieringaM91"
  cites: 0
  citedby: 0
  pages: "89-103"
  booktitle: "MFDBS 91, 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Bases Systems, Rostock, Germany, May 6-9, 1991, Proceedings"
  editor:
  - name: "Bernhard Thalheim"
    link: "https://researchr.org/alias/bernhard-thalheim"
  - name: "János Demetrovics"
    link: "https://researchr.org/alias/j%C3%A1nos-demetrovics"
  - name: "Hans-Detlef Gerhardt"
    link: "https://researchr.org/alias/hans-detlef-gerhardt"
  volume: "495"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-54009-1"
  kind: "inproceedings"
  key: "WieringaM91"
- title: "Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues?"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Egidio Astesiano"
    link: "https://researchr.org/alias/egidio-astesiano"
  - name: "Gianna Reggio"
    link: "https://researchr.org/alias/gianna-reggio"
  - name: "Alain Le Guennec"
    link: "https://researchr.org/alias/alain-le-guennec"
  - name: "Heinrich Hußmann"
    link: "https://researchr.org/alias/heinrich-hu%C3%9Fmann"
  - name: "Klaas van den Berg"
    link: "https://researchr.org/alias/klaas-van-den-berg"
  - name: "Pim van den Broek"
    link: "http://www.utwente.nl/ewi/trese/people/Van%20den%20Broek/"
  year: "1999"
  tags:
  - "semantics"
  - "UML"
  researchr: "https://researchr.org/publication/WieringaARGHBB99"
  cites: 0
  citedby: 0
  pages: "49-55"
  booktitle: "Object-Oriented Technology, ECOOP 99 Workshop Reader, ECOOP 99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings"
  editor:
  - name: "Ana M. D. Moreira"
    link: "https://researchr.org/alias/ana-m.-d.-moreira"
  - name: "Serge Demeyer"
    link: "https://researchr.org/alias/serge-demeyer"
  volume: "1743"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66954-X"
  kind: "inproceedings"
  key: "WieringaARGHBB99"
- title: "RE 05: Engineering Successful Products"
  author:
  - name: "Joanne M. Atlee"
    link: "https://researchr.org/alias/joanne-m.-atlee"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/MS.2006.79"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/MS.2006.79"
  researchr: "https://researchr.org/publication/AtleeW06"
  cites: 0
  citedby: 0
  journal: "IEEE Software"
  volume: "23"
  number: "3"
  pages: "16-18"
  kind: "article"
  key: "AtleeW06"
- title: "Checking the alignment of value-based business models and IT functionality"
  author:
  - name: "Novica Zarvic"
    link: "https://researchr.org/alias/novica-zarvic"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Pascal van Eck"
    link: "https://researchr.org/alias/pascal-van-eck"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1363686.1363834"
  links:
    doi: "http://doi.acm.org/10.1145/1363686.1363834"
  tags:
  - "rule-based"
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  - "Pascal"
  researchr: "https://researchr.org/publication/ZarvicWE08"
  cites: 0
  citedby: 0
  pages: "607-613"
  booktitle: "Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008"
  editor:
  - name: "Roger L. Wainwright"
    link: "https://researchr.org/alias/roger-l.-wainwright"
  - name: "Hisham Haddad"
    link: "https://researchr.org/alias/hisham-haddad"
  publisher: "ACM"
  isbn: "978-1-59593-753-7"
  kind: "inproceedings"
  key: "ZarvicWE08"
- title: "A Fixed-point Characterization of a Deontic Logic of Regular Action"
  author:
  - name: "Jan Broersen"
    link: "https://researchr.org/alias/jan-broersen"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  year: "2001"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/BroersenWM01"
  cites: 0
  citedby: 0
  journal: "Fundamenta Informaticae"
  volume: "48"
  number: "2-3"
  pages: "107-128"
  kind: "article"
  key: "BroersenWM01"
- title: "Tool Support for Verifying UML Activity Diagrams"
  author:
  - name: "Rik Eshuis"
    link: "https://researchr.org/alias/rik-eshuis"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2004"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TSE.2004.33"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TSE.2004.33"
  tags:
  - "UML"
  researchr: "https://researchr.org/publication/EshuisW04"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "30"
  number: "7"
  pages: "437-447"
  kind: "article"
  key: "EshuisW04"
- title: "Classifying Assumptions Made during Requirements Verification of Embedded Systems"
  author:
  - name: "Jelena Marincic"
    link: "https://researchr.org/alias/jelena-marincic"
  - name: "Angelika Mader"
    link: "https://researchr.org/alias/angelika-mader"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-69062-7_14"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-69062-7_14"
  researchr: "https://researchr.org/publication/MarincicMW08"
  cites: 0
  citedby: 0
  pages: "141-146"
  booktitle: "Requirements Engineering: Foundation for Software Quality, 14th International Working Conference, REFSQ 2008, Montpellier, France, June 16-17, 2008, Proceedings"
  editor:
  - name: "Barbara Paech"
    link: "https://researchr.org/alias/barbara-paech"
  - name: "Colette Rolland"
    link: "https://researchr.org/alias/colette-rolland"
  volume: "5025"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-69060-3"
  kind: "inproceedings"
  key: "MarincicMW08"
- title: "Free Choice and Contextually Permitted Actions"
  author:
  - name: "Frank Dignum"
    link: "https://researchr.org/alias/frank-dignum"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "1996"
  researchr: "https://researchr.org/publication/DignumMW96"
  cites: 0
  citedby: 0
  journal: "Studia Logica"
  volume: "57"
  number: "1"
  pages: "193-220"
  kind: "article"
  key: "DignumMW96"
- title: "Introduction to the RE 03 Special Issue"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/s00766-004-0187-3"
  links:
    doi: "http://dx.doi.org/10.1007/s00766-004-0187-3"
  researchr: "https://researchr.org/publication/Wieringa04-0"
  cites: 0
  citedby: 0
  journal: "Requir. Eng."
  volume: "9"
  number: "2"
  pages: "83-84"
  kind: "article"
  key: "Wieringa04-0"
- title: "An Integrated Enterprise Architecture Framework for Business-IT Alignment"
  author:
  - name: "Novica Zarvic"
    link: "https://researchr.org/alias/novica-zarvic"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2006"
  doi: "http://ceur-ws.org/Vol-237/paper8.pdf"
  links:
    doi: "http://ceur-ws.org/Vol-237/paper8.pdf"
  tags:
  - "architecture"
  researchr: "https://researchr.org/publication/ZarvicW06"
  cites: 0
  citedby: 0
  booktitle: "Proceedings of the CAISE*06 Workshop on Business/IT Alignment and Interoperability BUSITAL  06, Luxemburg, June 5-9, 2006"
  editor:
  - name: "Yves Pigneur"
    link: "https://researchr.org/alias/yves-pigneur"
  - name: "Carson Woo"
    link: "https://researchr.org/alias/carson-woo"
  volume: "237"
  series: "CEUR Workshop Proceedings"
  publisher: "CEUR-WS.org"
  kind: "inproceedings"
  key: "ZarvicW06"
- title: "Understanding Business Strategies of Networked Value Constellations Using Goal- and Value Modeling"
  author:
  - name: "Jaap Gordijn"
    link: "http://www.cs.vu.nl/~gordijn/"
  - name: "Michaël Petit"
    link: "https://researchr.org/alias/micha%C3%ABl-petit"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/RE.2006.69"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/RE.2006.69"
  tags:
  - "modeling"
  researchr: "https://researchr.org/publication/GordijnPW06"
  cites: 0
  citedby: 0
  pages: "126-135"
  booktitle: "14th IEEE International Conference on Requirements Engineering (RE 2006), 11-15 September 2006, Minneapolis/St.Paul, Minnesota, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2555-5"
  kind: "inproceedings"
  key: "GordijnPW06"
- title: "06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)"
  author:
  - name: "Ed Brinksma"
    link: "http://www.sigir2007.org/~brinksma/"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Angelika Mader"
    link: "https://researchr.org/alias/angelika-mader"
  - name: "Perdita Stevens"
    link: "http://homepages.inf.ed.ac.uk/perdita/"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2006"
  doi: "http://drops.dagstuhl.de/opus/volltexte/2007/958"
  links:
    doi: "http://drops.dagstuhl.de/opus/volltexte/2007/958"
  researchr: "https://researchr.org/publication/BrinksmaHMSW06a"
  cites: 0
  citedby: 0
  booktitle: "Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006"
  editor:
  - name: "Ed Brinksma"
    link: "http://www.sigir2007.org/~brinksma/"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Angelika Mader"
    link: "https://researchr.org/alias/angelika-mader"
  - name: "Perdita Stevens"
    link: "http://homepages.inf.ed.ac.uk/perdita/"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  volume: "06351"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany"
  kind: "inproceedings"
  key: "BrinksmaHMSW06a"
- title: "Combining TROLL with the Object Modeling Technique"
  author:
  - name: "Ralf Jungclaus"
    link: "https://researchr.org/alias/ralf-jungclaus"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Peter Hartel"
    link: "https://researchr.org/alias/peter-hartel"
  - name: "Gunter Saake"
    link: "https://researchr.org/alias/gunter-saake"
  - name: "Thorsten Hartmann"
    link: "https://researchr.org/alias/thorsten-hartmann"
  year: "1994"
  tags:
  - "meta-model"
  - "modeling"
  - "object-role modeling"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/JungclausWHSH94"
  cites: 0
  citedby: 0
  pages: "35-42"
  booktitle: "GI Jahrestagung"
  kind: "inproceedings"
  key: "JungclausWHSH94"
- title: "An Execution Algorithm for UML Activity Graphs"
  author:
  - name: "Rik Eshuis"
    link: "https://researchr.org/alias/rik-eshuis"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2185/21850047.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2185/21850047.htm"
  tags:
  - "UML"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/EshuisW01%3A0"
  cites: 0
  citedby: 0
  pages: "47-61"
  booktitle: "«UML» 2001 - The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, Toronto, Canada, October 1-5, 2001, Proceedings"
  editor:
  - name: "Martin Gogolla"
    link: "https://researchr.org/alias/martin-gogolla"
  - name: "Cris Kobryn"
    link: "https://researchr.org/alias/cris-kobryn"
  volume: "2185"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42667-1"
  kind: "inproceedings"
  key: "EshuisW01:0"
- title: "A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation"
  author:
  - name: "Frank Dignum"
    link: "https://researchr.org/alias/frank-dignum"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Ruurd Kuiper"
    link: "https://researchr.org/alias/ruurd-kuiper"
  year: "1996"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/DignumMWK96"
  cites: 0
  citedby: 0
  pages: "80-97"
  booktitle: "Deontic Logic, Agency and Normative Systems, DEON  96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996"
  editor:
  - name: "Mark A. Brown"
    link: "https://researchr.org/alias/mark-a.-brown"
  - name: "José Carmo"
    link: "https://researchr.org/alias/jos%C3%A9-carmo"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-76015-6"
  kind: "inproceedings"
  key: "DignumMWK96"
- title: "Writing a Report About Design Research"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2007"
  month: "February"
  doi: "http://wwwhome.cs.utwente.nl/~roelw/ReportingAboutDesignResearch.pdf"
  abstract: "This short note provides guidelines on how to report about design research. It is intended as a guide for students who need to write a paper about a design research assignment, e.g. in the ARE course. It can also be used to report about Master's projects or even about Ph.D. projects. The most difficult part of writing the report—and indeed of doing the research—is figuring out what problems you need to solve. Is it a practical problem or a knowledge problem? How many problems are there? How is your answer evaluated? Section 2 treats the problem of the problem, and it is the largest section. Once you understand the problem to be solved, the rest is relatively easy. Sections 3 and 4 describe how you report about your solution to a practical problem and to a knowledge problem, respectively. The subjects treated here are treated more elaborately in the course Problem Analysis and Solution Requirements (PASR)."
  note: "document intended for Master's students and PhD students in software engineering, requirements engineering, and information systems engineering, to help them structure their thesis"
  links:
    doi: "http://wwwhome.cs.utwente.nl/~roelw/ReportingAboutDesignResearch.pdf"
  tags:
  - "design research"
  - "analysis"
  - "writing"
  - "research"
  - "design"
  researchr: "https://researchr.org/publication/Wieringa%3A2007"
  cites: 0
  citedby: 0
  institution: "University of Twente, the Netherlands"
  kind: "techreport"
  key: "Wieringa:2007"
- title: "Rationality of Cross-System Data Duplication: A Case Study"
  author:
  - name: "Wiebe Hordijk"
    link: "https://researchr.org/alias/wiebe-hordijk"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-13094-6_7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-13094-6_7"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/caise/HordijkW10"
  tags:
  - "case study"
  - "data-flow"
  researchr: "https://researchr.org/publication/HordijkW10"
  cites: 0
  citedby: 0
  pages: "68-82"
  booktitle: "Advanced Information Systems Engineering, 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings"
  editor:
  - name: "Barbara Pernici"
    link: "https://researchr.org/alias/barbara-pernici"
  volume: "6051"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-13093-9"
  kind: "inproceedings"
  key: "HordijkW10"
- title: "Specifying Dynamic and Deontic Integrity Constraints"
  author:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  - name: "Hans Weigand"
    link: "https://researchr.org/alias/hans-weigand"
  year: "1989"
  tags:
  - "constraints"
  researchr: "https://researchr.org/publication/WieringaMW89"
  cites: 0
  citedby: 0
  journal: "Data \\& Knowledge Engineering"
  volume: "4"
  pages: "157-189"
  kind: "article"
  key: "WieringaMW89"
- title: "Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02144-2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-02144-2"
  researchr: "https://researchr.org/publication/caise%3A2009"
  cites: 0
  citedby: 0
  booktitle: "Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings"
  conference: "caise"
  editor:
  - name: "Pascal van Eck"
    link: "https://researchr.org/alias/pascal-van-eck"
  - name: "Jaap Gordijn"
    link: "http://www.cs.vu.nl/~gordijn/"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  volume: "5565"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-02143-5"
  kind: "proceedings"
  key: "caise:2009"
- title: "Requirements Engineering: Foundation for Software Quality, 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30 - July 2, 2010. Proceedings"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-14192-8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-14192-8"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/refsq/2010"
  tags:
  - "requirements engineering"
  - "software engineering"
  researchr: "https://researchr.org/publication/refsq-2010"
  cites: 0
  citedby: 0
  booktitle: "Requirements Engineering: Foundation for Software Quality, 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30 - July 2, 2010. Proceedings"
  conference: "refsq"
  editor:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Anne Persson"
    link: "https://researchr.org/alias/anne-persson"
  volume: "6182"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-14191-1"
  kind: "proceedings"
  key: "refsq-2010"
- title: "Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006"
  year: "2007"
  researchr: "https://researchr.org/publication/dagstuhl%3A2006P6351"
  cites: 0
  citedby: 0
  booktitle: "Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006"
  conference: "Dagstuhl"
  editor:
  - name: "Ed Brinksma"
    link: "http://www.sigir2007.org/~brinksma/"
  - name: "David Harel"
    link: "http://www.wisdom.weizmann.ac.il/~harel/"
  - name: "Angelika Mader"
    link: "https://researchr.org/alias/angelika-mader"
  - name: "Perdita Stevens"
    link: "http://homepages.inf.ed.ac.uk/perdita/"
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  volume: "06351"
  series: "Dagstuhl Seminar Proceedings"
  publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany"
  kind: "proceedings"
  key: "dagstuhl:2006P6351"