Skip to main content
SpringerLink
Log in
Book cover

Testen, Analysieren und Verifizieren von Software pp 81–90Cite as

Der Software-Analyse-Baukasten — Ein Bericht aus der universitären Ausbildung

  • Conference paper

  • 208 Accesses

Part of the book series: Informatik aktuell ((INFORMAT))

Zusammenfassung

An der TU Braunschweig wird im Studiengang Informatik im Rahmen der Programmierausbildung im vierten Semester ein Programmierpraktikum angeboten. In diesem Praktikum müssen die Studenten in kleinen Gruppen (3–4 Personen) ein kleines Projekt bearbeiten, wobei die Phasen der Software-Entwicklung von der Problemanalyse über das Pflichtenheft und den Entwurf bis zur Codierung und den Test durchlaufen werden. Dabei wird mehr Wert auf das Vermitteln der allgemeinen Prinzipien des Software-Engineering als auf das Lehren spezieller Methoden gelegt.

This is a preview of subscription content, 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   44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   59.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. AHO, V.A., SETHI, R., ULLMAN, J.D. [1988]. Compilers — Principles, Techniques, and Tools, Addison-Wesley, Reading, Mass.

    Google Scholar 

  2. DEUTER, M. [1989]. Entwicklung einer Komponente zur Verwaltung von Syntaxbäumen, Diplomarbeit, Technische Universität München.

    Google Scholar 

  3. DEMILLO, R.A., MCCRACKEN, W.M., MARTIN, R.J., PASSAFIUME, J.F. [1987]. Software Testing and Evaluation, Benjamin Cummings, Menlo Park, Cal.

    Google Scholar 

  4. DUMKE, R. [1991]. Software-Metrie, Bericht, Technische Universität Magdeburg.

    Google Scholar 

  5. GROSCH, J., EMMELMANN, H. [1990]. Werkzeuge für den Übersetzerbau, Compiler Generation Report No. 21, GMD Forschungsstelle an der Universität Karlsruhe.

    Google Scholar 

  6. LLGGESMEYER, P. [1990]. Modultest und Modulverißkation — State of the Art, BI-Wissenschaftsverlag, Mannheim.

    Google Scholar 

  7. MYERS, G.J. [1989]. Methodisches Testen von Programmen, 3. Aufl., R. Oldenbourg Verlag, München.

    MATH  Google Scholar 

  8. PLAGGE, F. [1991]. MODULA-2 Scanner und Parser mit allgemeiner Anwenderschnittstelle, Studienarbeit an der Abteilung für Programmiersprachen, Technische Universität Braunschweig.

    Google Scholar 

  9. RECHENBERG, P., MöSSENBöCK, H. [1987]. Ein Compiler-Generator für Micro-Computer, Carl Hanser Verlag, München.

    Google Scholar 

  10. TRAWNY, M. [1992]. Entwurf und Implementierung eines abstrakten Syntaxbaumes für MODULA-2, Studienarbeit an der Abteilung für Programmiersprachen, Technische Universität Braunschweig.

    Google Scholar 

  11. WLRTH, N. [1991]. Programmieren in MODULA-2, 2. Aufl., Springer-Verlag, Berlin.

    Google Scholar 

  12. ZUSE, H. [1991]. Software Complexity Measures and Methods, Walter de Gruyter, Berlin.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Abteilung Programmiersprachen, Technische Universität Braunschweig, Gaußstr. 11, 3300, Braunschweig, Germany

    Ralf Haselhorst

Authors
  1. Ralf Haselhorst
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Lehrstuhl für Software-Technik, Fakultät für Elektrotechnik, Ruhr-Universität Bochum, Postfach 102 148, W-4630, Bochum 1, Deutschland

    Peter Liggesmeyer

  2. SES-Software-Engineering Service GmbH, Rosenheimer Landstraße 37, W-8012, Ottobrunn, Deutschland

    Harry M. Sneed

  3. Fachbereich Mathematik/Informatik, Universität Bremen, Postfach 330 440, W-2800, Bremen 33, Deutschland

    Andreas Spillner

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Haselhorst, R. (1992). Der Software-Analyse-Baukasten — Ein Bericht aus der universitären Ausbildung. In: Liggesmeyer, P., Sneed, H.M., Spillner, A. (eds) Testen, Analysieren und Verifizieren von Software. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77747-9_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-77747-9_7

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-642-77747-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation