| Zing +. Zing ist ein staatlicher Erkundungsmotor für Modelle gleichzeitiger Softwaresysteme. |
Jetzt downloaden |
Zing +. Ranking & Zusammenfassung
- Name des Herausgebers:
- By IdeaGroup
- Betriebssysteme:
- Windows 95, Windows 2000, Windows 98, Windows Me, Windows, Windows XP, Windows NT
- Zusätzliche Anforderungen:
- Windows 95/98/Me/NT/2000/XP
- Downloads insgesamt:
- 4316
Zing +. Stichworte
Zing +. Beschreibung
Zing ist ein staatlicher Explorations-Motor für Modelle von gleichzeitigen Softwaresystemen. Die ZING-Modellierungssprache unterstützt die Modellierung von Prozeduraufrufen, dynamischer Speicherzuweisung und asynchroner Task-Erstellung. ZING wird verwendet, um Protokolle in kritischen Komponenten des Windows-Betriebssystems zu modellieren und zu überprüfen, wodurch die frühzeitige Entdeckung von zeigenden Ergebnissen kritischer Parallelitätsfehler ermöglicht wird, die später extrem schwierig gewesen wären. Schreiben Sie eine Bewertung zu diesem Programm
Zing +. Zugehörige Software