Software-Entwicklung für Sichere Systeme
|
|
- Sarah Katrin Keller
- vor 8 Jahren
- Abrufe
Transkript
1 Software-Entwicklung für Sichere Systeme Sommersemester 2004 Stefan Lucks Universität Mannheim Stefan Lucks, Vorlesung Software-Entwicklung für Sichere Systeme SS 04 p.1/16
2 Organisatorisches Im WWW zugänglich: Die Folien zur Vorlesung. Weitere Informationen (Literaturhinweise,... ). Es ist ratsam, die Übungsaufgaben tatsächlich zu bearbeiten. Nur für einen Teil der Aufgaben wird es Musterlösungen geben. In der Vorlesung wird nicht jedes (benötigte) Detail der Sprache Ada95 behandelt. Zu den Übungen gehört, sich einzelne Teile des Stoffes selbstständig zu erarbeiten (meint: Vorgegebene Kapitel der online verfügbaren Literatur zu lesen). Stefan Lucks, Vorlesung Software-Entwicklung für Sichere Systeme SS 04 p.2/16
3 Themen in der Vorlesung Ada95: Programmieren im Kleinen Ada95: Programmieren im Großen Methoden des Software-Engineerings, formale Methoden Mini-Projekt (wenn die Zeit reicht) Stefan Lucks, Vorlesung Software-Entwicklung für Sichere Systeme SS 04 p.3/16
4 Themen im Detail Ada95: Programmieren im Kleinen Hello World und Bekannte Statements (if, loop,...) und einfache Typen (Integer, Boolean,...) Strenge Typisierung: Eine Firewall zwischen Typen Zusammengesetzte Typen (Arrays, Records) Ada95: Programmieren im Großen Methoden des Software-Engineerings, formale Methoden Mini-Projekt (wenn die Zeit reicht) Stefan Lucks, Vorlesung Software-Entwicklung für Sichere Systeme SS 04 p.4/16
5 Themen im Detail Ada95: Programmieren im Kleinen Ada95: Programmieren im Großen Pakete, Bibliotheken, Abstrakte Datentypen Statischer Polymorphismus: Generische Pakete Dynamischer Polymorphismus: Objektorientierte Programmierung Methoden des Software-Engineerings, formale Methoden Mini-Projekt (wenn die Zeit reicht) Stefan Lucks, Vorlesung Software-Entwicklung für Sichere Systeme SS 04 p.4/16
6 Themen im Detail Ada95: Programmieren im Kleinen Ada95: Programmieren im Großen Methoden des Software-Engineerings, formale Methoden Design By Contract Systematisches Testen von Programmen (vor allem Unit-Tests) Statische Analyse von Programmen ( Spade Ada Kernel SPARK) Mini-Projekt (wenn die Zeit reicht) Stefan Lucks, Vorlesung Software-Entwicklung für Sichere Systeme SS 04 p.4/16
7 Themen im Detail Ada95: Programmieren im Kleinen Ada95: Programmieren im Großen Methoden des Software-Engineerings, formale Methoden Mini-Projekt (noch offen für Vorschläge) Stefan Lucks, Vorlesung Software-Entwicklung für Sichere Systeme SS 04 p.4/16
8 Abgrenzung: Klein Groß Programmieren Bauen Klein Übungsaufgabe Nagel in die in PI 1 Wand schlagen Groß Millionen Wohnsiedlung mit Lines of Code 500 Wohneinheiten Programmieren im Großen kann man an der Uni kaum Lehren bzw. Lernen... Stefan Lucks, Vorlesung Software-Entwicklung für Sichere Systeme SS 04 p.5/16
9 Abgrenzung: Klein Groß Programmieren Bauen Klein Übungsaufgabe Nagel in die in PI 1 Wand schlagen Groß Millionen Wohnsiedlung mit Lines of Code 500 Wohneinheiten Programmieren im Großen kann man an der Uni kaum Lehren bzw. Lernen... aber: Kleinere Programmierprojekte (z.b. im Zusammenhang mit Studien- und Diplomarbeiten) Tapezieren, Fliesen, Einziehen einer Zwischenwand,..., Bau eines Einfamilienhauses,... Stefan Lucks, Vorlesung Software-Entwicklung für Sichere Systeme SS 04 p.5/16
10 Abgrenzung (2) In der Vorlesung geht es nicht primär um Software-Engineering. In der Vorlesung geht es nicht um Kryptographie (aber wer sichere kryptographische Anwendungen programmieren möchte, ist in dieser Vorlesung gut aufgehoben). Die Vorlesung behandelt primär Sichere Systeme, und wie man Software dafür schreibt. Stefan Lucks, Vorlesung Software-Entwicklung für Sichere Systeme SS 04 p.6/16
11 Persönliche Anmerkungen Mein (Haupt-) Steckenpferd: Kryptographie. (Schutz von (Kommunikations-) Systemen gegen vorsätzliche Angriffe und Bedrohungen.) Reale, frei verfügbare Implementationen: voller Fehler (siehe z.b. einschlägige CERT Advisories ). Garantiert immer fehlerfreie Software: geht nicht! Aber: Es gibt keinen Grund, warum kritische Softwarefehler häufiger auftreten als Flugzeuge ab- oder Brücken einstürzen! Stefan Lucks, Vorlesung Software-Entwicklung für Sichere Systeme SS 04 p.7/16
12 Beispiel Eine bösartig-gefährliche Sicherheitslücke aus der Praxis: if ((options == ( WCLONE WALL)) && (current->uid = 0)) retval = -EINVAL; Stefan Lucks, Vorlesung Software-Entwicklung für Sichere Systeme SS 04 p.8/16
13 Was sind sichere Systeme? Wenn die Software versagt, gibt es (viele!) Tote (Boing, Airbus,... ). Wenn die Software versagt, entstehen Schäden in Millionen- oder Milliardenhöhe (Mondex Elektronisches Geld, Ariane,... ). Die Software muss gezielten Manipulationen von Angreifern standhalten (kryptographische Anwendungen, Firewalls,... ) Sicherheit : Safety & Security Stefan Lucks, Vorlesung Software-Entwicklung für Sichere Systeme SS 04 p.9/16
14 Ada95 Ada Ada Software-Krise 1980 Das US-amerikanischen Verteidigungsministerium sponsort einen Auswahlprozess für eine neue Programmiersprache. Vier Vorschläge, alle auf Pascal basierend, kommen in die engere Auswahl Endgültige Verabschiedung von Ada (Ada83) als ANSI-Standard, 1987 internationaler Standard (ISO). Stefan Lucks, Vorlesung Software-Entwicklung für Sichere Systeme SS 04 p.10/16
15 Ada95 Ada Ada Software-Krise 1980 Das US-amerikanischen Verteidigungsministerium sponsort einen Auswahlprozess für eine neue Programmiersprache. Vier Vorschläge, alle auf Pascal basierend, kommen in die engere Auswahl Endgültige Verabschiedung von Ada (Ada83) als ANSI-Standard, 1987 internationaler Standard (ISO) Weiterentwicklung im Auftrag der ISO Ada95. Ada83 Ada95 = Ada Im Kontext dieser Vorlesung Stefan Lucks, Vorlesung Software-Entwicklung für Sichere Systeme SS 04 p.10/16
16 Ada95 Ada Ada Software-Krise 1980 Das US-amerikanischen Verteidigungsministerium sponsort einen Auswahlprozess für eine neue Programmiersprache. Vier Vorschläge, alle auf Pascal basierend, kommen in die engere Auswahl Endgültige Verabschiedung von Ada (Ada83) als ANSI-Standard, 1987 internationaler Standard (ISO) Weiterentwicklung im Auftrag der ISO Ada95. Ada83 Ada95 = Ada Im Kontext dieser Vorlesung Ab 2000 Weiterentwicklung im Auftrag der ISO Ada05? Stefan Lucks, Vorlesung Software-Entwicklung für Sichere Systeme SS 04 p.10/16
17 Warum eine neue Programmiersprache?? Ada ist wenig verbreitet, kaum bekannt.? Ist JAVA nicht sicher? Oder C#?? In jeder Programmiersprache kann man sichere Programme schreiben (und in jeder unsichere)! Stefan Lucks, Vorlesung Software-Entwicklung für Sichere Systeme SS 04 p.11/16
18 Warum eine neue Programmiersprache?? Ada ist wenig verbreitet, kaum bekannt.? Ist JAVA nicht sicher? Oder C#?? In jeder Programmiersprache kann man sichere Programme schreiben (und in jeder unsichere)!! Ada vermeidet einige Fussangeln der C-Sprachen.! Ada95 ist zwar eine Nischen-Sprache, aber fest etabliert in dieser Nische (Sicherheitsapplikationen, z.b. Boing 777 oder Mondex (elektronisches Geld).)! Die Ada-typische Art zu denken ist (nicht nur) bei Sicherheitsannwendungen extrem nützlich egal mit welcher Sprache man arbeitet. Stefan Lucks, Vorlesung Software-Entwicklung für Sichere Systeme SS 04 p.11/16
19 Und wenn es nicht um Sichere Systeme geht? Ada wird zwar vor allem im Sicherheits-Bereich genutzt, gilt aber general purpose Programmiersprache. Einschlägige Studien (im Vergleich zu anderen Sprachen, insbes. C++): + Kostenersparnis. + Weniger Fehler (pro implementierte Funktion). + Bessere Les- und Wartbarkeit. Stefan Lucks, Vorlesung Software-Entwicklung für Sichere Systeme SS 04 p.12/16
20 Und wenn es nicht um Sichere Systeme geht? Ada wird zwar vor allem im Sicherheits-Bereich genutzt, gilt aber general purpose Programmiersprache. Einschlägige Studien (im Vergleich zu anderen Sprachen, insbes. C++): + Kostenersparnis. + Weniger Fehler (pro implementierte Funktion). + Bessere Les- und Wartbarkeit. Warum programmiert dann nicht jeder mit Ada? Meiner Meinung nach: Nachteil von Ada: Time to Market. Stefan Lucks, Vorlesung Software-Entwicklung für Sichere Systeme SS 04 p.12/16
21 Compiler gnat 3.15p gcc 3.2 oder 3.3 (enthält gnat, aber nicht alle zu gnat gehörenden Tools) Studentenpool ObjectAda für Windows (eingeschränkte Version)... Dateinamen für Compilation Units : gnat-konventionen (schränkt die Arbeit mit ObjectAda nicht ein). Stefan Lucks, Vorlesung Software-Entwicklung für Sichere Systeme SS 04 p.13/16
22 Sonstiges Werkzeug Entwicklungsumgebungen (IDEs): ObjectAda: IDE integriert gnat: mehrere IDEs (unter anderem gps). Ich selbst benutze emacs im Ada-Modus. Weitere Tools: Test Driver Generator tg (wird noch rechtzeitig angesagt). Ein Debugger darf/kann für die Bearbeitung der Übungsaufgaben genutzt werden ist aber eigentlich unnötig. Stefan Lucks, Vorlesung Software-Entwicklung für Sichere Systeme SS 04 p.14/16
23 Noch eine Abgrenzung Ada 95 ist eine mächtige Programmiersprache. In der Vorlesung werden nur Teilbereiche von Ada95 präsentiert. Bereiche, die Ada unterstützt, die in der Vorlesung aber nicht behandelt werden, sind unter anderem: Multitasking (bzw. -threading ), Verteilte Systeme, Echtzeitsysteme,... Systemprogrammierung Verarbeitung reeller Zahlen (Fliesskomma-, Festkomma- oder Dezimalzahlen) Stefan Lucks, Vorlesung Software-Entwicklung für Sichere Systeme SS 04 p.15/16
24 Und nun... Welcome to Ada95 land! At quiet nights one can hear C programmers debug. gefunden bei Rainer Koschke, Uni Stuttgart Stefan Lucks, Vorlesung Software-Entwicklung für Sichere Systeme SS 04 p.16/16
Ein Blick voraus. des Autors von C++: Bjarne Stroustrup. 04.06.2005 Conrad Kobsch
Ein Blick voraus des Autors von C++: Bjarne Stroustrup 04.06.2005 Conrad Kobsch Inhalt Einleitung Rückblick Nur eine Übergangslösung? Was würde C++ effektiver machen? Quelle 2 Einleitung Wo steht C++,
MehrErgebnisse. Umfrage 567537. Kurz-Statistiken Umfrage 567537 'Feedback und Entertain 2.0'
Ergebnisse Umfrage 567537 Anzahl der Datensätze in dieser Abfrage: 386 Gesamtzahl der Datensätze dieser Umfrage: 386 Anteil in Prozent: 100.00% Seite 1 / 41 Feld-Zusammenfassung für Fortsetzung Ist das
MehrRobot Karol für Delphi
Robot Karol für Delphi Reinhard Nitzsche, OSZ Handel I Version 0.1 vom 24. Januar 2003 Zusammenfassung Nach der Einführung in die (variablenfreie) Programmierung mit Robot Karol von Freiberger und Krško
MehrGezielt über Folien hinweg springen
Gezielt über Folien hinweg springen Nehmen wir an, Sie haben eine relativ große Präsentation. Manchmal möchten Sie über Folien hinweg zu anderen Folien springen. Das kann vorkommen, weil Sie den gesamten
MehrAlgorithmen mit Python
Algorithmen mit Python Vorbesprechung zum Proseminar im Sommersemester 2009 http://www.python.org 1 Sie lernen in DAP Java und C/C++: 80% Syntax, 20% Algorithmen-Design Idee Schon ein einfaches Hello World
MehrSoftwaretests in Visual Studio 2010 Ultimate Vergleich mit Java-Testwerkzeugen. Alexander Schunk Marcel Teuber Henry Trobisch
Softwaretests in Visual Studio 2010 Ultimate Vergleich mit Java-Testwerkzeugen Alexander Schunk Henry Trobisch Inhalt 1. Vergleich der Unit-Tests... 2 2. Vergleich der Codeabdeckungs-Tests... 2 3. Vergleich
MehrInformatik Java-Programmierkurs im Rahmen der Berufs- u. Studienorientierung für Schüler. Joliot-Curie-Gymnasium GR 2010 Nico Steinbach
Informatik Java-Programmierkurs im Rahmen der Berufs- u. Studienorientierung für Schüler Joliot-Curie-Gymnasium GR 2010 Nico Steinbach 0. Organisatorisches Warum habt Ihr euch für den Kurs eingeschrieben?
Mehr2. ERSTELLEN VON APPS MIT DEM ADT PLUGIN VON ECLIPSE
2. ERSTELLEN VON APPS MIT DEM ADT PLUGIN VON ECLIPSE 2.1 Die Einrichtung der Benutzeroberfläche Das Einrichten einer Android-Eclipse-Entwicklungsumgebung zur Android-Entwicklung ist grundsätzlich nicht
MehrFragebogen zur Evaluation der Vorlesung und Übungen Computer Grafik, CS231, SS05
Fragebogen zur Evaluation der Vorlesung und Übungen Computer Grafik, CS231, SS05 Dozent: Thomas Vetter Bitte Name des Tutors angeben: Liebe Studierende, Ihre Angaben in diesem Fragebogen helfen uns, die
MehrC++ mit. Microsoft Visual C++ 2008. Richard Kaiser. Einführung in Standard-C++-, C++/CLI und die objektorientierte Windows.
Richard Kaiser C++ mit Microsoft Visual C++ 2008 Einführung in Standard-C++-, C++/CLI und die objektorientierte Windows.NET-Programmierung Mit CD-ROM Geleitwort Wenn man heute nach Literatur über Programmiersprachen
MehrDie richtigen Partner finden, Ressourcen finden und zusammenführen
Kongress Kinder.Stiften.Zukunft Workshop Willst Du mit mir gehen? Die richtigen Partner finden, Ressourcen finden und zusammenführen Dr. Christof Eichert Unsere Ziele: Ein gemeinsames Verständnis für die
MehrPräsentation Von Laura Baake und Janina Schwemer
Präsentation Von Laura Baake und Janina Schwemer Gliederung Einleitung Verschiedene Betriebssysteme Was ist ein Framework? App-Entwicklung App-Arten Möglichkeiten und Einschränkungen der App-Entwicklung
MehrJ.6 Programmierung eingebetteter Systeme
Vorteile von C in eingebetteten Systemen: leichter Zugriff auf die Hardware gute Kontrolle über die verwendeten Ressourcen (Speicher, CPU) Probleme mit C: stark eingeschränkte Laufzeitüberprüfungen ISO
MehrProgrammierparadigmen. Programmierparadigmen. Imperatives vs. objektorientiertes Programmieren. Programmierparadigmen. Agenda für heute, 4.
Agenda für heute, 4. Mai, 2006 Programmierparadigmen Imperative Programmiersprachen In Prozeduren zusammengefasste, sequentiell ausgeführte Anweisungen Die Prozeduren werden ausgeführt, wenn sie als Teil
MehrProfessionelle Seminare im Bereich MS-Office
Der Name BEREICH.VERSCHIEBEN() ist etwas unglücklich gewählt. Man kann mit der Funktion Bereiche zwar verschieben, man kann Bereiche aber auch verkleinern oder vergrößern. Besser wäre es, die Funktion
MehrKapitel 6,»Objektorientierte Programmierung«, widmet sich der objektorientierten Programmierung mit Python.
1.3 Aufbau des Buchs lichkeiten offen. Auf die Unterschiede der beiden Versionen gehe ich besonders ein, sodass ein späterer Umstieg von der einen zur anderen Version leichtfällt. Erste Zusammenhänge werden
MehrC++11 C++14 Kapitel Doppelseite Übungen Musterlösungen Anhang
Einleitung Dieses Buch wendet sich an jeden Leser, der die Programmiersprache C++ neu lernen oder vertiefen möchte, egal ob Anfänger oder fortgeschrittener C++-Programmierer. C++ ist eine weitgehend plattformunabhängige
MehrVersion 0.3. Installation von MinGW und Eclipse CDT
Version 0.3 Installation von MinGW und Eclipse CDT 1. Stellen Sie fest, ob Sie Windows in der 32 Bit Version oder in der 64 Bit Version installiert haben. 2. Prüfen Sie, welche Java Runtime vorhanden ist.
MehrErfahrungen mit Hartz IV- Empfängern
Erfahrungen mit Hartz IV- Empfängern Ausgewählte Ergebnisse einer Befragung von Unternehmen aus den Branchen Gastronomie, Pflege und Handwerk Pressegespräch der Bundesagentur für Arbeit am 12. November
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 15: Reguläre Ausdrücke und rechtslineare Grammatiken Thomas Worsch Universität Karlsruhe, Fakultät für Informatik Wintersemester 2008/2009 1/25 Was kann man mit endlichen
MehrAgiles Design. Dr.-Ing. Uwe Doetzkies Gesellschaft für Informatik mail: gi@uwe.doetzkies.de
Agiles Design Dr.-Ing. Uwe Doetzkies Dr.-Ing. Uwe Doetzkies Gesellschaft für Informatik mail: gi@uwe.doetzkies.de startupcamp berlin 15.3.2013 Regionalgruppe Berlin/Brandenburg Arbeitskreis Freiberufler
MehrGruppenrichtlinien und Softwareverteilung
Gruppenrichtlinien und Softwareverteilung Ergänzungen zur Musterlösung Bitte lesen Sie zuerst die gesamte Anleitung durch! Vorbemerkung: Die Begriffe OU (Organizational Unit) und Raum werden in der folgenden
MehrTesten mit JUnit. Motivation
Test First Design for Test in Eclipse (eigentlich: ) zu einer Klasse Beispiel zur Demonstration Ergänzungen Test First "Immer dann, wenn Du in Versuchung kommst, etwas wie eine print- Anweisung oder einen
MehrLehrstuhl Informatik VI Grundzüge der Informatik * WS 2008/2009 Prof. Dr. Joachim Biskup
Universität Dortmund Lehrstuhl Informatik VI Grundzüge der Informatik * WS 28/29 Prof. Dr. Joachim Biskup Leitung der Übungen: Arno Pasternak Lösungs-Ideen Übungsblatt 6 A: Grammatiken, Syntaxdiagramme
MehrEinführung in die Informatik II
Einführung in die Informatik II Vorlesung Sommersemester 2013 Prof. Dr. Nikolaus Wulff Ziele der Vorlesung Sie vertiefen die Kenntnisse aus Informatik I und runden diese in weiteren Anwendungsgebieten
MehrHautkrebsscreening. 49 Prozent meinen, Hautkrebs sei kein Thema, das sie besorgt. Thema Hautkrebs. Ist Hautkrebs für Sie ein Thema, das Sie besorgt?
Hautkrebsscreening Datenbasis: 1.004 gesetzlich Krankenversicherte ab 1 Jahren Erhebungszeitraum:. bis 4. April 01 statistische Fehlertoleranz: +/- Prozentpunkte Auftraggeber: DDG Hautkrebs ist ein Thema,
MehrVermeiden Sie es sich bei einer deutlich erfahreneren Person "dranzuhängen", Sie sind persönlich verantwortlich für Ihren Lernerfolg.
1 2 3 4 Vermeiden Sie es sich bei einer deutlich erfahreneren Person "dranzuhängen", Sie sind persönlich verantwortlich für Ihren Lernerfolg. Gerade beim Einstig in der Programmierung muss kontinuierlich
MehrWie Sie mit Mastern arbeiten
Wie Sie mit Mastern arbeiten Was ist ein Master? Einer der großen Vorteile von EDV besteht darin, dass Ihnen der Rechner Arbeit abnimmt. Diesen Vorteil sollten sie nutzen, wo immer es geht. In PowerPoint
MehrMathematik. UND/ODER Verknüpfung. Ungleichungen. Betrag. Intervall. Umgebung
Mathematik UND/ODER Verknüpfung Ungleichungen Betrag Intervall Umgebung Stefan Gärtner 004 Gr Mathematik UND/ODER Seite UND Verknüpfung Kommentar Aussage Symbolform Die Aussagen Hans kann schwimmen p und
MehrWärmebildkamera. Arbeitszeit: 15 Minuten
Wärmebildkamera Arbeitszeit: 15 Minuten Ob Menschen, Tiere oder Gegenstände: Sie alle senden unsichtbare Wärmestrahlen aus. Mit sogenannten Wärmebildkameras können diese sichtbar gemacht werden. Dadurch
MehrStellvertretenden Genehmiger verwalten. Tipps & Tricks
Tipps & Tricks INHALT SEITE 1. Grundlegende Informationen 3 2.1 Aktivieren eines Stellvertretenden Genehmigers 4 2.2 Deaktivieren eines Stellvertretenden Genehmigers 11 2 1. Grundlegende Informationen
MehrAnleitung über den Umgang mit Schildern
Anleitung über den Umgang mit Schildern -Vorwort -Wo bekommt man Schilder? -Wo und wie speichert man die Schilder? -Wie füge ich die Schilder in meinen Track ein? -Welche Bauteile kann man noch für Schilder
MehrObjektorientiertes Programmieren mit Suse Linux
Objektorientiertes Programmieren mit Suse Linux Zum Programmieren werden 2 Komponenten benötigt: 1. einen Editor zur Eingabe des Quellcodes 2. einen Compiler, der den Quellcode in die Maschinensprache
Mehrfungen Debugging Boris Tripolskij
Werkzeuggestützte tzte Softwareprüfungen fungen Debugging Boris Tripolskij Gliederung Motivation für Debugging Aufbau des Debuggers in Eclipse Arten von Debugging Tools Fehlerarten Delta Debugging Vorführung
MehrSoftware-Engineering und Optimierungsanwendungen in der Thermodynamik
Software-Engineering und Optimierungsanwendungen in der Thermodynamik Software-Engineering 5 Programmentwicklung und Debuggen mit IDE und CASE-Tools Übungen Prof. Dr. Rolf Dornberger OPTSWE_SWE: 5 Programmentwicklung
MehrProgrammierung für Mathematik (HS13)
software evolution & architecture lab Programmierung für Mathematik (HS13) Übung 5 1 Aufgabe: Eclipse IDE 1.1 Lernziele 1. Die Entwicklungsumgebung Eclipse einrichten. 2. Eclipse kennen lernen und mit
MehrSenioren ans Netz. schreiben kurze Texte. Lektion 9 in Themen aktuell 2, nach Übung 7
Senioren ans Netz Lektion 9 in Themen aktuell 2, nach Übung 7 Was lernen Sie hier? Sie üben Leseverstehen, suchen synonyme Ausdrücke, sagen Ihre Meinung. Was machen Sie? Sie erkennen und erklären Stichwörter,
MehrC++ mit Eclipse & GCC unter Windows
C++ mit Eclipse & GCC Seite 1 / 14 C++ mit Eclipse & GCC unter Windows Hinweise Stand 18. Okt. 2014 => GCC 4.9.1 Boost 1.56.0 Eclipse Luna V. 4.4.1 Java Version 8, Update 25 (entspricht 1.8.0_25) Achtung
MehrWürfelt man dabei je genau 10 - mal eine 1, 2, 3, 4, 5 und 6, so beträgt die Anzahl. der verschiedenen Reihenfolgen, in denen man dies tun kann, 60!.
040304 Übung 9a Analysis, Abschnitt 4, Folie 8 Die Wahrscheinlichkeit, dass bei n - maliger Durchführung eines Zufallexperiments ein Ereignis A ( mit Wahrscheinlichkeit p p ( A ) ) für eine beliebige Anzahl
MehrVorwort. Dieses Buch ist für alle,
1 Vorwort Die Programmiersprache C++ erfreut sich immer größerer Beliebtheit und Verbreitung. Warum ist das so? Mittlerweile hat sich die Erkenntnis durchgesetzt, dass Wartbarkeit und Wiederverwendbarkeit
MehrJava Übung. Einführung. 12. April 2006. Universität Duisburg-Essen Kommedia, Übung EinPro SS06, Einführung in Java - Übung. Vorbereitendes.
in Java Übung Universität Duisburg-Essen Kommedia, Übung EinPro SS06, 12. April 2006 (UniDUE) in 12. April 2006 1 / 14 in Übungsleiter Dienstag 12-14h: Nino Simunic (Nino.Simunic@uni-due.de) Dienstag 14-16h:
Mehrweber@cs.uni-bonn.de Dr. Günter Kniesel gk@cs.uni-bonn.de
Objektorientierte Softwareentwicklung Vorlesung im Sommersemester 2010 Prof. Dr. Andreas Weber weber@cs.uni-bonn.de Dr. Günter Kniesel gk@cs.uni-bonn.de Das Team Ihr Dozent Dr. Günter Kniesel Institut
MehrDas Pflichtenheft. Dipl.- Ing. Dipl.-Informatiker Dieter Klapproth Ains A-Systemhaus GmbH Berlin
Fragestellungen: Warum reicht das Lastenheft nicht aus? Was kann ich mit dem Lastenheft machen? Was unterscheidet das Pflichtenheft vom Lastenheft? Was gehört zum Auftragsumfang einer Individualsoftware?
MehrProduktionsplanung und steuerung (SS 2011)
Produktionsplanung und steuerung (SS 2011) Teil 1 Sie arbeiten seit 6 Monaten als Wirtschaftsingenieur in einem mittelständischen Unternehmen in Mittelhessen. Das Unternehmen Möbel-Meier liefert die Büroaustattung
MehrMastermind. Testplan. Hochschule Luzern Technik & Architektur. Programmieren 2 FS12. Gruppe 10
Testplan Programmieren 2 FS12 Gruppe 10 Redzepi Iljasa Reichmuth Marco Rey Philipp Rohrer Felix Eine interdisziplinäre Projektarbeit der Studiengänge Elektrotechnik und Informatik. Horw, 11.05.2012 Autoren
MehrAnleitung für die Teilnahme an den Platzvergaben "Studio II, Studio IV und Studio VI" im Studiengang Bachelor Architektur SS15
Anleitung für die Teilnahme an den Platzvergaben "Studio II, Studio IV und Studio VI" im Studiengang Bachelor Architektur SS15 1 Bitte melden Sie sich über das Campusmanagementportal campus.studium.kit.edu
MehrStatuten in leichter Sprache
Statuten in leichter Sprache Zweck vom Verein Artikel 1: Zivil-Gesetz-Buch Es gibt einen Verein der selbstbestimmung.ch heisst. Der Verein ist so aufgebaut, wie es im Zivil-Gesetz-Buch steht. Im Zivil-Gesetz-Buch
MehrFragebogen ISONORM 9241/110-S
Fragebogen ISONORM 9241/110-S Beurteilung von Software auf Grundlage der Internationalen Ergonomie-Norm DIN EN ISO 9241-110 von Prof. Dr. Jochen Prümper www.seikumu.de Fragebogen ISONORM 9241/110-S Seite
MehrWie ist das Wissen von Jugendlichen über Verhütungsmethoden?
Forschungsfragen zu Verhütung 1 Forschungsfragen zu Verhütung Wie ist das Wissen von Jugendlichen über Verhütungsmethoden? Wie viel Information über Verhütung ist enthalten? Wie wird das Thema erklärt?
Mehr2.1 Präsentieren wozu eigentlich?
2.1 Präsentieren wozu eigentlich? Gute Ideen verkaufen sich in den seltensten Fällen von allein. Es ist heute mehr denn je notwendig, sich und seine Leistungen, Produkte etc. gut zu präsentieren, d. h.
MehrVerteilte Paarprogrammierung mit Eclipse
Verteilte Paarprogrammierung mit Eclipse Riad Djemili (djemili@inf.fu-berlin.de) Diplomarbeitsthema Freie Universität Berlin Februar 2006 Inhalt 1. Wie ist der aktuelle Stand im Bereich des Distributed
MehrThe B Method. B ist eine Methode zur Spezifikation zum Entwurf zur Implementierung von Software Systemen. Bücher zur B-Methode
The B Method B ist eine Methode zur Spezifikation zum Entwurf zur Implementierung von Software Systemen. Bücher zur B-Methode P. Schmitt: Formal Specification and Verification of Software p.1 The B Method
MehrSoftwareentwicklung aus Sicht des Gehirns
Softwareentwicklung aus Sicht Business Unit Manager Folie 1 3. Juli 2008 Ziele Das Ziel ist die Beantwortung der folgenden Fragen: 1. Wie lösen Softwareentwickler Probleme kognitiv? 2. Welche Auswirkungen
MehrJava: Vererbung. Teil 3: super() www.informatikzentrale.de
Java: Vererbung Teil 3: super() Konstruktor und Vererbung Kindklasse ruft SELBSTSTÄNDIG und IMMER zuerst den Konstruktor der Elternklasse auf! Konstruktor und Vererbung Kindklasse ruft SELBSTSTÄNDIG und
MehrSWE12 Übungen Software-Engineering
1 Übungen Software-Engineering Software-Qualitätssicherung / Software-Qualitätsmanagement 2 Aufgabe 1 Ordnen Sie die folgenden Zitate dem entsprechenden Ansatz zum Qualitätsbegriff zu und begründen Sie
MehrTerminabgleich mit Mobiltelefonen
Terminabgleich mit Mobiltelefonen Sie können Termine- und Aufgaben aus unserem Kalender, sowie die Adressdaten aus dem Hauptprogramm mit Ihrem Mobiltelefon abgleichen. MS Outlook dient dabei als Schnittstelle
MehrInformatikgrundlagen (WS 2015/2016)
Informatikgrundlagen (WS 2015/2016) Klaus Berberich (klaus.berberich@htwsaar.de) Wolfgang Braun (wolfgang.braun@htwsaar.de) 0. Organisatorisches Dozenten Klaus Berberich (klaus.berberich@htwsaar.de) Sprechstunde
MehrWas ist PDF? Portable Document Format, von Adobe Systems entwickelt Multiplattformfähigkeit,
Was ist PDF? Portable Document Format, von Adobe Systems entwickelt Multiplattformfähigkeit, Wie kann ein PDF File angezeigt werden? kann mit Acrobat-Viewern angezeigt werden auf jeder Plattform!! (Unix,
Mehr1 Informationelle Systeme begriffliche Abgrenzung
1 Informationelle Systeme begriffliche Abgrenzung Im Titel dieses Buches wurde das Wort Softwaresystem an den Anfang gestellt. Dies ist kein Zufall, denn es soll einen Hinweis darauf geben, dass dieser
MehrKonventionen. Danksagung
Einleitung Konventionen Im Folgenden möchte ich Sie mit ein paar Konventionen vertraut machen, die Ihnen bei der Lektüre des Buches helfen sollen. Namen von neu im Text eingeführten Programmen, Produkten
MehrFAQ 04/2015. Auswirkung der ISO 14119 auf 3SE53/3SF13 Positionsschalter. https://support.industry.siemens.com/cs/ww/de/view/109475921
FAQ 04/2015 Auswirkung der ISO 14119 auf 3SE53/3SF13 Positionsschalter mit https://support.industry.siemens.com/cs/ww/de/view/109475921 Dieser Beitrag stammt aus dem Siemens Industry Online Support. Es
MehrInternet Explorer Version 6
Internet Explorer Version 6 Java Runtime Ist Java Runtime nicht installiert, öffnet sich ein PopUp-Fenster, welches auf das benötigte Plugin aufmerksam macht. Nach Klicken auf die OK-Taste im PopUp-Fenster
MehrDiese Ansicht erhalten Sie nach der erfolgreichen Anmeldung bei Wordpress.
Anmeldung http://www.ihredomain.de/wp-admin Dashboard Diese Ansicht erhalten Sie nach der erfolgreichen Anmeldung bei Wordpress. Das Dashboard gibt Ihnen eine kurze Übersicht, z.b. Anzahl der Beiträge,
MehrEinführung und Motivation
Einführung und Motivation Programmiermethodik Eva Zangerle Universität Innsbruck Ziele der Vorlesung Grundlagen der Programmierung vertiefen Anknüpfen an Wissen aus Einführung in die Programmierung Grundkonzepte
MehrInfo-Veranstaltung zur Erstellung von Zertifikaten
Info-Veranstaltung zur Erstellung von Zertifikaten Prof. Dr. Till Tantau Studiengangsleiter MINT Universität zu Lübeck 29. Juni 2011 Gliederung Zertifikate Wer, Wann, Was Ablauf der Zertifikaterstellung
MehrWeb-basierte Benutzerschnittstellen für Embedded Systeme: Eine Benutzerschnittstelle drei Sichtweisen
Web-basierte Benutzerschnittstellen für Embedded Systeme: Eine Benutzerschnittstelle drei Sichtweisen Klaus-Dieter Walter SSV Software Systems GmbH Dünenweg 5 D-30419 Hannover www.ssv-embedded.de kdw@ssv-embedded.de
MehrErster Bug: eine Motte
SOFTWAREFEHLER Der erste Bug Erster Bug: eine Motte Der Begriff Bug (deutsch: Motte) stammt aus dem Jahre 1945, als Ingenieure in einem Schaltrelais eines Computers (Harvard Mark II-System) eine Motte
MehrTastatur auf Hebräisch umstellen
Tastatur auf Hebräisch umstellen Stand: 25.07.05 Inhaltsverzeichnis 1. Hebräische Tastatur anlegen... 1 1.1 Windows ME... 1 1.2 Windows XP... 1 1.3 Windows Vista... 3 2. Hebräische Tastatur aktivieren....
MehrSHAREPOINT Unterschiede zwischen SharePoint 2010 & 2013
SHAREPOINT Unterschiede zwischen SharePoint 200 & 203 Inhalt. Einleitung... 2 2. Websiteaktion... 3 3. Dateivorschau... 4 4. Dateibearbeitung... 4 5. Datei hochladen... 5 6. Synchronisierung... 6 von 6
MehrInverted Classroom für anspruchsvolle Themen
Inverted Classroom für anspruchsvolle Themen M. Pieper Smart Teaching Better Learning! Digitales Lehren und Lernen an Hochschulen Berlin, 29.10.2015 Grundsätzliche Anwendung von Vorlesungs-Podcasts Vorlesungs-Podcast,
MehrSchüler-E-Tutorial für mobile Endgeräte. Ein Folgeprojekt des Netzwerks Informationskompetenz Berlin/Brandenburg mit der HdM
Schüler-E-Tutorial für mobile Endgeräte Ein Folgeprojekt des Netzwerks Informationskompetenz Berlin/Brandenburg mit der HdM Von der Themenwahl bis zur Hausarbeit Studierende der HdM Stuttgart Studiengang
MehrObjektorientierter Software-Entwurf Grundlagen 1 1. Analyse Design Implementierung. Frühe Phasen durch Informationssystemanalyse abgedeckt
Objektorientierter Software-Entwurf Grundlagen 1 1 Einordnung der Veranstaltung Analyse Design Implementierung Slide 1 Informationssystemanalyse Objektorientierter Software-Entwurf Frühe Phasen durch Informationssystemanalyse
MehrD a s P r i n z i p V o r s p r u n g. Anleitung. E-Mail- & SMS-Versand mit SSL (ab CHARLY 8.11 Windows)
D a s P r i n z i p V o r s p r u n g Anleitung E-Mail- & SMS-Versand mit SSL (ab CHARLY 8.11 Windows) 2 Inhalt Inhalt 1. E-Mail-Einrichtung 3 1.1 E-Mail-Einrichtung in Windows 3 2. SMS-Einrichtung 5 2.1
MehrUniversität Stuttgart Institut für Automatisierungstechnik und Softwaresysteme Prof. Dr.-Ing. M. Weyrich. Softwaretechnik I
Universität Stuttgart Institut für Automatisierungstechnik und Softwaresysteme Prof. Dr.-Ing. M. Weyrich Softwaretechnik I Wintersemester 2015 / 2016 www.ias.uni-stuttgart.de/st1 st1@ias.uni-stuttgart.de
MehrPages, Keynote. und Numbers
Pages, Keynote und Numbers Pages, Keynote und Numbers Die iwork-apps im Büro und unterwegs nutzen Mac und mehr. Numbers Tipps und Tricks zur Arbeit mit Tabellen Kapitel 18 Kapitel 18 Tabellen als Ganzes
MehrErstellen einer Collage. Zuerst ein leeres Dokument erzeugen, auf dem alle anderen Bilder zusammengefügt werden sollen (über [Datei] > [Neu])
3.7 Erstellen einer Collage Zuerst ein leeres Dokument erzeugen, auf dem alle anderen Bilder zusammengefügt werden sollen (über [Datei] > [Neu]) Dann Größe des Dokuments festlegen beispielsweise A4 (weitere
MehrEs gibt nur eine Bilanz die zählt: Ihre Zufriedenheit.
Es gibt nur eine Bilanz die zählt: Inhalt Im August 2013 führte die Packenius, Mademann & Partner GmbH eine Online-Kurzbefragung zum Thema Pflege durch. Die Ergebnisse sind auf ganze Zahlen gerundet. Untersuchungsdesign
MehrÜbung 6: Feinentwurf. Prof. Dr. Dr. h.c. Manfred Broy Dr. Herbert Ehler, Martin Feilkas 6. Juli 2006 Bernd Spanfelner, Sebastian Winter
Prof. Dr. Dr. h.c. Manfred Broy Sommersemester Dr. Herbert Ehler, Martin Feilkas 6. Juli 2006 Bernd Spanfelner, Sebastian Winter Einführung in die Softwaretechnik Übung 6: Feinentwurf Aufgabe 17: Entwurfsmuster
MehrUnterrichtsmaterialien in digitaler und in gedruckter Form. Auszug aus:
Unterrichtsmaterialien in digitaler und in gedruckter Form Auszug aus: If-clauses - conditional sentences - Nie mehr Probleme mit Satzbau im Englischen! Das komplette Material finden Sie hier: School-Scout.de
MehrWebalizer HOWTO. Stand: 18.06.2012
Webalizer HOWTO Stand: 18.06.2012 Copyright 2003 by manitu. Alle Rechte vorbehalten. Alle verwendeten Bezeichnungen dienen lediglich der Kennzeichnung und können z.t. eingetragene Warenzeichen sein, ohne
MehrKlassenentwurf. Wie schreiben wir Klassen, die leicht zu verstehen, wartbar und wiederverwendbar sind? Objektorientierte Programmierung mit Java
Objektorientierte Programmierung mit Java Eine praxisnahe Einführung mit BlueJ Klassenentwurf Wie schreiben wir Klassen, die leicht zu verstehen, wartbar und wiederverwendbar sind? 1.0 Zentrale Konzepte
MehrXcode/Cocoa/Objective-C Crashkurs Programmieren unter Mac OS X
Xcode/Cocoa/Objective-C Crashkurs Programmieren unter Mac OS X SwissMacMeeting #1 26. Juni 2004 Messeturm Basel http://mac.naepflin.com Was ist das Ziel dieses Kurses? Starthilfe Einblick in die Möglichkeiten,
Mehr1 Vom Problem zum Programm
Hintergrundinformationen zur Vorlesung GRUNDLAGEN DER INFORMATIK I Studiengang Elektrotechnik WS 02/03 AG Betriebssysteme FB3 Kirsten Berkenkötter 1 Vom Problem zum Programm Aufgabenstellung analysieren
MehrObjektorientierte Programmierung
Objektorientierte Programmierung 1 Geschichte Dahl, Nygaard: Simula 67 (Algol 60 + Objektorientierung) Kay et al.: Smalltalk (erste rein-objektorientierte Sprache) Object Pascal, Objective C, C++ (wiederum
MehrDriveLock 6. DriveLock und das Windows Sicherheitsproblem mit LNK Dateien. CenterTools Software GmbH
6 DriveLock und das Windows Sicherheitsproblem mit LNK Dateien CenterTools Software GmbH 2010 Copyright Die in diesen Unterlagen enthaltenen Angaben und Daten, einschließlich URLs und anderen Verweisen
MehrDazu stellen Sie den Cursor in die Zeile, aus der eine Überschrift werden soll, und klicken auf die gewünschte Überschrift.
Überschriften mit Zahlen Wenn Sie ein Stück Text als Überschrift formatieren möchten, weisen Sie diesem Text einfach das Format Überschrift 1 oder Überschrift 2 usw. zu. Dazu klicken Sie auf das Symbol
MehrDer Schutz von Patientendaten
Der Schutz von Patientendaten bei (vernetzten) Software-Medizinprodukten aus Herstellersicht 18.09.2014 Gerald Spyra, LL.M. Kanzlei Spyra Vorstellung meiner Person Gerald Spyra, LL.M. Rechtsanwalt Spezialisiert
Mehr10. Public-Key Kryptographie
Stefan Lucks 10. PK-Krypto 274 orlesung Kryptographie (SS06) 10. Public-Key Kryptographie Analyse der Sicherheit von PK Kryptosystemen: Angreifer kennt öffentlichen Schlüssel Chosen Plaintext Angriffe
MehrAktualisierung des Internet-Browsers
Marketingtipp Aktualisierung des Internet-Browsers Landesverband Bauernhof- und Landurlaub Bayern e.v. Was ist ein Internet-Browser? Der Internet-Browser ist das Programm, das Sie benutzen um im Internet
MehrSichere E-Mail Anleitung Zertifikate / Schlüssel für Kunden der Sparkasse Germersheim-Kandel. Sichere E-Mail. der
Sichere E-Mail der Nutzung von Zertifikaten / Schlüsseln zur sicheren Kommunikation per E-Mail mit der Sparkasse Germersheim-Kandel Inhalt: 1. Voraussetzungen... 2 2. Registrierungsprozess... 2 3. Empfang
MehrFachdidaktik der Informatik 18.12.08 Jörg Depner, Kathrin Gaißer
Fachdidaktik der Informatik 18.12.08 Jörg Depner, Kathrin Gaißer Klassendiagramme Ein Klassendiagramm dient in der objektorientierten Softwareentwicklung zur Darstellung von Klassen und den Beziehungen,
MehrM@school Software- und Druckerzuweisung Selbstlernmaterialien
Bildung und Sport M@school Software- und Druckerzuweisung Selbstlernmaterialien Hinweise zum Skript: LMK = Linker Mausklick RMK = Rechter Mausklick LMT = Linke Maustaste RMT = Rechte Maustaste Um die Lesbarkeit
Mehr12. Dokumente Speichern und Drucken
12. Dokumente Speichern und Drucken 12.1 Überblick Wie oft sollte man sein Dokument speichern? Nachdem Sie ein Word Dokument erstellt oder bearbeitet haben, sollten Sie es immer speichern. Sie sollten
MehrGründe für fehlende Vorsorgemaßnahmen gegen Krankheit
Gründe für fehlende Vorsorgemaßnahmen gegen Krankheit politische Lage verlassen sich auf Familie persönliche, finanzielle Lage meinen, sich Vorsorge leisten zu können meinen, sie seien zu alt nicht mit
MehrProgrammieren I. Überblick. www.kit.edu. Institut für Angewandte Informatik
Programmieren I Überblick KIT Universität des Landes Baden-Württemberg und nationales Großforschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu Übersicht Programmieren Programmieren I (1. Semester)
MehrSoftware Engineering. Bibliographisches Institut & F. A. Brockhaus AG, Mannheim; Spektrum Akademischer Verlag GmbH, Heidelberg, 2003
Software Engineering Softwaretechnik Softwaretechnologie, Software Engineering (engl.) das, -, Teilgebiet der Informatik, das sich mit Methoden und Werkzeugen für das ingenieurmäßige Entwerfen, Herstellen
MehrAGROPLUS Buchhaltung. Daten-Server und Sicherheitskopie. Version vom 21.10.2013b
AGROPLUS Buchhaltung Daten-Server und Sicherheitskopie Version vom 21.10.2013b 3a) Der Daten-Server Modus und der Tresor Der Daten-Server ist eine Betriebsart welche dem Nutzer eine grosse Flexibilität
MehrDr. Guido Schwarz Forschung, Schulung, Beratung; A - 1180 Wien, Edelhofgasse 31/8; Tel: +43-1-478 34 44 Mobil: +43-676 431 91 12 E-mail:
1 PROTOKOLL 2 Der Startschuss verlief erfolgreich, wenn auch mit Geburtswehen. Bei herrlichem Wetter gab es einen diskussionsreichen Nachmittag mit dem Fazit: Lauter nette Menschen und interessant genug,
MehrVorlesung Objektorientierte Softwareentwicklung. Kapitel 0. Java-Überblick
Vorlesung Objektorientierte Softwareentwicklung Sommersemester este 2008 Kapitel 0. Java-Überblick Was sind die Ziele? Warum Java? Komplexe Anwendungen e-business verteilt zuverlässig sicher mobil persistent
MehrIch finde immer wieder kryptische Abkürzungen. Was bedeuten sie? VO Vorlesung. UE Übung. LV Lehrveranstaltung
Ich finde immer wieder kryptische Abkürzungen. Was bedeuten sie? VO Vorlesung UE Übung LV Lehrveranstaltung SPL Studienprogrammleiter STV Studentenvertretung STRV Studienrichtungsvertretung; synonym zu
Mehr