Search
Search Results
-
Verifikation und Validierung
Die Entwicklung informationstechnischer Systeme ist grundsätzlich mit zwei großen Herausforderungen konfrontiert. Die erste: die Maschinen, die... -
Verifikation und Validierung
Ist das Modell mit den erzielten Simulationsergebnissen plausibel? Eignet es sich tatsächlich für den ursprünglichen Nutzungszweck? Wie sieht das... -
Verifikation und Integration von Software
Liegen Teile der Software implementiert vor, kann damit begonnen werden, die Software zu verifizieren und die Teile zu integrieren. Typischerweise... -
SysML-Modellierung mit Eclipse Papyrus
Die Sprache SysML ist eine von der Object Management Group (OMG) standardisierte Modellierungssprache für die Spezifikation, die Analyse, das Design... -
Logische und Methodische Grundlagen der Entwicklung verteilter Systeme Unter Mitarbeit von Alexander Malkis
Softwareentwicklung erfordert – ausgehend von informellen Problemstellungen – Spezifikationen unter Festlegung der Daten- und Rechenstrukturen,... -
Qualität sicherstellen
Sämtliche Lieferobjekte der Anforderungsanalyse sind in der ganzen Breite und der aktuell notwendigen Tiefe erstellt. Manfred, unser Testmanager, hat... -
Trusted Computing
Trusted Computing (TC) ist eine Cyber-Sicherheits- und Vertrauenswürdigkeitstechnologie. Mithilfe von Trusted Computing stehen moderne und... -
Verifikation einer Funktionsblockbibliothek für die Prozessautomatisierung
Um einen hohen Automatisierungsgrad erreichen zu können, wird der Einsatz von Software in der Prozessautomatisierung immer wichtiger. Allerdings hat... -
Gewichtete Graphen
Grundlegende Optimierungsprobleme, wie die Berechnung minimaler aufspannender Bäume und kürzester Wege als auch das Flussproblem in Netzwerken, sind... -
Digitale Identitäten in der physischen Welt: Eine Abwägung von Privatsphäreschutz und Praktikabilität
Requirements on data privacy and information security, as well as data quality and simplification, cause a continuous trend towards federated...
-
Die Kreativität des Menschen und der Zufall
Kreativität ist historisch eine göttliche oder halbgöttliche Tätigkeit; als psychologisches Forschungsgebiet gibt es Kreativität erst seit 1950.... -
Einleitung
Im Jahr 1965 prognostizierte G. Moore [86], dass sich die Transistordichte für integrierte Schaltungen (ICs) jedes Jahr verdoppelt. 1975 hat sich die... -
Vertrauen durch digitale Identifizierung: Über den Beitrag von SSI zur Integration von dezentralen Oracles in Informationssysteme
The networking of communicating devices is currently advancing rapidly and promises efficiency gains and new applications through an end-to-end...
-
-
Anwendung: Spezifikation und Programmverifikation
Eine der Hauptaufgaben der Informatik ist das Entwerfen von Algorithmen, also von effektiv ausführbaren Verfahren, die eine bestimmte Klasse von... -
Vom Problem über den Algorithmus zum Programm
Computer sind heute praktisch überall zu finden. Entsprechend groß ist die Vielzahl der Problemstellungen, mit denen man bei der Entwicklung von...