Search dblp for Publications

export results for "toc:db/conf/se/se1980.bht:"

 download as .bib file

@proceedings{DBLP:conf/se/1980,
  editor       = {Christiane Floyd and
                  Hermann Kopetz},
  title        = {Software Engineering - Entwurf und Spezifikation, Tagung {II/1980}
                  mit Workshop des German Chapter of the {ACM} vom 12. bis 16.9.1980
                  in Berlin},
  series       = {Berichte des German Chapter of the {ACM}},
  volume       = {5},
  publisher    = {Teubner},
  year         = {1981},
  isbn         = {3-519-02424-1},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/1980.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Balzert80,
  author       = {Helmut Balzert},
  title        = {Systematischer Vergleich von Methoden, Sprachen und Werkzeugen zur
                  Definition und Analyse von Anforderungen an Software-Produkte},
  booktitle    = {Software Engineering},
  pages        = {265--267},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Balzert80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/BalzertW80,
  author       = {Helmut Balzert and
                  Dieter Weber},
  title        = {{PLASMA/D} - Eine Sprache f{\"{u}}r den Systementwurf},
  booktitle    = {Software Engineering},
  pages        = {175--201},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/BalzertW80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Behr80,
  author       = {J.{-}P. Behr},
  title        = {Methode zur Sofwareentwicklung in Realzeitsystemen am Beispiel einer
                  mikroprozessgesteuerten Teilnehmerstation},
  booktitle    = {Software Engineering},
  pages        = {352--353},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Behr80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Beichter80,
  author       = {Friedrich W. Beichter},
  title        = {Spezifikationsbeschreibungen in der industriellen Praxis},
  booktitle    = {Software Engineering},
  pages        = {300--302},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Beichter80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/BeichterBFH80,
  author       = {Friedrich W. Beichter and
                  O. Buchegger and
                  Norbert E. Fuchs and
                  Otthein Herzog},
  title        = {SALN-4, {A} Software Specification and Design Language},
  booktitle    = {Software Engineering},
  pages        = {91--108},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/BeichterBFH80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Belli80,
  author       = {Fevzi Belli},
  title        = {Kritik an Entwurfsverfahren im Hinblick auf Qualit{\"{a}}tsanforderungen
                  bei Realzeit-Software},
  booktitle    = {Software Engineering},
  pages        = {354--355},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Belli80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Bruck80,
  author       = {Hans vor der Br{\"{u}}ck},
  title        = {Bewertung von {SPECIAL} und seiner Tools anhand der formalen Spezifikation
                  von {KSOS} und {PSOS}},
  booktitle    = {Software Engineering},
  pages        = {284--285},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Bruck80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Christ80,
  author       = {Joachim Christ},
  title        = {PASILA, ein computerunterst{\"{u}}tztes Werkzeug zur Definition
                  und Implementation von Anforderungssprachen},
  booktitle    = {Software Engineering},
  pages        = {337--338},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Christ80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Dafoe80,
  author       = {D. Dafoe},
  title        = {Modularisierte Systemspezifikation anhand des {JDPOOLS}},
  booktitle    = {Software Engineering},
  pages        = {286--287},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Dafoe80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/EhrigFK80,
  author       = {Hartmut Ehrig and
                  Werner Fey and
                  Hans{-}J{\"{o}}rg Kreowski},
  title        = {Algebraische Spezifikation eines St{\"{u}}cklistensystems - eine
                  Fallstudie},
  booktitle    = {Software Engineering},
  pages        = {75--90},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/EhrigFK80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Florek80,
  author       = {Siegfried Florek},
  title        = {Rechnergest{\"{u}}tztes Entwerfen bei einem verteilten Datenbanksystem
                  mit {IBIS}},
  booktitle    = {Software Engineering},
  pages        = {319--320},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Florek80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Franck80,
  author       = {Holger Franck},
  title        = {Einige Bemerkungen zu Modellierung, Kommunikation und Dokumentation
                  bei der Anforderungsanalyse und ihre Unterst{\"{u}}tzung durch
                  {SADT}},
  booktitle    = {Software Engineering},
  pages        = {220--227},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Franck80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Frischkorn80,
  author       = {Hans{-}Georg Frischkorn},
  title        = {Beschreibung und Bewertung von Spezifikationsmethoden und-sprachen},
  booktitle    = {Software Engineering},
  pages        = {303--305},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Frischkorn80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Hass80,
  author       = {Peter Ha{\ss}},
  title        = {Das interaktive Werkzeug {BOIE}},
  booktitle    = {Software Engineering},
  pages        = {339--341},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Hass80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/HauerS80,
  author       = {K. Hauer and
                  Peter Schnupp},
  title        = {Thesen zu den Anforderungen an eine Spezifikationssprache},
  booktitle    = {Software Engineering},
  pages        = {268--270},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/HauerS80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/HausenM80,
  author       = {Hans{-}Ludwig Hausen and
                  Monika M{\"{u}}llerburg},
  title        = {Beschreibungsmittel und Werkzeuge f{\"{u}}r Spezifikation in
                  Software-Engineering-Environments},
  booktitle    = {Software Engineering},
  pages        = {342--344},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/HausenM80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/HerzogK80,
  author       = {Max Herzog and
                  Bernd K{\"{u}}hnel},
  title        = {Datenstrukturiertes Entwerfen von Realtime-Software},
  booktitle    = {Software Engineering},
  pages        = {356--357},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/HerzogK80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Hesse80,
  author       = {Wolfgang Hesse},
  title        = {Die "Programmentwicklungs-Landschaft" - Ein Schema zur Erfassung und
                  Bewertung von Software-Entwicklungstechniken},
  booktitle    = {Software Engineering},
  pages        = {321--323},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Hesse80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Hoffmann80,
  author       = {Dietmar Hoffmann},
  title        = {Probleme beim Software-Entwurf f{\"{u}}r verteilte Realzeitsysteme},
  booktitle    = {Software Engineering},
  pages        = {358--359},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Hoffmann80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Jones80,
  author       = {Cliff B. Jones},
  title        = {Towards More Formal Specifictations},
  booktitle    = {Software Engineering},
  pages        = {19--45},
  year         = {1980},
  timestamp    = {Tue, 01 Apr 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/se/Jones80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Keutgen80,
  author       = {Hans Keutgen},
  title        = {Inwieweit l{\"{a}}{\ss}t sich das Entwerfen von Systemen automatisieren?},
  booktitle    = {Software Engineering},
  pages        = {316--318},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Keutgen80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Keutgen80a,
  author       = {Hans Keutgen},
  title        = {{DARTS} - ein Beschreibungswerkzeug mit Unterst{\"{u}}tzung des
                  datenorientierten Entwurfs},
  booktitle    = {Software Engineering},
  pages        = {324--325},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Keutgen80a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Kleine80,
  author       = {Karl Kleine},
  title        = {Pragmatische Kurskorrekturen f{\"{u}}r Spezifikationssprachen
                  in der Praxis},
  booktitle    = {Software Engineering},
  pages        = {109--128},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Kleine80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Kohler80,
  author       = {Christian K{\"{o}}hler},
  title        = {Sind die Spezifikationsmethoden heute praktisch einsetzbar?},
  booktitle    = {Software Engineering},
  pages        = {306--309},
  year         = {1980},
  timestamp    = {Mon, 29 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Kohler80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Kopetz80,
  author       = {Hermann Kopetz},
  title        = {Einf{\"{u}}hrung},
  booktitle    = {Software Engineering},
  pages        = {261--262},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Kopetz80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/KramerS80,
  author       = {Bernd J. Kr{\"{a}}mer and
                  Heinz W. Schmidt},
  title        = {Interaktive Softwareentwicklung durch schrittweise Formalisierung},
  booktitle    = {Software Engineering},
  pages        = {310--311},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/KramerS80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Kreowski80,
  author       = {Hans{-}J{\"{o}}rg Kreowski},
  title        = {Algebraische Spezifikation von Softwaresystemen},
  booktitle    = {Software Engineering},
  pages        = {46--74},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Kreowski80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Kreowski80a,
  author       = {Hans{-}J{\"{o}}rg Kreowski},
  title        = {Wo liegen die Grenzen der praktischen Anwendung formaler Methoden
                  f{\"{u}}r die Entwurfsspezifikation?},
  booktitle    = {Software Engineering},
  pages        = {281--283},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Kreowski80a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Kron80,
  author       = {Hans H. Kron},
  title        = {Erfahrungen mit Spezifikationsmehtoden beim Programmkonstruktionspraktikum},
  booktitle    = {Software Engineering},
  pages        = {288--289},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Kron80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Lohr80,
  author       = {Klaus{-}Peter L{\"{o}}hr},
  title        = {Welche zus{\"{a}}tzlichen Anforderungen an die Spezifikations-
                  und Entwurfsmethoden stellen verteilte Systeme und Realzeitsysteme?},
  booktitle    = {Software Engineering},
  pages        = {352--353},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Lohr80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/LuftS80,
  author       = {Alfred L. Luft and
                  D. Steinbauer},
  title        = {Vom Konzept zur abstrakten Spezifikation: Bemerkungen zur Bedeutung
                  konstruktiver abstrakter Datentypen},
  booktitle    = {Software Engineering},
  pages        = {271--272},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/LuftS80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Mayr80,
  author       = {Heinrich C. Mayr},
  title        = {Zur Spezifikation von Datentypen},
  booktitle    = {Software Engineering},
  pages        = {290--292},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Mayr80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Mittelstein80,
  author       = {Matthias Mittelstein},
  title        = {Standardisierung von Spezifikationen in einem Softwarehaus},
  booktitle    = {Software Engineering},
  pages        = {273--274},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Mittelstein80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Muller80,
  author       = {Gerhard M{\"{u}}ller},
  title        = {Methoden bei der Entwicklung neuer Komponenten f{\"{u}}r die
                  COMET-Anwendungssfotware},
  booktitle    = {Software Engineering},
  pages        = {326--327},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Muller80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Oostendorp80,
  author       = {W. Oostendorp},
  title        = {{PSDL/PSDA} - Ein methodisch integrierter Ansatz f{\"{u}}r die
                  Spezifikation und den Entwurf von Applikationssoftware},
  booktitle    = {Software Engineering},
  pages        = {228--240},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Oostendorp80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Profrock80,
  author       = {Anna{-}Kristin Pr{\"{o}}frock},
  title        = {L{\"{o}}sungsans{\"{a}}tze f{\"{u}}r Probleme der Programmdokumentation},
  booktitle    = {Software Engineering},
  pages        = {328--329},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Profrock80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Rechenberg80,
  author       = {Peter Rechenberg},
  title        = {In welchem Verh{\"{a}}ltnis stehen Nutzen zu Aufwand beim Einsatz
                  von Werkzeugen?},
  booktitle    = {Software Engineering},
  pages        = {334--336},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Rechenberg80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Rechenberg80a,
  author       = {Peter Rechenberg},
  title        = {Attributierte Grammatiken als Werkzeug der Softwaretechnik},
  booktitle    = {Software Engineering},
  pages        = {345--347},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Rechenberg80a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Rombach80,
  author       = {H. Dieter Rombach},
  title        = {Ein Entwurfskonzept f{\"{u}}r lokal verteilte Systemsoftware},
  booktitle    = {Software Engineering},
  pages        = {241--257},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Rombach80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Rombach80a,
  author       = {H. Dieter Rombach},
  title        = {Ein Entwurfskonezept f{\"{u}}r verteilte Systemsoftware},
  booktitle    = {Software Engineering},
  pages        = {360--361},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Rombach80a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Rzehak80,
  author       = {Helmut Rzehak},
  title        = {Eignung bekannter rechnergest{\"{u}}tzter Methoden und Hilfsmittel
                  zur Programmentwicklung f{\"{u}}r Realzeitsysteme mit hohen Sicherheitsanforderungen},
  booktitle    = {Software Engineering},
  pages        = {348--349},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Rzehak80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/SchellingB80,
  author       = {H. Schelling and
                  Joachim Biewald},
  title        = {Rechnergest{\"{u}}tzte statische Analyse des Funktions- und Sofwareentwurfs
                  in {EPOS}},
  booktitle    = {Software Engineering},
  pages        = {161--174},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/SchellingB80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Schwald80,
  author       = {Andreas Schwald},
  title        = {Schnittstellen in Phasenmodellen},
  booktitle    = {Software Engineering},
  pages        = {329--330},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Schwald80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Simonsmeier80,
  author       = {Werner Simonsmeier},
  title        = {Wo liegen die Grenzen der praktischen Anwendung formaler Methoden
                  f{\"{u}}r die Anforderungsdefinition und funktionale Spezifikation?},
  booktitle    = {Software Engineering},
  pages        = {263--264},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Simonsmeier80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Simonsmeier80a,
  author       = {Werner Simonsmeier},
  title        = {Universelle Spezifikationen? - Bestimmungsfaktoren f{\"{u}}r
                  die Brauchbarkeit von Spezifikationsmethoden},
  booktitle    = {Software Engineering},
  pages        = {275--276},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Simonsmeier80a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Spitta80,
  author       = {Thorsten Spitta},
  title        = {Problemspezifikation - Ein Instrument zur funktionalen Spezifikation
                  in industriellen Softwareprojekten},
  booktitle    = {Software Engineering},
  pages        = {277--278},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Spitta80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Timm80,
  author       = {Michael Timm},
  title        = {Aufwandsch{\"{a}}tzung von Softwareentwicklungsprojekten},
  booktitle    = {Software Engineering},
  pages        = {331--333},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Timm80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Turski80,
  author       = {Wladyslaw M. Turski},
  title        = {Design of Large Programs},
  booktitle    = {Software Engineering},
  pages        = {129--160},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Turski80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Voges80,
  author       = {Udo Voges},
  title        = {Anforderungsspezifikation f{\"{u}}r sicherheitsrelevante Systeme},
  booktitle    = {Software Engineering},
  pages        = {279--280},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Voges80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Weber80,
  author       = {Ekke Weber},
  title        = {Software-Entwurf nach dem Modell der hierarchisch strukturierten Interaktion
                  {HSI}},
  booktitle    = {Software Engineering},
  pages        = {293--294},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Weber80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Winkler80,
  author       = {Gerhard Winkler},
  title        = {Die gemeinsame Benutzung zweier unterschiedlicher Strukturierungsprinzipien
                  beim Entwurf von Systemen},
  booktitle    = {Software Engineering},
  pages        = {295--296},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Winkler80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/WintersteinHT80,
  author       = {Georg Winterstein and
                  Norbert Heck and
                  Peter Trum},
  title        = {Pr{\"{a}}dikatenlogik als Basis f{\"{u}}r eine Spezifikationssprache},
  booktitle    = {Software Engineering},
  pages        = {312--313},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/WintersteinHT80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Witt80,
  author       = {Jan Witt},
  title        = {Inwieweit sind Spezifikationssprachen Programmiersprachen?},
  booktitle    = {Software Engineering},
  pages        = {297--299},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Witt80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Witt80a,
  author       = {Jan Witt},
  title        = {Inwieweit sind Spezifikationssprachen Programmiersprachen? Versuch
                  eines systematischen Ansatzes},
  booktitle    = {Software Engineering},
  pages        = {314--315},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Witt80a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Yeomans80,
  author       = {Peter H. Yeomans},
  title        = {Requirements Analysis Using {SADT}},
  booktitle    = {Software Engineering},
  pages        = {202--219},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Yeomans80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Zima80,
  author       = {Hans P. Zima},
  title        = {Vergleich von Synchronisationsmechanismen},
  booktitle    = {Software Engineering},
  pages        = {362--363},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Zima80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics