ISILEIT steht für 'Integrative Spezifikation von verteilten Leitsystemen der flexibel automatisierten Fertigung'. Dieses Projekt, welches im Rahmen des DFG Schwerpunktprogramms Software-Spezifikation - Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen(SPP 1064) durchgeführt wird, hat zum Ziel, eine durchgängige Methodik für den integrierten Entwurf, die Analyse und die Validierung verteilter Fertigungsleitsysteme zu erarbeiten.
Index A – Z | Impressum | Webmaster | Geändert am: 21.10.2011