Zum Inhalt springen

  1. Möller, Bernhard [VerfasserIn] ; Partsch, Helmut [Sonstige Person, Familie und Körperschaft]; Schuman, Steve [Sonstige Person, Familie und Körperschaft]

    Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report

    Bücher
    Online ansehen
    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, 1993

    Erschienen in: Lecture notes in computer science ; 755

  2. Partsch, Helmut [VerfasserIn]

    Again on recognition and parsing of context free grammars: two exercises in transformational programming

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2012

    Erschienen in: Ulmer Informatik-Berichte ; 94,17

  3. Partsch, Helmut [VerfasserIn]

    Transformational development of data-parallel algorithms: an example

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012

    Erschienen in: Ulmer Informatik-Berichte ; 94,18

  4. Achatz, Klaus [VerfasserIn]; Partsch, Helmut [VerfasserIn]

    From descriptive specifications to operational ones: a powerful transformation rule, its applications and variants

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012

    Erschienen in: Ulmer Informatik-Berichte ; 96,13

  5. Broy, Manfred [VerfasserIn]; Jarke, Matthias [VerfasserIn]; Nagl, Manfred [VerfasserIn]; Rombach, Hans Dieter [VerfasserIn]; Cremers, Armin B. [VerfasserIn]; Ebert, Jürgen [VerfasserIn]; Glesner, Sabine [VerfasserIn]; Glinz, Martin [VerfasserIn]; Goedicke, Michael [VerfasserIn]; Goos, Gerhard [VerfasserIn]; Gruhn, Volker [VerfasserIn]; Hasselbring, Wilhelm [VerfasserIn]; Jähnichen, Stefan [VerfasserIn]; Kowalewski, Stefan [VerfasserIn]; Krämer, Bernd J. [VerfasserIn]; Leue, Stefan [VerfasserIn]; Lewerentz, Claus [VerfasserIn]; Liggesmeyer, Peter [VerfasserIn]; Lüth, Christoph [VerfasserIn]; Paech, Barbara [VerfasserIn]; Partsch, Helmut A. [VerfasserIn]; Philippow, Ilka [VerfasserIn]; Prechelt, Lutz [VerfasserIn]; Rausch, Andreas [VerfasserIn]; [...] ; Manfred Broy and Matthias Jarke and Manfred Nagl and Hans Dieter Rombach and Armin B. Cremers and Jürgen Ebert and Sabine Glesner and Martin Glinz and Michael Goedicke and Gerhard Goos and Volker Gruhn and Wilhelm Hasselbring and Stefan Jähnichen and Stefan Kowalewski and Bernd J. Krämer and Stefan Leue and Claus Lewerentz and Peter Liggesmeyer and Christoph Lüth and Barbara Paech and Helmut A. Partsch and Ilka Philippow and Lutz Prechelt and Andreas Rausch and Willem-Paul de Roever and Bernhard Rumpe and Gudula Rünger and Wilhelm Schäfer and Kurt Schneider and Andy Schürr and Walter F. Tichy and Bernhard Westfechtel and Wolf Zimmermann and Albert Zündorf [MitwirkendeR]

    Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland

    Aufsätze
    Online ansehen
    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, 2006