Software Engineering and Technology

Onderzoeksoutput

Onderzoeksoutput per jaar 1973 2014 2018 2019 2020 2021 2022 2023 2024 2025

• 636 Conferentiebijdrage
• 258 Tijdschriftartikel
• 79 EngD Thesis
• 50 Rapport
• 184 Meer
  • 40 Hoofdstuk
  • 35 Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)
  • 22 Boekredactie
  • 17 Paper
  • 13 Editorial
  • 8 Voorwoord/editorial
  • 7 Poster
  • 5 Congresartikel
  • 5 computerprogramma software
  • 5 Preprint
  • 3 Boek
  • 3 Inaugurale/afscheids rede
  • 3 Abstract
  • 3 Other
  • 3 Boek bespreking
  • 3 Artikel recenseren
  • 2 Overige bijdrage
  • 2 Dissertatie 4 (Onderzoek NIET TU/e / Promotie NIET TU/e)
  • 1 Commentaar/Brief aan de redacteur
  • 1 Literatuurrecensie
  • 1 Web publicatie / site
  • 1 Dissertatie 2 (Onderzoek NIET TU/e / Promotie TU/e)
  • 1 Werkdocument

Onderzoeksoutput per jaar

Onderzoeksoutput per jaar

Zoekresultaten

• 2023

  Concise Guide to Software Verification: From Model Checking to Annotation Checking

  Huisman, M. & Wijs, A., 2023, Springer. 234 blz. (Texts in Computer Science)

  Onderzoeksoutput: Boek/rapport › Boek › Academic

  • Annotation 100%
  • Software Verification 100%
  • Model Checking 100%
• 2013

  Ergebnisbericht des Verbundprojektes VEIN: Vertrauen und Lernen im inkrementellen, fehlerinduzierten Innovationsprozess

  Dachrodt, E., Deuse, J., Frömmer, D., Herrmann, T., Jansen, M., Kleint, S., Maschek, T., Nolte, A., Skrotzki, R. & Wegge, J., 2013

  Onderzoeksoutput: Boek/rapport › Boek › Academic

  Open Access
• 1988

  A method of programming

  Dijkstra, E. W. & Feijen, W. H. J., 1988, Amsterdam: Addison-Wesley. 188 blz.

  Onderzoeksoutput: Boek/rapport › Boek › Professioneel