Model Driven Software Engineering W&I

Onderzoeksoutput

Filter
Editorial
2019

Preface

Botto-Tobar, M., Barzola-Monteses, J., Santos-Baquerizo, E., Espinoza-Andaluz, M. & Yánez-Pazmiño, W., 1 jan 2019, In : Communications in Computer and Information Science. 959, blz. VI 1 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

Open Access

Preface

Botto-Tobar, M., Barba-Maggi, L., González-Huerta, J., Villacrés-Cevallos, P., Gómez, O. S. & Uvidia-Fassler, M. I., 1 jan 2019, In : Advances in Intelligent Systems and Computing. 884, blz. v-vi

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

Open Access
Bestand
21 Downloads (Pure)

Preface to the Special Issue on Program Comprehension

Lo, D. & Serebrenik, A., 15 feb 2019, In : Empirical Software Engineering. 24, 1, blz. 208-210 3 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

The JOT Journal: towards a rising generation

Pierantonio, A., van den Brand, M. & Combemale, B., 1 mrt 2019, In : Journal of Object Technology. 18, 1, blz. 1-3 3 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

Open Access
Bestand
27 Downloads (Pure)
2018

Preface

Botto-Tobar, M., Esparza-Cruz, N., León-Acurio, J., Crespo-Torres, N. & Beltrán-Mora, M., 1 jan 2018, In : Communications in Computer and Information Science. 798, blz. VI

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

Open Access
Bestand
26 Downloads (Pure)

Workshop on advances in knowledge extraction and re-engineering of software (selected and extended papers from WAKERS 2017)

Cleophas, L., Schaefer, I. & Watson, B. W., 15 nov 2018, In : Science of Computer Programming. 166, blz. 1-2 2 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

2017

2nd International Workshop on Automotive Systems and Software Architectures (WASA)—Introduction to special section

Dajsuren, Y., Altinger, H. & Staron, M., 1 sep 2017, In : Journal of Systems Architecture. 79, blz. 18-18 1 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

2 Downloads (Pure)

Foreword to the SANER 2015 special issue

Serebrenik, A. & Adams, B., 16 mrt 2017, In : Journal of Software : Evolution and Process. 29, 3, 1 blz., e1844.

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademic

Guest editors' introduction to the 6th issue of Experimental Software and Toolkits (EST-6)

van den Brand, M. G. J., Vinju, J. J. & Mens, K., 1 feb 2017, In : Science of Computer Programming. 134, blz. 1-3 3 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

2016

Preface

Corradini, A., Fernández, M., Mackie, I., Plump, D., van Raamsdonk, F. & Zantema, H., 10 sep 2016, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 225, 1 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

Open Access

Preface to special issue on EXPRESS 2011

Luttik, B. & Valencia, F. D., 2016, In : Mathematical Structures in Computer Science. 26, 8, blz. 1351 1 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

Open Access
Bestand
34 Downloads (Pure)

Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014) Preface

Bosnacki, D., Edelkamp, S., Lafuente, A. L. & Wijs, A., 15 nov 2016, In : Science of Computer Programming. 130, 15 November, blz. 1-1 1 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

2015

Guest editors' introduction to the fifth issue of Experimental Software and Toolkits (EST) : a special issue on Academics Modelling with Eclipse (ACME2012)

Brand, van den, M. G. J., Di Ruscio, D., Kolovos, D. S. & Rose, L. M., 2015, In : Science of Computer Programming. 98, 1, blz. 1-2

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

1 Citaat (Scopus)
2 Downloads (Pure)

Preface: EPTCS 196 : Proceedings Workshop on Models for Formal Analysis of Real Systems, Suva, Fiji, November 23, 2015

Van Glabbeek, R., Groote, J. F. & Höfner, P., 8 nov 2015, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 196

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

Open Access

Preface (Special Issue on New Ideas and Emerging Results in Understanding Software)

Vinju, J. J., 2015, In : Science of Computer Programming. 97, 1, blz. 1-1

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

2014

Guest editors' introduction to the 4th issue of Experimental Software and Toolkits (EST-4)

Brand, van den, M. G. J., Kienle, H. M. & Mens, K., 2014, In : Science of Computer Programming. 79, 1, blz. 1-5

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

Preface to Special section on foundations of coordination languages and software architectures (Selected papers from FOCLASA’10)

Mousavi, M. & Salaün, G., 2014, In : Science of Computer Programming. 80, Part A, blz. 1-2 2 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

1 Citaat (Scopus)
2013

Preface to the special section on software evolution, adaptability, and maintenance

Seinturier, L. & Brand, van den, M. G. J., 2013, In : Science of Computer Programming. 78, 8, blz. 969-970

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

1 Downloads (Pure)
2012

Preface

Luttik, B. & Reniers, M. A., 12 aug 2012, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 89

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

2010
Open Access
1 Citaat (Scopus)
2009

Preface (Special issue on the IFIP WG1.8 Workshop on Applying Concurrency Research in Industry)

Aceto, L., Baeten, J. C. M., Fokkink, W. J., Ingólfsdóttir, A. & Nestmann, U., 2009, In : Journal of Logic and Algebraic Programming. 78, 4, blz. vii-viii

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

2008

Guest editor's introduction : Second issue of experimental software and toolkits (EST)

Brand, van den, M. G. J., 2008, In : Science of Computer Programming. 72, 1-2, blz. 1-2

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialProfessioneel

Open Access
3 Citaten (Scopus)

Preface (Special issue on Logic Colloquium 2006)

Cooper, S. B., Geuvers, J. H., Pillay, A. & Väänänen, J., 2008, In : Annals of Pure and Applied Logic. 156, 1, blz. 1-2

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

2007

Guest editor's introduction : Experimental software and toolkits (EST)

Brand, van den, M. G. J., 2007, In : Science of Computer Programming. 69, 1-3, blz. 1-2

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

Open Access
4 Citaten (Scopus)

Preface (Special issue on 12th International Workshop on Expressiveness in Concurrency (Express'05), San Francisco CA, USA, August 27, 2005)

Baeten, J. C. M. & Phillips, I. C. C., 2007, In : Theoretical Computer Science. 386, 3, blz. 167-168

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

Preface (Special issue on Constructive analysis, types and exact real numbers)

Spitters, B. A. W., Geuvers, J. H., Niqui, M. & Wiedijk, F., 2007, In : Mathematical Structures in Computer Science. 17, 1, blz. 1-

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

Preface (Special issue on ICALP 2003)

Baeten, J. C. M., Lenstra, J. K. & Woeginger, G. J., 2007, In : Theoretical Computer Science. 379, 3, blz. 305-

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialProfessioneel

11 Downloads (Pure)

Preface (Special issue on the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference IFM 2005 (Eindhoven, The Netherlands, November 29, 2005))

Romijn, J. M. T., Smith, G. & Pol, van de, J. C., 2007, In : Electronic Notes in Theoretical Computer Science. 191, blz. 1-2

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialProfessioneel

1 Downloads (Pure)
2006

Guest editor's introduction to Special issue on Process theory for hybrid systems

Baeten, J. C. M. & Luttik, B., 2006, In : Journal of Logic and Algebraic Programming. 68, 1-2, blz. 1-3

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

Preface to Special issue on Expressiveness in concurrency

Baeten, J. C. M. & Corradini, F., 2006, In : Theoretical Computer Science. 356, 3, blz. 263-264

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialProfessioneel

2005

Guest editors' introduction (Special issue on Process Algebra and System Architecture)

Bernardo, M. & Middelburg, C. A., 2005, In : Journal of Logic and Algebraic Programming. 63, 2, blz. 175-176

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialProfessioneel

2004

Guest editorial (Special issue on Design, implementation, and analysis of communication protocols)

Brinksma, E., Hao, R., Lee, D., Miller, R. E. & Lee, C. T., 2004, In : IEEE Journal on Selected Areas in Communications. 22, 10, blz. 1917-1919

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialProfessioneel

2003

Guest editors' introduction : Special issue on probabilistic techniques for the design and analysis of systems

D'Argenio, P. R. & Baeten, J. C. M., 2003, In : Journal of Logic and Algebraic Programming. 56, 1-2, blz. 1-2

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

Open Access
2002

Guest editor's introduction

Middelburg, C. A., 2002, In : Journal of Logic and Algebraic Programming. 51, 2, blz. 123-124

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

Open Access
2001

Editorial (Introduction by the Guest Editor)

Mauw, S., 2001, In : Computer Languages. 27, 1-3, blz. 1-2

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialAcademicpeer review

2000

Guest editor's introduction (Selected papers for the 2nd IFIP International Conference on Formal Methods for Open Object Based Distributed Systems (1997))

Bowman, H., Derrick, J. & Brinksma, E., 2000, In : IEEE Transactions on Software Engineering. 26, 7, blz. 577-578

Onderzoeksoutput: Bijdrage aan tijdschriftEditorialProfessioneel

Open Access
Bestand
38 Downloads (Pure)