Research Output

Filter
Chapter
2019

A Decade of Featured Transition Systems

Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., Schobbens, P-Y. & Raskin, J-F., 9 Nov 2019, From Software Engineering to Formal Methods and Tools, and Back.. ter Beek, M. H., Fantechi, A. & Semini, L. (eds.). Cham: Springer, Vol. 11865. p. 285-312 28 p. (Lecture Notes in Computer Science; vol. 11865).

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

2 Citations (Scopus)

XLBlocks: a Block-based Formula Editor for Spreadsheet Formulas

Jansen, B. & Hermans, F., 2019, 2019 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). Smith, J., Bogart, C. A., Good, J. & Fleming, S. D. (eds.). Piscataway: IEEE, p. 55-63 9 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

Open Access
File
139 Downloads (Pure)
2015

A Mixed Methods Approach to Mining Code Review Data: Examples and a Study of Multicommit Reviews and Pull Requests

Rigby, P. C., Bacchelli, A., Gousios, G. & Mukadam, M., 1 Sep 2015, The Art and Science of Analyzing Software Data. Waltham: Elsevier, p. 231-255 25 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientific

4 Citations (Scopus)
2012

Online Fault Localization and Health Monitoring for Software Systems

Piel, EAB., Gonzalez Sanchez, A., Gross, HG. & van Gemund, AJC., 2012, Situation Awareness with Systems of Systems. van de Laar, P., Tretmans, J. & Borth, M. (eds.). Berlin, Germany: Springer, p. 229-245 272 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientific

Prioritizing Tests for Fault Localization

Gonzalez Sanchez, A., Piel, EAB., Lima Maranhao De Abreu, RF., Gross, HG. & van Gemund, AJC., 2012, Situation Awareness with Systems of Systems. van de Laar, P., Tretmans, J. & Borth, M. (eds.). Berlin, Germany: Springer, p. 247-257 272 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientific

2 Citations (Scopus)
2010

Automating Integration Testing of Large-Scale Publish/Subscribe Systems

Piel, EAB., Gonzalez Sanchez, A. & Gross, HG., 2010, Principles and Applications of Distributed Event-Based Systems. Hinze, AM. & Buchmann, A. (eds.). Hershey: IGI Global, p. 140-163

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientific

Document information systems

van der Meer, K., 2010, Encyclopedia of Library and Information Sciences, Third Edition. Bates, MJ. & Maack, MN. (eds.). Londen: Taylor & Francis, p. -

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientific

Dynamic Analysis of Communication and Collaboration in OSS Projects

Pinzger, M. & Gall, HC., 2010, Collaborative Software Engineering. Mistrík, I., Grundy, J., van der Hoek, A. & Whitehead, J. (eds.). Berlin: Springer, p. 265-284

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientific

7 Citations (Scopus)

Hera: Engineering Web Applications Using Semantic Web-based Models

van der Sluijs, K., Houben, GJPM., Leonardi, E. & Hidders, AJH., 2010, Semantic Web Information Management - A Model-Based Perspective. de Virgilio, R., Giunchiglia, F. & Tanca, L. (eds.). Berlin: Springer, p. 521-544 549 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

1 Citation (Scopus)

Object-Oriented Software Testing with Genetic Algorithms and Program Analysis

Seesing, A. & Gross, HG., 2010, Evolutionary Computation and Optimization Algorithms in Software Engineering: Applications and Techniques. Chis, M. (ed.). Hershey: IGI Global, p. 184-199

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientific

Software Evolution

Zaidman, AE., Pinzger, M. & van Deursen, A., 2010, Encyclopedia of Software Engineering. Laplante, PA. (ed.). Londen: Taylor & Francis, p. -

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientific

Open Access
2009

A Model-based Software Reasoning Approach to Software Debugging

Abreu, RF., Zoeteweij, P. & van Gemund, AJC., 2009, Opportunities and Challenges for Next-Generation Applied Intelligence. Chien, B-C. & Hong, T-P. (eds.). Berlin: Springer, p. 233-239 341 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientific

Open Access

An introduction to enterprise engineering

Dietz, JLG., Albani, A. & Barjis, J., 2009, Advances in enterprise engineering III. Albani, A., Barjis, J. & Dietz, J. L. G. (eds.). Berlin, Germany: Springer, p. 7-14 200 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientific

Fault Localization of Embedded Software

Abreu, RF., Zoeteweij, P. & van Gemund, AJC., 2009, TRADER: Reliability of High-Volume Consumer Products. Mathijssen, R. (ed.). Eindhoven: Embedded Systems Institute, p. 103-112 178 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterProfessional

Reference Model for Strategic Supply Network Development

Albani, A., Mussigmann, N. & Zaha, JM., 2009, IT Outsourcing: Concepts, Methodologies, Tools, and Applications. St. Amant, K. (ed.). Hershey, USA: Business Science Reference, p. 731-753 2650 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientific

Spectrum-Based Fault Localization in Practice

Zoeteweij, P., Abreu, RF. & van Gemund, AJC., 2009, TRADER: Reliability of High-Volume Consumer Products. Mathijssen, R. (ed.). Eindhoven: Embedded Systems Institute, p. 112-124 178 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterProfessional

Using software history to guide deployment of coding standards

Boogerd, CJ. & Moonen, LMF., 2009, TRADER: Reliability of High-Volume Consumer Products. Mathijssen, R. (ed.). Eindhoven: Embedded Systems Institute, p. 39-52 178 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterProfessional

2008

Benefits of Enterprise Ontology for the Development of ICT-Based Value Networks

Albani, A. & Dietz, JLG., 2008, Software and Data Technologies. Filipe, B. & Helfert, M. (eds.). Springer, p. 3-22 428 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

2 Citations (Scopus)

Let a thousand flowers bloom

van der Meer, K., 2008, Let a thousand flowers bloom : Essays in Commemoration of Prof.dr. René Wagenaar. Bouwman, H., Hoogeweegen, M., Janssen, M. & Pronk, H. (eds.). Amsterdam, The Netherlands: IOS Press, p. 419-427 9 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

On the interplay between Software Testing and Evolution and its effect on Program Comprehension

Moonen, LMF., van Deursen, A., Zaidman, AE. & Bruntink, M., 2008, Software Evolution. Mens, T. & Demeyer, S. (eds.). Heidelberg, Berlin: Springer, p. 173-202 30 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

36 Citations (Scopus)

Self Modelling Knowledge Networks

Derballa, V. & Albani, A., 2008, Encyclopedia of Networked and Virtual Organizations. Putnik, GD. & Cunha, MM. (eds.). Hershey, USA: Information science reference, p. 1413-1420 8 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

2007

A Reference Model for Strategic Supply Network Development

Albani, A., Muessigmann, N. & Zaha, JM., 2007, Reference Modeling for Business Systems Analysis. Fettke, P. & Loos, P. (eds.). s.l.: Idea Group Publishing, p. 217-240 24 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

Costs and Benefits of Model-Based Diagnosis

Pietersma, J. & van Gemund, AJC., 2007, Tangram: Model-based Integration and Testing of Complex High-Tech Systems. Tretmans, J. (ed.). Den Dolech 2, 5612 AZ Eindhoven, Netherlands: Embedded Systems Institute, p. 179-187 9 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

Digitale duurzaamheid

van der Meer, K., 2007, ICT-Zakboek. Bemelmans, TMA. & van Keulen, M. (eds.). Postbus 4, 7000 RA Doetinchem: Reed Business Information, p. 526-533 8 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

Discovering Faults in Idiom-Based Exception Handling

Bruntink, M., van Deursen, A. & Tourwé, T., 2007, Ideals: evolvability of Software-Intensive High-Tech Systems. van Engelen, R. & Voeten, J. (eds.). Eindhoven: Embedded Systems Institute, p. 39-54 16 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

Documentaire informatiesystemen

van der Meer, K. & Houben, GJ., 2007, ICT Zakboek. Bemelmans, TMA. & van Keulen, M. (eds.). Postbus 4, 7000 RA Doetinchem: Reed Business Information, p. 203-210 8 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

Model-Based Diagnosis

Pietersma, J. & van Gemund, AJC., 2007, Tangram: Model-based Integration and Testing of Complex High-Tech Systems. Tretmans, J. (ed.). Den Dolech 2, 5612 AZ Eindhoven, Netherlands: Embedded Systems Institute, p. 163-178 16 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

Model-Driven Migration of Supervisory Machine Control Architectures

Graaf, BS. & van Deursen, A., 2007, Ideals: evolvability of Software-Intensive High-Tech Systems. van Engelen, R. & Voeten, J. (eds.). Eindhoven: Embedded Systems Institute, p. 127-142 16 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

Programmatuur

van Deursen, A. & Klint, P., 2007, ICT Zakboek. en T.M.A. Bemelmans, R. J. K. M. L. (ed.). Reed Business Information, p. 69-108 40 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterProfessional

Recht en Wonder

Dietz, JLG., 2007, Liber Amicorum tgv de 60e verjaardag van prof. dr. Jaap van den Herik. Donkers, J., Mommers, L., Postma, E. & Schmidt, A. (eds.). Maastricht: MICC, Universiteit Maastricht, p. 88-91 4 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterProfessional

Simple Crosscutting Concerns are not So Simple

Bruntink, M., van Deursen, A., d'Hondt, M. & Tourwé, T., 2007, Ideals: evolvability of Software-Intensive High-Tech Systems. van Engelen, R. & Voeten, J. (eds.). Eindhoven: Embedded Systems Institute, p. 23-38 16 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

20 Citations (Scopus)
2006

Enterprise Ontology - Understanding the essence of organizational operation

Dietz, JLG., 2006, Enterprise Information Systems VII. s.n. (ed.). Dordrecht, Netherlands: Springer, p. 19-31 12 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

2005

Assessing real-time component contracts through built-in evolutionary testing

Gross, HG., Mayer, N. & Paredes Riano, J., 2005, Component-based software development for embedded systems - An overview of current research trends. Atkinson, C., Bunse, C., Gross, HG. & Peper, C. (eds.). Berlin: Springer, p. 107-121 15 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

3 Citations (Scopus)

Component-based software developments for embedded systems - An introduction

Atkinson, C., Bunse, C., Peper, C. & Gross, HG., 2005, Component-based software developments for embedded systems. Atkinson, C., Bunse, C., Gross, HG. & Peper, C. (eds.). Berlin: Springer, p. 1-7 7 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

Open Access
10 Citations (Scopus)

Modeling and implementation of built-in contract tests

Gross, HG., Schieferdecker, I. & Din, G., 2005, Testing commercial-off-the-shelf components and systems. Beydeda, S. & Gruhn, V. (eds.). Berlin: Springer, p. 195-211 17 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

1 Citation (Scopus)
2004

De oberstrategie - hoe lang nog?

Dietz, JLG., 2004, 50 Jaar informatiesystemen 1978-2028. deel 1. Liber amicorum voor Theo Bemelmans. Valstar, T. & van Genuchten, M. (eds.). Eindhoven: Eindhoven University of Technology, p. 109-118 10 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

Deriving use cases from business processes - The advantages of DEMO

Shishkov, BB. & Dietz, JLG., 2004, Enterprise information systems V. Camp, O., Filipe, JBL., Hammoudi, S. & Piattini, M. (eds.). Dordrecht: Kluwer Academic Publishers, p. 249-257 9 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

Een overzichtsraamwerk voor beheermethoden

de Jong, W. & de Haas, MAT., 2004, Baten in beheer; IT jaarboek 2004/2005. Noë, F. (ed.). Den Haag: Ten Hagen & Stam, p. 35-42 8 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterProfessional

Using DEMO and ORM in concert: A case study

Dietz, JLG. & Halpin, T., 2004, Advanced topics in database research. Siau, K. (ed.). London: Idea Group, p. 218-236 19 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

2002

Longevity of digital surrogates of visual sources

van Horik, MPM., 2002, Building blocks for effective telematics application development and evaluation. Verbraeck, A. & Dahanayake, A. (eds.). Delft: Delft University of Technology, p. 98-101 4 p.

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

2001

Parallel and distributed real-time systems: an introduction

van Katwijk, J. & Zalewski, J., 2001, Parallel and distributed real-time systems. S Boriotti & D Dennis (eds.). Huntington, New York: Nova Science Publishers, p. 1-6

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

Software development and verification of dynamic real-time distributed systems based on the radio broadcast paradigm

van Katwijk, J. & ... [et Al], ., 2001, Parallel and distributed real-time systems. S Boriotti & D Dennis (eds.). Huntington, New York: Nova Science Publishers, p. 105-126

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

1999

Software engineering

van Katwijk, J. & Toetenel, WJ., 1999, ICT-zakboekje. TMA Bemelmans, PME Bra, D., M Looijen & G Oortmerssen, V. (eds.). Arnhem: Koninklijke PBNA, p. 1005-1018

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterProfessional

Softwareontwerp en -realisatie

Toetenel, WJ. & van Katwijk, J., 1999, ICT-zakboekje. TMA Bemelmans, PME Bra, D., M Looijen & G Oortmerssen, V. (eds.). Arnhem: Koninklijke PBNA, p. 1019-1033

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterProfessional