Search dblp for Publications

export results for "toc:db/conf/programmier/programmier1981.bht:"

 download as .bib file

@inproceedings{DBLP:conf/programmier/AngermannS81,
  author       = {Klaus Angermann and
                  Manfred Sedello},
  editor       = {Gerhard Goos},
  title        = {Software-Entwicklung f{\"{u}}r Mikroprozessoren bei der Nixdorf
                  Computer {AG}},
  booktitle    = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17.
                  M{\"{a}}rz 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {43},
  pages        = {214--227},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-642-68064-9\_12},
  doi          = {10.1007/978-3-642-68064-9\_12},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programmier/AngermannS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programmier/Buchler81,
  author       = {Alois B{\"{u}}chler},
  editor       = {Gerhard Goos},
  title        = {Die separate Compilation in Chill},
  booktitle    = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17.
                  M{\"{a}}rz 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {43},
  pages        = {181--196},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-642-68064-9\_10},
  doi          = {10.1007/978-3-642-68064-9\_10},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programmier/Buchler81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programmier/ChristB81,
  author       = {Joachim Christ and
                  Helmut Balzert},
  editor       = {Gerhard Goos},
  title        = {{PASILA} - ein computerunterst{\"{u}}tztes Werkzeug zur Definition
                  und Implementation von Anforderungssprachen},
  booktitle    = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17.
                  M{\"{a}}rz 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {43},
  pages        = {57--74},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-642-68064-9\_4},
  doi          = {10.1007/978-3-642-68064-9\_4},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programmier/ChristB81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programmier/DausmannPDW81,
  author       = {Manfred Dausmann and
                  Guido Persch and
                  Sophia Drossopoulou and
                  Georg Winterstein},
  editor       = {Gerhard Goos},
  title        = {A Separate Compilation System for Ada},
  booktitle    = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17.
                  M{\"{a}}rz 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {43},
  pages        = {197--213},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-642-68064-9\_11},
  doi          = {10.1007/978-3-642-68064-9\_11},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programmier/DausmannPDW81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programmier/EckertL81,
  author       = {Klaus Eckert and
                  Jochen Ludewig},
  editor       = {Gerhard Goos},
  title        = {ESPRESO-W, ein Werkzeug f{\"{u}}r die Spezifikation von Proze{\ss}rechner-Software},
  booktitle    = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17.
                  M{\"{a}}rz 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {43},
  pages        = {101--112},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-642-68064-9\_6},
  doi          = {10.1007/978-3-642-68064-9\_6},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programmier/EckertL81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programmier/Fischer81,
  author       = {Georg Fischer},
  editor       = {Gerhard Goos},
  title        = {Ein Weg zur Spezifikation und Durchf{\"{u}}hrung von Transformationen
                  an Programmen in h{\"{o}}heren Programmiersprachen},
  booktitle    = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17.
                  M{\"{a}}rz 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {43},
  pages        = {41--56},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-642-68064-9\_3},
  doi          = {10.1007/978-3-642-68064-9\_3},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programmier/Fischer81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programmier/Gerkens81,
  author       = {Rainer Michael Gerkens},
  editor       = {Gerhard Goos},
  title        = {Erfahrungen aus Entwicklung und Einsatz eines Programmgeneratorsystems
                  mit komfortabler Benutzerschnittstelle zum "bildhaften Spezifizieren"},
  booktitle    = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17.
                  M{\"{a}}rz 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {43},
  pages        = {228--243},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-642-68064-9\_13},
  doi          = {10.1007/978-3-642-68064-9\_13},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programmier/Gerkens81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programmier/HausenM81,
  author       = {Hans{-}Ludwig Hausen and
                  Monika M{\"{u}}llerburg},
  editor       = {Gerhard Goos},
  title        = {Software-Produktionsumgebungen: Entwicklungsstand und Trends},
  booktitle    = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17.
                  M{\"{a}}rz 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {43},
  pages        = {1--27},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-642-68064-9\_1},
  doi          = {10.1007/978-3-642-68064-9\_1},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programmier/HausenM81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programmier/Hesse81,
  author       = {Wolfgang Hesse},
  editor       = {Gerhard Goos},
  title        = {Methoden und Werkzeuge zur Software-Entwicklung: Einordnung und {\"{U}}berblick},
  booktitle    = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17.
                  M{\"{a}}rz 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {43},
  pages        = {113--153},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-642-68064-9\_7},
  doi          = {10.1007/978-3-642-68064-9\_7},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programmier/Hesse81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programmier/Laut81,
  author       = {Alfred Laut},
  editor       = {Gerhard Goos},
  title        = {Developing algebraic specifications of threaded data structure implementations},
  booktitle    = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17.
                  M{\"{a}}rz 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {43},
  pages        = {28--40},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-642-68064-9\_2},
  doi          = {10.1007/978-3-642-68064-9\_2},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programmier/Laut81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programmier/Plattner81,
  author       = {Hasso Plattner},
  editor       = {Gerhard Goos},
  title        = {Systeme {R/SAP} - Real Time Systeme},
  booktitle    = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17.
                  M{\"{a}}rz 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {43},
  pages        = {244--260},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-642-68064-9\_14},
  doi          = {10.1007/978-3-642-68064-9\_14},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programmier/Plattner81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programmier/Schnupp81,
  author       = {Peter Schnupp},
  editor       = {Gerhard Goos},
  title        = {Spezifikation f{\"{u}}r ein Spezifikationswerkzeug},
  booktitle    = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17.
                  M{\"{a}}rz 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {43},
  pages        = {75--100},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-642-68064-9\_5},
  doi          = {10.1007/978-3-642-68064-9\_5},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programmier/Schnupp81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programmier/SchollenbergerTV81,
  author       = {K. Schollenberger and
                  Klaus Tru{\"{o}}l and
                  U. Viebeg},
  editor       = {Gerhard Goos},
  title        = {{DIPROTOR} - ein Softwarewerkzeug zur Erstellung von Diagrammen und
                  Programmrahmen f{\"{u}}r die datenstrukturorientierte Methode
                  des Programmentwurfs},
  booktitle    = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17.
                  M{\"{a}}rz 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {43},
  pages        = {154--168},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-642-68064-9\_8},
  doi          = {10.1007/978-3-642-68064-9\_8},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programmier/SchollenbergerTV81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/programmier/SpittaS81,
  author       = {Thorsten Spitta and
                  Antonio Schnieder},
  editor       = {Gerhard Goos},
  title        = {{RELSPEZ} - eine relationale Problemspezifikation: Konzept und Erfahrungsbericht},
  booktitle    = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17.
                  M{\"{a}}rz 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {43},
  pages        = {169--180},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-642-68064-9\_9},
  doi          = {10.1007/978-3-642-68064-9\_9},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programmier/SpittaS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/programmier/1981,
  editor       = {Gerhard Goos},
  title        = {Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17.
                  M{\"{a}}rz 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {43},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-642-68064-9},
  doi          = {10.1007/978-3-642-68064-9},
  isbn         = {3-540-10725-8},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programmier/1981.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.