Software Engineering and Technology

Filter
Voorwoord/editorial

Zoekresultaten

  • 2024

    Preface

    Neele, T. & Wijs, A., 13 okt. 2024, Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings. Neele, T. & Wijs, A. (uitgave). Springer, blz. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14624).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

    Open Access

  • Preface

    Herber, P. & Wijs, A., 2024, Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. Herber, P. & Wijs, A. (uitgave). Springer, blz. v-vi (Lecture Notes in Computer Science; vol. 14300).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • 2023

    Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments, PAINT 2023, Cascais, Portugal, 23 October 2023

    Beckmann, T., Hirschfeld, R., Sáenz, J. P. & Merino, M. V., 2023, Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments, PAINT 2023, Cascais, Portugal, 23 October 2023. Association for Computing Machinery, Inc

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • 2021

    Preface

    Salaün, G. & Wijs, A., 2021, 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings. Salaün, G. & Wijs, A. (uitgave). Springer, blz. v (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13077).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • Preface

    Cleophas, L. & Massink, M., 2021, Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers. Cleophas, L. & Massink, M. (uitgave). Springer, blz. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12524).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • 2020

    Preface

    Babur, Ö., Denil, J. & Heuser, B. V., 2020, Systems Modelling and Management: First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings. Babur, Ö., Denil, J. & Vogel-Heuser, B. (uitgave). Berlin: Springer, blz. v-vii (Communications in Computer and Information Science; vol. 1262).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • Preface to 2nd International Workshop on Analytics and Mining of Model Repositories (AMMoRe 2020)

    Babur, Ö., Chaudron, M. R. V., Cleophas, L., Iovino, L. & Kolovos, D., 16 okt. 2020, 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020. blz. XVI-XVIII

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • 2015

    Message from the chairs

    Gueheneuc, Y. G., Serebrenik, A., Adams, B., Moha, N., Tsantalis, N., Lammel, R., Rigby, P. C., Krinke, J., Sharif, B., Hayes, J. H., Huchard, M., Khomh, F., Hamou-Lhadj, W., Fontana, F. A. & Hill, E., 2 mrt. 2015, 2015 IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering. IEEE Computer Society, blz. iii-vii (2015 IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2015 - Proceedings).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

    Open Access
  • 2010

    Software language engineering: preface

    van den Brand, M., Gaševíc, D. & Gray, J., 3 mei 2010, Software language engineering: Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009. van den Brand, M., Gasevic, D. & Gray, J. (uitgave). Berlin: Springer, blz. V-VI (Lecture Notes in Computer Science; vol. 5969).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic