Diese sind über einen Schalter für den Anwender aktivierbar und können anschließend durch die Anwendung formaler Testmethoden gesucht und gefunden werden.
Die folgende funktionale Spezifikation dient als Grundlage für die Fehlersuche :
Mit dem CarConfigurator kann ein Kaufinteressent bzw. ein Autohändler Fahrzeuge mit einer individuellen Zusatzausstattung konfigurieren.
www.imbus.deThese can be activated by the end user via switch and searched and found afterwards by applying formal test design techniques.
The following functional specification serves as a basis for the bug hunting:
Using the CarConfigurator, an interested person or a car vendor can configure cars with individual equipment.
www.imbus.deEs handelt sich also um eine Sprache, die auch für realistische Anwendungen genutzt werden kann ( und wird ).
Der funktionale Aufbau von Haskell macht die Spezifikation wesentlich einfacher als bei herkömmlichen Sprachen .
www.informatik.uni-bremen.deSo it is a language which can be ( and is being ) used also for realistic applications.
The functional nature of Haskell makes the specification of programs considerably simpler than for conventional languages.
www.informatik.uni-bremen.de-Ansatz für zukünftige Internettechnologien sind ebenfalls von diesen Bedrohungen betroffen.
Der Entwurf rollenbasierter Sicherheitsrichtlinien ist in diesem Zusammenhang unabdingbar , wenn Netzelemente geschützt werden sollen , welche unter Berücksichtigung ihrer funktionalen Spezifikation mehrere hochspezialisierte Rollen übernehmen .
Die Vision des Competence Center Security ist es, dass zukünftig alle Geräte mit inhärenten Sicherheitslösungen ausgestattet sind, die es ihnen ermöglichen, ihre Umgebung zu überwachen, gesammelte Informationen zu verarbeiten und auszuwerten und in Kollaboration mit anderen Knoten autonom Sicherheitsentscheidungen zu treffen.
www.dai-labor.deSimilar concerns arise for cloud computing, virtualization and the “ living lab ” vision of Future Internet technology.
Role-specific security policy design becomes indispensable for network elements, which fulfill multiple roles according to their functional specialization.
Competence Center Security envisions that in the future, every device with computation and communication capabilities will exhibit inherent security intelligence such as monitoring its environment, processing the information, collaborating with others and autonomously making security decisions.
www.dai-labor.de您想添加一个词、一个短语或一段译文吗？
请发送新条目。