Abstract is missing.
- Towards More Formal SpecifictationsCliff B. Jones. 19-45
- Algebraische Spezifikation von SoftwaresystemenHans-Jörg Kreowski. 46-74
- Algebraische Spezifikation eines Stücklistensystems - eine FallstudieHartmut Ehrig, Werner Fey, Hans-Jörg Kreowski. 75-90
- SALN-4, A Software Specification and Design LanguageFriedrich W. Beichter, O. Buchegger, Norbert E. Fuchs, Otthein Herzog. 91-108
- Pragmatische Kurskorrekturen für Spezifikationssprachen in der PraxisKarl Kleine. 109-128
- Design of Large ProgramsWladyslaw M. Turski. 129-160
- Rechnergestützte statische Analyse des Funktions- und Sofwareentwurfs in EPOSH. Schelling, Joachim Biewald. 161-174
- PLASMA/D - Eine Sprache für den SystementwurfHelmut Balzert, Dieter Weber. 175-201
- Requirements Analysis Using SADTPeter H. Yeomans. 202-219
- Einige Bemerkungen zu Modellierung, Kommunikation und Dokumentation bei der Anforderungsanalyse und ihre Unterstützung durch SADTHolger Franck. 220-227
- PSDL/PSDA - Ein methodisch integrierter Ansatz für die Spezifikation und den Entwurf von ApplikationssoftwareW. Oostendorp. 228-240
- Ein Entwurfskonzept für lokal verteilte SystemsoftwareH. Dieter Rombach. 241-257
- EinführungHermann Kopetz. 261-262
- Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Anforderungsdefinition und funktionale Spezifikation?Werner Simonsmeier. 263-264
- Systematischer Vergleich von Methoden, Sprachen und Werkzeugen zur Definition und Analyse von Anforderungen an Software-ProdukteHelmut Balzert. 265-267
- Thesen zu den Anforderungen an eine SpezifikationsspracheK. Hauer, Peter Schnupp. 268-270
- Vom Konzept zur abstrakten Spezifikation: Bemerkungen zur Bedeutung konstruktiver abstrakter DatentypenAlfred L. Luft, D. Steinbauer. 271-272
- Standardisierung von Spezifikationen in einem SoftwarehausMatthias Mittelstein. 273-274
- Universelle Spezifikationen? - Bestimmungsfaktoren für die Brauchbarkeit von SpezifikationsmethodenWerner Simonsmeier. 275-276
- Problemspezifikation - Ein Instrument zur funktionalen Spezifikation in industriellen SoftwareprojektenThorsten Spitta. 277-278
- Anforderungsspezifikation für sicherheitsrelevante SystemeUdo Voges. 279-280
- Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Entwurfsspezifikation?Hans-Jörg Kreowski. 281-283
- Bewertung von SPECIAL und seiner Tools anhand der formalen Spezifikation von KSOS und PSOSHans vor der Brück. 284-285
- Modularisierte Systemspezifikation anhand des JDPOOLSD. Dafoe. 286-287
- Erfahrungen mit Spezifikationsmehtoden beim ProgrammkonstruktionspraktikumHans H. Kron. 288-289
- Zur Spezifikation von DatentypenHeinrich C. Mayr. 290-292
- Software-Entwurf nach dem Modell der hierarchisch strukturierten Interaktion HSIEkke Weber. 293-294
- Die gemeinsame Benutzung zweier unterschiedlicher Strukturierungsprinzipien beim Entwurf von SystemenGerhard Winkler. 295-296
- Inwieweit sind Spezifikationssprachen Programmiersprachen?Jan Witt. 297-299
- Spezifikationsbeschreibungen in der industriellen PraxisFriedrich W. Beichter. 300-302
- Beschreibung und Bewertung von Spezifikationsmethoden und-sprachenHans-Georg Frischkorn. 303-305
- Sind die Spezifikationsmethoden heute praktisch einsetzbar?Christian Köhler. 306-309
- Interaktive Softwareentwicklung durch schrittweise FormalisierungBernd J. Krämer, Heinz W. Schmidt. 310-311
- Prädikatenlogik als Basis für eine SpezifikationsspracheGeorg Winterstein, Norbert Heck, Peter Trum. 312-313
- Inwieweit sind Spezifikationssprachen Programmiersprachen? Versuch eines systematischen AnsatzesJan Witt. 314-315
- Inwieweit läßt sich das Entwerfen von Systemen automatisieren?Hans Keutgen. 316-318
- Rechnergestütztes Entwerfen bei einem verteilten Datenbanksystem mit IBISSiegfried Florek. 319-320
- Die "Programmentwicklungs-Landschaft" - Ein Schema zur Erfassung und Bewertung von Software-EntwicklungstechnikenWolfgang Hesse. 321-323
- DARTS - ein Beschreibungswerkzeug mit Unterstützung des datenorientierten EntwurfsHans Keutgen. 324-325
- Methoden bei der Entwicklung neuer Komponenten für die COMET-AnwendungssfotwareGerhard Müller. 326-327
- Lösungsansätze für Probleme der ProgrammdokumentationAnna-Kristin Pröfrock. 328-329
- Schnittstellen in PhasenmodellenAndreas Schwald. 329-330
- Aufwandschätzung von SoftwareentwicklungsprojektenMichael Timm. 331-333
- In welchem Verhältnis stehen Nutzen zu Aufwand beim Einsatz von Werkzeugen?Peter Rechenberg. 334-336
- PASILA, ein computerunterstütztes Werkzeug zur Definition und Implementation von AnforderungssprachenJoachim Christ. 337-338
- Das interaktive Werkzeug BOIEPeter Haß. 339-341
- Beschreibungsmittel und Werkzeuge für Spezifikation in Software-Engineering-EnvironmentsHans-Ludwig Hausen, Monika Müllerburg. 342-344
- Attributierte Grammatiken als Werkzeug der SoftwaretechnikPeter Rechenberg. 345-347
- Eignung bekannter rechnergestützter Methoden und Hilfsmittel zur Programmentwicklung für Realzeitsysteme mit hohen SicherheitsanforderungenHelmut Rzehak. 348-349
- Methode zur Sofwareentwicklung in Realzeitsystemen am Beispiel einer mikroprozessgesteuerten TeilnehmerstationJ. P. Behr. 352-353
- Welche zusätzlichen Anforderungen an die Spezifikations- und Entwurfsmethoden stellen verteilte Systeme und Realzeitsysteme?Klaus-Peter Löhr. 352-353
- Kritik an Entwurfsverfahren im Hinblick auf Qualitätsanforderungen bei Realzeit-SoftwareFevzi Belli. 354-355
- Datenstrukturiertes Entwerfen von Realtime-SoftwareMax Herzog, Bernd Kühnel. 356-357
- Probleme beim Software-Entwurf für verteilte RealzeitsystemeDietmar Hoffmann. 358-359
- Ein Entwurfskonezept für verteilte SystemsoftwareH. Dieter Rombach. 360-361
- Vergleich von SynchronisationsmechanismenHans P. Zima. 362-363