Advertisement

Ausblick

Chapter
  • 36 Downloads
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 197)

Zusammenfassung

Die in diesem Bericht dargestellte Petri-Netz-basierte Spezifikations- und Validations- Methodik kann an mehreren Ansatzpunkten weiterentwickelt werden, um die Einsatzmöglichkeiten zum Entwurf komplexer Rechensysteme noch zu verbessern. Nachfolgend werden notwendige Weiterentwicklungen diskutiert, insbesondere im Hinblick auf Spezifikationssprachen (Kap. 7.1), Analysemethoden (Kap. 7.2) und integrierte Software-Werkzeuge (Kap. 7.3).

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  1. 1.Philips Kommunikations Industrie AGNürnberg 10Germany
  2. 2.Institut für Datenverarbeitung in der Technick (IDT)Kernforschungszentrum Karlsruhe GmbHKarlsruhe 1Germany

Personalised recommendations