For the most recent entries see the Petri Nets Newsletter.

Entwicklung von Kommunikationssystemen aus formalen Spezifikationen.

De Man, J.; Loyer, B.; Nirschl, H.; San Martin, P.

In: Elektrisches Nachrichtenwesen, 64 (1990) 4,, pages 313-320. 1990. In German.

Abstract: Umfangreiche Kommunikationssysteme muessen entsprechend den ausfuehrlichen Anforderungen derKundenund Standardisierungsorganisationen in einem herstellerspezifischen Rahmen entwickelt werden. Mit herkoemmlichen Verfahren wird es zunehmend schwieriger, Anforderungen an Qualitaet und Zeit bis zur Markteinfuehrung und der Kosten waehrend der Betriebsdauer zu erfuellen. Es sind Beschreibungsverfahren erforderlich, die eine kurze und praezise Kommunikation zwischen Personen unterstuetzen und gleichzeitig eine automatische Verifizierung und Umsetzung ermoeglichen. Spezielle formale Beschreibungsverfahren koennen beide Anforderungen erfuellen


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography