Filter
Conferentiebijdrage

Zoekresultaten

  • 2023

    On the Preservation of Properties When Changing Communication Models

    Bunte, O., van Gool, L. C. M. & Willemse, T. A. C., 2023, SOFSEM 2023: Theory and Practice of Computer Science - 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Proceedings. Gasieniec, L. (uitgave). Springer, blz. 239-253 15 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13878 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
  • 2020

    Formal Verification of OIL Component Specifications using mCRL2

    Bunte, O., van Gool, L. C. M. & Willemse, T. A. C., 2020, Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings. ter Beek, M. H. & Nickovic, D. (uitgave). Springer, blz. 231-251 21 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12327 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
  • 2006

    Compositional MDA

    Gool, van, L. C. M., Punter, H. T., Hamilton, M. & Engelen, van, R., 2006, Model-Driven Engineering Languages and Systems (Proceedings 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006). Nierstrasz, O., Whittle, J., Harel, D. & Reggio, G. (uitgave). Berlin: Springer, blz. 126-139 (Lecture Notes in Computer Science; vol. 4199).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    2 Citaten (Scopus)
    3 Downloads (Pure)
  • 2004

    Plug-ins for ISpec

    Gool, van, L. C. M., Jonkers, H. B. M., Luit, E. J., Kuiper, R. & Roubtsov, S. A., 2004, Proceedings 5th PROGRESS Symposium on Embedded Systems (Nieuwegein, The Netherlands, October 20, 2004). Utrecht: STW Technology Foundation, blz. 35-40

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

    Open Access
    Bestand
    69 Downloads (Pure)
  • 2001

    A prototype of a UML based Tool for Component Specification

    Roubtsova, E. E., Gool, van, L. C. M., Kuiper, R. & Jonkers, H. B. M., 2001, 2nd Workshop on Embedded Systems PROGRESS 2001, Book of Abstracts. Karelse, F. (uitgave). blz. 32-32

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

  • A specification model for interface suites

    Roubtsova, E. E., Gool, van, L. C. M., Kuiper, R. & Jonkers, H. B. M., 2001, The unified modeling language : modeling languages, concepts, and tools ; 4th international conference, Toronto, Canada, October 1 - 5, 2001 ; proceedings / "UML" 2001s 4th International Conference on Modeling Languages, Concepts, and Tools, Toronto, Canada, October 1-5, 2001). Gogolla, M. & Kobryn, C. (uitgave). Berlin: Springer, blz. 457-471 (Lecture Notes in Computer Science; vol. 2185).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    3 Citaten (Scopus)