Abnormal
发表于 2025-3-23 10:07:15
http://reply.papertrans.cn/32/3158/315747/315747_11.png
Organonitrile
发表于 2025-3-23 17:36:01
SDL,SDL ist ebenso wie Estelle und LOTOS eine Sprache zur Spezifikation und Beschreibung von Systemen. Die Grundidee von SDL ist, ein System in Form von kommunizierenden Prozessen zu beschreiben, was auf die besondere Eignung von SDL im Bereich der parallel arbeitenden (z.B. verteilten) Systemen hindeutet.
创作
发表于 2025-3-23 21:56:06
http://reply.papertrans.cn/32/3158/315747/315747_13.png
CLAIM
发表于 2025-3-24 02:15:12
http://reply.papertrans.cn/32/3158/315747/315747_14.png
确定方向
发表于 2025-3-24 06:10:38
John Stanback Ph.D.,Reid Miller MPHKomplexität der Protokollspezifikationen, die internationale Standards werden sollen. Es wurde erkannt, daß zur Entwicklung zuverlässiger Protokolle für verteilte Systeme formale Methoden sehr hilfreich sein können.
动作谜
发表于 2025-3-24 08:38:52
The Management of Change in Prisonsdungsbereiche der Sprachen Estelle, LOTOS und SDL sind heutzutage die Dienste und Protokolle von Telekommunikationssystemen . Aber auch anderes Verhalten kann mit den Sprachen beschrieben werden, wie zum Beispiel der Dialog zwischen einem Benutzer und einer Maschine.
单调性
发表于 2025-3-24 13:05:53
Einleitung,ginnt bei sehr abstrakten, vagen Beschreibungen zur Problemdefinitioa Diese Beschreibungen werden dann detailliert und präzisiert und münden in einer Anforderungsspezifikation, auf deren Basis das System entworfen und letztlich implementiert wird.
Transfusion
发表于 2025-3-24 16:07:44
Estelle,Komplexität der Protokollspezifikationen, die internationale Standards werden sollen. Es wurde erkannt, daß zur Entwicklung zuverlässiger Protokolle für verteilte Systeme formale Methoden sehr hilfreich sein können.
charisma
发表于 2025-3-24 20:35:59
http://reply.papertrans.cn/32/3158/315747/315747_19.png
Ossification
发表于 2025-3-25 02:13:47
http://reply.papertrans.cn/32/3158/315747/315747_20.png