Skip to main content
SpringerLink
Log in

Die Erstellung formaler Fachkonzepte in der Software-Industrie

  • Conference paper
GI — 18. Jahrestagung II

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 188))

  • 53 Accesses

Zusammenfassung

Alle diejenigen, die mit der Software-Entwicklung zu tun haben, stützen sich bei der Entwicklung ihrer Software auf mehr oder weniger ähnliche Phasenmodelle, die den Entwicklungsfortschritt in unterschiedlicher Weise unterstützen. Gemeinsames Ziel ist es, Software unter Berücksichtigung der geforderten Qualitätsmerkmale so wirtschaftlich wie nur möglich zu produzieren.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literaturverzeichnis

  1. Atzmüller, H.: MOSES — Ein Werkzeugsystem für alte und neue Software Erscheint in: Proceedings der GUUG — Jahrestagung 1988 vom 27.–29. September in Hannover

    Google Scholar 

  2. DIN 66200: Betrieb von Rechensystemen, Begriffe Beuth Verlag GmbH, Berlin 30, Oktober 78

    Google Scholar 

  3. Floyd, C.; Itter, F.: Anforderungsdefinition für ein studentisches Wohnungsvermittlungssystem Arbeitsunterlage zur Lehrveranstaltung “Software Engineering” im WS83/84

    Google Scholar 

  4. Genrich, H.J.: Predicate/Transition Nets LNCS 254, Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef, September 1986

    Google Scholar 

  5. Genrich, H.J.: Equivalence Transformations of PrT-Nets Proceedings of the 9. European Workshop on Application and Theory of Petri Nets, Venice, June 22nd - 24th 1988

    Google Scholar 

  6. Herzog, O.; Reisig, W.; Valk, R.: Petri-Netze: Ein Abriß ihrer Grundlagen und Anwendungen Informatik-Spektrum Band 7, Heft 1, Februar 1984

    Google Scholar 

  7. Petri, C.A.: Kommunikationsdisziplinen In: Ansätze zur Organisationstheorie Rechnergestützter Informationssysteme; C. A. Petri (Hrsg.), GMD Bericht Nr. 111, R. Oldenburg Verlag, München 1979

    Google Scholar 

  8. Reisig, W.: Systementwurf mit Netzen Springer-Verlag Berlin Heidelberg 1985

    MATH  Google Scholar 

  9. Reisig, W.: Petri Nets in Software Engineering LNCS 255, Petri Nets: Applications and Relationships to Other Models of Concurrency, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, September 1986

    Google Scholar 

  10. Richter, G.: Realitätsgetreues Modellieren und modellgetreues Realisieren von Bürogeschehen In: Informationstechnik und Bürosysteme; Wißkirchen, Kreifels, Krückeberg, Richter, Wurch; Leitfäden der angewandten Informatik; B.G. Teuber, Stuttgart 1983

    Google Scholar 

  11. Richter, G.: Netzmodelle für die Bürokommunikation (Teil 1) Informatik-Spektrum Band 6, Heft 4, November 1983

    Google Scholar 

  12. Richter, G.: Netzmodelle für die Bürokommunikation (Teil 2) Informatik-Spektrum Band 7, Heft 1, Februar 1984

    Google Scholar 

  13. Richter, G.: Clocks and Their Use for Time Modelling Information Systems: Theoretical and Formal Aspects, A. Sernadas, J. Bubenko, Jr., and A. Olive (Eds.); Elsevier Science Publishers B.V. (North Holland), IFIP 1985

    Google Scholar 

  14. Scheschonk, G.: UniBase — A Software-Production-Environment Proceedings of the Eigth European Workshop on Application and Theory of Petri Nets, Zaragoza, June 1987

    Google Scholar 

  15. Timm, M.: Die erweiterbare und portable Software-Produktionsumgebung UniBase In: Software professional, Theorie und Praxis des Software-Managements, Nr. 6, November/Dezember 1986

    Google Scholar 

  16. Vetter, M.: Strategie der Anwendungssoftware-Entwicklung Planung, Prinzipien, Konzepte Leitfaden der angewandten Informatik; B.G. Teuber, Stuttgart 1988

    Google Scholar 

  17. Voss, K.: Nets in Office Automation LNCS 255, Petri Nets: Applications and Relationships to Other Models of Concurrency, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, September 1986

    Google Scholar 

  18. Winter, D.; Scheschonk, G.; Gier, K.: ISAC — ein System zur Unterstützung der Systembeschreibung und der Systemanalyse In: Handbuch der modernen Datenverarbeitung, Forkel-Verlag, Heft 130, Juli 1986

    Google Scholar 

  19. Winter, D. (Koordinator): Der UniBase-Lifecycle in ISAC-Darstellung Internes Arbeitspapier: ACTIS.0030.6, November 1987

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Bereich Software Engineering Methoden und Tools, ACTIS in Berlin GmbH, Kurfürstendamm 65, 1000, Berlin 15, Deutschland

    Gert Scheschonk & Andreas Vogt

Authors
  1. Gert Scheschonk
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andreas Vogt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachbereich Informatik, Universität Hamburg, Rothenbaumchaussee 67/69, 2000, Hamburg 13, Deutschland

    Rüdiger Valk

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Scheschonk, G., Vogt, A. (1988). Die Erstellung formaler Fachkonzepte in der Software-Industrie. In: Valk, R. (eds) GI — 18. Jahrestagung II. Informatik-Fachberichte, vol 188. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74135-7_37

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-74135-7_37

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50360-6

  • Online ISBN: 978-3-642-74135-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation