Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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 
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.
retrieved on 2024-07-08 02:19 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
