Zum Inhalt springen

  1. Wieringa, Roel [Sonstige Person, Familie und Körperschaft]; Persson, Anne [Sonstige Person, Familie und Körperschaft] ; REFSQ 16 2010 Essen

    Requirements engineering: foundation for software quality : 16th international working conference, REFSQ 2010, Essen, Germany, June 30 - July 2, 2010 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2010

    Erschienen in: Lecture notes in computer science ; 6182

  2. Erlingsson, Úlfar [HerausgeberIn]; Wieringa, Roel [Sonstige Person, Familie und Körperschaft]; Zannone, Nicola [Sonstige Person, Familie und Körperschaft] ; ESSoS 3 2011 Madrid

    Engineering secure software and systems : third international symposium, ESSoS 2011, Madrid, Spain, February 9 - 10, 2011 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Heidelberg [u.a.]: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 6542

  3. Eck, Pascal van [HerausgeberIn]; Eck, Pascal van [Sonstige Person, Familie und Körperschaft]; Gordijn, Jaap [Sonstige Person, Familie und Körperschaft]; Wieringa, Roel [Sonstige Person, Familie und Körperschaft] ; CAiSE 21 2009 Amsterdam

    Advanced information systems engineering : 21st international conference, CAiSE 2009, Amsterdam, The Netherlands, June 8 - 12, 2009 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2009

    Erschienen in: Lecture notes in computer science ; 5565

  4. Wieringa, Roel [Sonstige Person, Familie und Körperschaft] ; Institute of Electrical and Electronics Engineers

    IEEE Seventh International Conference on Research Challenges in Information Science (RCIS), 2013 : 29 - 31 May 2013, Paris, France ; RCIS 2013 is a conference of RCIS Conference Series

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Piscataway, NJ: IEEE, 2013

  5. Wieringa, Roel [VerfasserIn] ; Persson, Anne [Sonstige Person, Familie und Körperschaft]

    Requirements Engineering: Foundation for Software Quality : 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

    Erschienen in: Lecture notes in computer science ; 6182

  6. Erlingsson, Úlfar [VerfasserIn] ; Wieringa, Roel [Sonstige Person, Familie und Körperschaft]; Zannone, Nicola [Sonstige Person, Familie und Körperschaft]

    Engineering Secure Software and Systems : Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Erschienen in: Lecture notes in computer science ; 6542

  7. Erlingsson, Úlfar [VerfasserIn] ; Wieringa, Roel [MitwirkendeR]; Zannone, Nicola [MitwirkendeR] ACM Special Interest Group on Security, Audit and Control, ACM Special Interest Group on Software Engineering

    Proceedings of the Third international conference on Engineering secure software and systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag, 2011

    Erschienen in: ACM Other conferences- ACM Digital Library

  8. Brinksma, Ed [VerfasserIn]; Harel, David [VerfasserIn]; Mader, Angelika [VerfasserIn]; Stevens, Perdita [VerfasserIn]; Wieringa, Roel [VerfasserIn] ; Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa [MitwirkendeR]

    06351 Abstracts Collection – Methods for Modelling Software Systems (MMOSS)

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2007

  9. Brinksma, Ed [VerfasserIn]; Harel, David [VerfasserIn]; Mader, Angelika [VerfasserIn]; Stevens, Perdita [VerfasserIn]; Wieringa, Roel [VerfasserIn] ; Ed Brinksma and David Harel and Angelika Mader and Perdita Stevens and Roel Wieringa [MitwirkendeR]

    06351 Summary – Methods for Modelling Software Systems (MMOSS)

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2007

  10. Hutchison, David [Sonstige Person, Familie und Körperschaft]; Nierstrasz, Oscar [Sonstige Person, Familie und Körperschaft]; Pandu Rangan, C. [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Sudan, Madhu [Sonstige Person, Familie und Körperschaft]; Terzopoulos, Demetri [Sonstige Person, Familie und Körperschaft]; Tygar, Doug [Sonstige Person, Familie und Körperschaft]; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]; Weikum, Gerhard [Sonstige Person, Familie und Körperschaft]; Wieringa, Roel [Sonstige Person, Familie und Körperschaft]; Eck, Pascal [Sonstige Person, Familie und Körperschaft]; Gordijn, Jaap [Sonstige Person, Familie und Körperschaft]; Kanade, Takeo [Sonstige Person, Familie und Körperschaft]; Kittler, Josef [Sonstige Person, Familie und Körperschaft]; Kleinberg, Jon [Sonstige Person, Familie und Körperschaft]; Mattern, Friedemann [Sonstige Person, Familie und Körperschaft]; Mitchell, John C. [Sonstige Person, Familie und Körperschaft]; Naor, Moni [Sonstige Person, Familie und Körperschaft]

    Advanced Information Systems Engineering : 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Erschienen in: Lecture notes in computer science ; 5565

  11. Berntsson Svensson, Richard [VerfasserIn]; Berry, Daniel M. [VerfasserIn]; Daneva, Maya [VerfasserIn]; Doerr, Joerg [VerfasserIn]; España, Sergio [VerfasserIn]; Herrmann, Andrea [VerfasserIn]; Herzwurm, Georg [VerfasserIn]; Hoffmann, Anne [VerfasserIn]; Mazo Pena, Raul [VerfasserIn]; Opdahl, Andreas L. [VerfasserIn]; Pastor, Óscar [VerfasserIn]; Pietsch, Wolfram [VerfasserIn]; Salinesi, Camille [VerfasserIn]; Schneider, Kurt [VerfasserIn]; Seyff, Norbert [VerfasserIn]; van de Weerd, Inge [VerfasserIn]; Wieringa, Roel [VerfasserIn]; Wnuk, Krzysztof [VerfasserIn]

    19th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2013). Proceedings of the REFSQ 2013 Workshops CreaRE, IWSPM, and RePriCo, the REFSQ 2013 Empirical Track (Empirical Live Experiment and Empirical Research Fair), the REFSQ 2013 Doctoral Symposium, and the REFSQ 2013 Poster Session

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Essen: Universität Duisburg-Essen, Institut für Informatik und Wirtschaftsinformatik (ICB), 2013

  19. Wieringa, Roel

    Lecture Notes in Computer Science: LCM and MCM : Specification of a control system using dynamic logic and process algebra : Specification of a control system using dynamic logic and process algebra

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 1995

    Erschienen in: Lecture Notes in Computer Science