Terms for subject Information technology containing System Specification

English	German
Debugging and specification of Ada real time embedded systems	Fehlerbeseitigung und Spezifikation von in ADA-Echtzeit eingebetteten Systemen
Personal Workstation for Incremental Graphical Specification and Formal Implementation of Non-Sequential Systems	GRASPIN
Personal Workstation for Incremental Graphical Specification and Formal Implementation of Non-Sequential Systems	personenbezogene Arbeitsstation für die schrittweise grafische graphische Spezifikation und formale Implementierung nicht seqüntieller Systeme