Skip to main content

Spezielle Anwendungen

  • Chapter
  • 159 Accesses

Part of the book series: VDI-Buch ((VDI-BUCH))

Zusammenfassung

Simulation wird in der VDI-Richtlinie 3633 folgendermaßen definiert:

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

Buying options

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

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

  • Berg, H. et al.: Formal Methods of Program Verification. Englewood Cliffs: Prentice Hall 1982.

    Google Scholar 

  • Böhm, B.: Seven Basic Principles of Software-Engineering in Infotech State of the Art Report-Software Engineering, Maidenhead: 1977.

    Google Scholar 

  • Böhm, B: The High Cost of Software, Software World 6 (1975), S. 1–10.

    Google Scholar 

  • Booch, G.: Software Engineering with Ada, 2. Auflage. Menio Park Kalifornien: Benjamin/Cummings.

    Google Scholar 

  • Bossel, H.: Modellbildung und Simulation. Wiesbaden: Vieweg-Verlag 1992.

    Book  MATH  Google Scholar 

  • DOD-STD-2167A: Defense System Software Development, Revision February 1988.

    Google Scholar 

  • Endres, A.: Analyse und Verifikation von Programmen. München: Oldenburg Verlag 1977.

    MATH  Google Scholar 

  • Fagan, M.: Design and Code Inspections to Reduce Errors in Program Development, IBM Systems Journal, Vol. 15, No. d3, 1976.

    Google Scholar 

  • GES: Systematische Testverfahren, Gesellschaft für elektronische Systemforschung, Training Packages, 2. Auflage. Allensbach 1986.

    Google Scholar 

  • Gilb, T.: Software Metrics. Cambridge: Winthrop Publisher 1977.

    Google Scholar 

  • Hering, E., Hermann, A. und Kronmüller, E.: Unternehmenssimulation mit dem PC. Wiesbaden: Vieweg Verlag 1989.

    Book  Google Scholar 

  • Holscher H. und Rader J.: Mikrocomputer in der Sicherheitstechnik. Köln: Verlag TÜV Rheinland 1984.

    Google Scholar 

  • IEEE: Standard for Software Verification and Validation Plans, ANSI/IEEE Std 1012–1986.

    Google Scholar 

  • Infotech: State of the Art Report on Software Testing. Maidenhead: Infotech 1987.

    Google Scholar 

  • Meyers, J.: Methodisches Testen von Programmen. München: R. Oldenburg Verlag 1982.

    Google Scholar 

  • Miller, E.: Software Testing Techniques. San Fransisco: Software Research Associates 1977.

    Google Scholar 

  • Myers, J.: Reliable Software through Composite Design. New York: Petrocelli 1975.

    Google Scholar 

  • Myers, J.: Software Reliability, Principles and Practices. New York: John Wiley 1976.

    Google Scholar 

  • Myers, J.: The Art of Software Testing. New York: John Wiley 1979.

    Google Scholar 

  • Pfisterer R. und Mehl R.: Seminar Software Qualitätssicherung. Stuttgart: Alcatel SEL AG 1989.

    Google Scholar 

  • Richthammer, E.: Seminar Systematisches Testen. Stuttgart: Alcatel SEL AG 1992.

    Google Scholar 

  • RTCA (Radio Technical Commission for Aeronautics)/EUROCAE (European Organisation for Civil Aviation Equipment): Document DO-178B/ED-12B, Software Considerations in Airborne Systems and Equipment Certification.

    Google Scholar 

  • Sneed, H.: Software Entwicklungsmethodik, 3. Auflage. Köln: Rudolf Müller Verlag 1985.

    Google Scholar 

  • The Programming Language Ada Reference Manual, ANSI/MIL-STD-1815A-1983. New York: Springer-Verlag.

    Google Scholar 

  • Dembowski, K: PC-Werkstatt. München: Markt and Technik Verlag 1992.

    Google Scholar 

  • Harris Semiconductor. Data Acquisition Book 1992.

    Google Scholar 

  • Hering, E., Bressler, K. und Gutekunst, J.: Elektronik für Ingenieure, 2. Auflage. Düsseldorf: VDI-Verlag 1994.

    Google Scholar 

  • Higgins, R. J.: Digital Processing in VLSI. Prentice Hall 1989.

    Google Scholar 

  • Intel. Microprocessors and Embedded Controllers, Volume I I, 1993.

    Google Scholar 

  • Pegden, C. D., Shannon, R. E. und Sadowski, R. P.: Introduction to Simulation Using SIMAN. New York: McGraw-Hill 1990.

    Google Scholar 

  • Pritsker, A. B.: Introduction to Simulation and SLAM II. Third Edition. New York: John Wiley 1986.

    Google Scholar 

  • Richardson, G. P. und Pugh III, A.: Introduction to Systems Dynamics Modeling with DYNAMO. Fifth Press. Cambridge, Mass.: MIT Press 1988.

    Google Scholar 

  • Steinbuch, K. und Rupprecht, W.: Nachrichtentechnik Band I und II. Heidelberg: Springer-Verlag 1982.

    Book  Google Scholar 

  • Stearns, S. D.: Digitale Verarbeitung analoger Signale. München: Oldenburg-Verlag 1988.

    Google Scholar 

  • Texas Instruments. ABT BiCMOS Bus Interface Logic, Data Book 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Hering, E., Gutekunst, J., Dyllong, U. (1995). Spezielle Anwendungen. In: Informatik für Ingenieure. VDI-Buch. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-00518-7_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-00518-7_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-00519-4

  • Online ISBN: 978-3-662-00518-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics