Ein anderer Aspekt ist die Typsicherheit.
Die Habilitation enthält verschiedene Resultate, die die Typsysteme, für die Typsicherheit garantiert werden kann, erweitern.
Im zweiten Hauptthema sind die Transitionssysteme Realzeitsysteme und hybride Systeme.
www.informatik.uni-freiburg.deOne aspect is termination ; several contributions concerning methods for proving termination are contained in this habilitation.
Another aspect is type safety, where this habilitation contains results extending the type systems for which type safety can be guaranteed.
For the second theme, the transition systems in question are timed and hybrid systems.
www.informatik.uni-freiburg.dePeverify.exe ( PEVerify-Tool )
Hilft Ihnen, zu überprüfen, ob der MSIL-Code ( Microsoft Intermediate Language ) und zugeordnete Metadaten die Anforderungen an die Typsicherheit erfüllen.
SecAnnotate.exe (. NET Security Annotator-Tool )
msdn.microsoft.comPeverify.exe ( PEVerify Tool )
Helps you verify whether your Microsoft intermediate language ( MSIL ) code and associated metadata meet type safety requirements.
SecAnnotate.exe (. NET Security Annotator Tool )
msdn.microsoft.comDeltaSpike enthält viele Funktionalitäten, die bei der täglichen Arbeit mit CDI helfen.
Es ist ein modulares und erweiterbares Framework und genau wie bei CDI selbst wird stark auf Typsicherheit Wert gelegt.
Durch eine umfangreiche Testsuite wird eine möglichst hohe Kompatibilität mit verschiedenen Java EE Servern überprüft.
www.irian.atDeltaSpike is your best friend for CDI based projects.
It is a modularized and extensible framework.Like CDI itself DeltaSpike is focused on type-safety.
A comprehensive testsuite allows to ensure a high compatibility with different Java EE servers.
www.irian.atVuoi aggiungere una parola, una frase o una traduzione?
Inserisci una nuova voce.