Was machen wir heute? Methodische- und Praktische Grundlagen der Informatik 3 Softwaretechnik WS Formale Spezifikation(ssprachen)
|
|
- Carin Schubert
- vor 8 Jahren
- Abrufe
Transkript
1 Methodische- und Praktische Grundlagen der Informatik 3 Softwaretechnik WS 0809 Steffen Helke Andreas Mertgen, Georgy Dobrev (Leitung Übungsbetrieb) Rojahn Ahmadi, Daniel Gómez Esperón, Simon Rauterberg, Jennifer Ulrich Formale Spezifikation Grundsätzliches zu Object-Z Bank-Beispiel-Spezifikation Typen in Z / Object-Z Einordnung Was machen wir heute? Fachgebiet Softwaretechnik Technische Universität Berlin Einige Vorteile... Formale Spezifikation(ssprachen) erlauben abstrakte mathematische Beschreibung von Modellen Ungenauigkeiten und Mehrdeutigkeiten informeller Anforderungen können präzisiert werden haben i.d.r. selbst eine formale Semantik Werkzeugunterstützung (Typchecks, Beweise) Einige Vorteile... Formale Spezifikation(ssprachen) erlauben abstrakte mathematische Beschreibung von Modellen Ungenauigkeiten und Mehrdeutigkeiten informeller Anforderungen können präzisiert werden haben i.d.r. selbst eine formale Semantik Werkzeugunterstützung (Typchecks, Beweise)...und Nachteile gewöhnungsbedürftige Notationen,,völlig klare Sachverhalte müssen explizit eingeführt werden MPGI 3 Softwaretechnik 3 MPGI 3 Softwaretechnik 3
2 Formale Spezifikation(ssprachen) Object-Z Einige Vorteile... erlauben abstrakte mathematische Beschreibung von Modellen Ungenauigkeiten und Mehrdeutigkeiten informeller Anforderungen können präzisiert werden haben i.d.r. selbst eine formale Semantik Werkzeugunterstützung (Typchecks, Beweise)...und Nachteile gewöhnungsbedürftige Notationen,,völlig klare Sachverhalte müssen explizit eingeführt werden Wichtige Eigenschaften: zustandsorientierter Modellformalismus mengen- und prädikatenbasierte Beschreibung Kapselung, Modularisierung Strenge Typisierung Referenzsemantik Formale Spezifikationen werden für bestimmte Klassen von Systemen gefordert (Zertifizierung) MPGI 3 Softwaretechnik 3 Werkzeuge für Z und Object-Z MPGI 3 Softwaretechnik 4 Werkzeuge für Z und Object-Z... basieren meistens auf L A TEX-Syntax... Für Z: Spezifikationssatz: L A TEX-Stile (oz.sty, esz.sty), Word-Stile Typcheck: fuzz (Oxford), esz (TU Berlin) Beweiser: Z/EVES, HOL-Z (TU Berlin, TU Bremen, Uni Freiburg) Simulatoren: ZETA (TU Berlin)... basieren meistens auf L A TEX-Syntax... Für Z: Spezifikationssatz: L A TEX-Stile (oz.sty, esz.sty), Word-Stile Typcheck: fuzz (Oxford), esz (TU Berlin) Beweiser: Z/EVES, HOL-Z (TU Berlin, TU Bremen, Uni Freiburg) Simulatoren: ZETA (TU Berlin) Für Object-Z: Typcheck: wizard (SVRC Australien) Beweiser: OZ in Isabelle/HOL (SVRC TUB) MPGI 3 Softwaretechnik 5 MPGI 3 Softwaretechnik 5
3 UML/RUP vs. Object-Z UML/RUP vs. Object-Z Object-Z Spezifikation kann als Fortsetzung von RUP aufgefasst werden: Präzisierung von Eigenschaften (von Klassen), die in UML-Modellen nicht erfasst wurden Object-Z Spezifikation kann als Fortsetzung von RUP aufgefasst werden: Präzisierung von Eigenschaften (von Klassen), die in UML-Modellen nicht erfasst wurden Alternative: z.b. Object Constraint Language (OCL) OMG Syntax näher an Programmiersprache Mögliche Analysen noch Gegenstand der Forschung MPGI 3 Softwaretechnik 6 Beispiel - Kreditkarten-Konten MPGI 3 Softwaretechnik 6 Beispiel - Kreditkarten-Konten Es soll ein System für die Verwaltung von Kreditkarten-Konten spezifiziert werden. Es soll ein System für die Verwaltung von Kreditkarten-Konten spezifiziert werden. Ein Konto hat einen ganzzahligen Kontostand. Jedem Konto ist ein Überziehungskredit zugeordnet. Es gibt nur drei mögliche Werte: 1000, 2000 oder 5000 Euro. Das Konto kann nicht darüber hinaus überzogen werden. Der Stand des Kontos kann durch Einzahlungen oder Abhebungen positiver Beträge geändert werden. Weiterhin soll es möglich sein, das gesamte Konto inkl. Überziehungsrahmen durch Aufruf einer entsprechenden Operation zu leeren. MPGI 3 Softwaretechnik 7 MPGI 3 Softwaretechnik 7
4 CreditCard (limit, balance, INIT, withdraw, deposit, withdrawavail) limit : N limit {1000, 2000, 5000} Beispiel2 - System mit zwei Kreditkarten-Konten balance : Z balance + limit 0 INIT balance = 0 withdraw (balance) amount? : N amount? balance + limit balance = balance amount? deposit (balance) amount? : N balance = balance + amount? [Vorbedingung] withdrawavail (balance) amount! : N amount! = balance + limit balance = limit Das System soll eine Operation anbieten, um einen Betrag von einer Karte abzubuchen. Es soll möglich sein, einen (positiven) Betrag von der einen Karte auf die andere zu übertragen. Weiterhin soll eine Karte durch eine neue austauschbar sein, wobei der Stand und der Überziehungsrahmen erhalten bleibt. Der maximal abbuchbare Betrag einer Karte soll auf die andere Karte übertragen werden können. MPGI 3 Softwaretechnik 8 TwoCards (totalbal, INIT, withdraw 1, transfer, withdraweither, replacecard 1, transferavail) c 1, c 2 : CreditCard totalbal : Z c 1 c 2 [abgeleitet] totalbal = c 1.balance + c 2.balance withdraw 1 b= c 1.withdraw transfer b= c 1.withdraw c 2.deposit withdraweither b= c 1.withdraw [] c 2.withdraw replacecard 1 (c 1 ) card? : CreditCards card? / {c 1, c 2 } card?.limit = c 1.limit card?.balance = c 1.balance c 1 = card? transferavail b= c 1.withdrawAvail c 2.deposit INIT c 1.INIT c 2.INIT MPGI 3 Softwaretechnik 9 Bestandteile einer Klasse Schnittstelle (visibility list) Object-Z Überblick Konstanten (axiomatic definition) Zustandsschema (unbenannt) Attribut-Deklarationen und Invarianten Initialbedingung (INIT ) Prädikat über Attribute Operationen (benannte Schemata) Delta-Liste Eingaben/Ausgaben Prädikate: Verknüpfung von Operationen (Operationskalkül) MPGI 3 Softwaretechnik 10 MPGI 3 Softwaretechnik 11
5 Typsystem Einfache Typen Object-Z ist streng typisiert, d.h. Alle Ausdrücke haben einen definierten Typ. Alle Bezeichner müssen deklariert werden. Ausdrücke/Bezeichner können nur miteinander identifiziert werden, wenn ihre Typen,,passen. 1. Basistypen: [PERSON] definiert einen neuen Typ. Die Menge PERSON enthält alle Elemente dieses Typs (sog.,,maximale Menge ). Ein vorgegebener Basistyp ist Z, d.h. die (maximale) Menge des Typs der ganzen Zahlen. In Z sind Typen durch Mengen definiert. MPGI 3 Softwaretechnik 12 Einfache Typen MPGI 3 Softwaretechnik 13 Mathematische Typkonstruktoren 1. Basistypen: [PERSON] definiert einen neuen Typ. Die Menge PERSON enthält alle Elemente dieses Typs (sog.,,maximale Menge ). Ein vorgegebener Basistyp ist Z, d.h. die (maximale) Menge des Typs der ganzen Zahlen. 3. Kartesische Produkte: Sind M und N Mengen, so ist auch M N eine Menge: Die Menge aller Paare (m, n) mit m M und n N. Frage: Was ist der Typ dieser Menge von Paaren? 2. Datentypen: NACHRICHT ::= Ok Fehler definiert einen Typ durch Aufzählung aller möglichen Werte (garantiert unterschiedlich!). MPGI 3 Softwaretechnik 13 MPGI 3 Softwaretechnik 14
6 Mathematische Typkonstruktoren Mathematische Typkonstruktoren 3. Kartesische Produkte: Sind M und N Mengen, so ist auch M N eine Menge: Die Menge aller Paare (m, n) mit m M und n N. Frage: Was ist der Typ dieser Menge von Paaren? 3. Kartesische Produkte: Sind M und N Mengen, so ist auch M N eine Menge: Die Menge aller Paare (m, n) mit m M und n N. Frage: Was ist der Typ dieser Menge von Paaren? 4. Potenzmengen: Ist M eine Menge, so ist auch P M eine Menge: Die Menge aller Teilmengen von M. Wenn typ(m) = t mit m M, dann ist P t der Typ von M. Frage: Welchen Typ hat Z? MPGI 3 Softwaretechnik 14 Z-Typkonstruktor 5. Schematypen:... sind durch Mengen von sog. Bindings beschrieben. S x 1 : X 1. x n : X n P(x 1,..., x n ) MPGI 3 Softwaretechnik Klassendeklaration: C... Object-Z Typkonstruktor... induziert einen neuen Typ. Die Menge C enthält alle möglichen Instanzen von C. (Genauer: Identitäten, nicht Zustände!) Hier ist die Reihenfolge der Elemente egal, Namen sind relevant. MPGI 3 Softwaretechnik 15 MPGI 3 Softwaretechnik 16
7 6. Klassendeklaration: C Object-Z Typkonstruktor induziert einen neuen Typ. Die Menge C enthält alle möglichen Instanzen von C. (Genauer: Identitäten, nicht Zustände!) Dies sind alle Möglichkeiten in Object-Z Typen zu formen. Konsequenz: Die meisten Namen, die in Deklarationen hinter : stehen, bezeichnen keine Typen (maximale Mengen!), sondern nur Teilmengen solcher Typen. Beispiel: N == {x : Z x 0}, die Menge der natürlichen Zahlen Frage: Wenn y N, welchen Typ hat dann y? MPGI 3 Softwaretechnik 16
Was machen wir heute? Methodische- und Praktische Grundlagen der Informatik 3 Softwaretechnik WS Object-Z Überblick
Methodische- und Praktische Grundlagen der Informatik 3 Softwaretechnik WS 0809 Steffen Helke Andreas Mertgen, Georgy Dobrev (Leitung Übungsbetrieb) Rojahn Ahmadi, Daniel Gómez Esperón, Simon Rauterberg,
MehrGliederung. Programmierparadigmen. Sprachmittel in SCHEME. Objekte: Motivation. Objekte in Scheme
Gliederung Programmierparadigmen D. Rösner Institut für Wissens- und Sprachverarbeitung Fakultät für Informatik Otto-von-Guericke Universität Magdeburg 1 Einführung Sprachmittel Sommer 2011, 20. Juni 2011,
MehrProgrammierparadigmen
Programmierparadigmen D. Rösner Institut für Wissens- und Sprachverarbeitung Fakultät für Informatik Otto-von-Guericke Universität Magdeburg Sommer 2011, 20. Juni 2011, c 2011 D.Rösner D. Rösner PGP 2011...
MehrInformatik 2 Labor 2 Programmieren in MATLAB Georg Richter
Informatik 2 Labor 2 Programmieren in MATLAB Georg Richter Aufgabe 3: Konto Um Geldbeträge korrekt zu verwalten, sind zwecks Vermeidung von Rundungsfehlern entweder alle Beträge in Cents umzuwandeln und
Mehr1 Mathematische Grundlagen
Mathematische Grundlagen - 1-1 Mathematische Grundlagen Der Begriff der Menge ist einer der grundlegenden Begriffe in der Mathematik. Mengen dienen dazu, Dinge oder Objekte zu einer Einheit zusammenzufassen.
Mehr1. Man schreibe die folgenden Aussagen jeweils in einen normalen Satz um. Zum Beispiel kann man die Aussage:
Zählen und Zahlbereiche Übungsblatt 1 1. Man schreibe die folgenden Aussagen jeweils in einen normalen Satz um. Zum Beispiel kann man die Aussage: Für alle m, n N gilt m + n = n + m. in den Satz umschreiben:
MehrDer Zwei-Quadrate-Satz von Fermat
Der Zwei-Quadrate-Satz von Fermat Proseminar: Das BUCH der Beweise Fridtjof Schulte Steinberg Institut für Informatik Humboldt-Universität zu Berlin 29.November 2012 1 / 20 Allgemeines Pierre de Fermat
MehrDer Kontowecker: Einrichtung
1. Für die Einrichtung eines Kontoweckers melden Sie sich mit Ihrem Anmeldenamen und Ihrer PIN im Online-Banking an. 2. Klicken Sie in der linken Navigation auf Service und dann auf Kontowecker 3. Anschließend
MehrSEP 114. Design by Contract
Design by Contract SEP 114 Design by Contract Teile das zu entwickelnde Programm in kleine Einheiten (Klassen, Methoden), die unabhängig voneinander entwickelt und überprüft werden können. Einheiten mit
MehrObjektorientierte Programmierung OOP
Objektorientierte Programmierung OOP Objektorientierte Programmierung OOP Ronja Düffel WS2012/13 08. Oktober 2013 Objektorientierte Programmierung OOP Objektorientierte Programmierung Objektorientierte
MehrMethodische- und Praktische Grundlagen der Informatik 3 Softwaretechnik WS 0809
Methodische- und Praktische Grundlagen der Informatik 3 Softwaretechnik WS 0809 Steffen Helke Andreas Mertgen, Georgy Dobrev (Leitung Übungsbetrieb) Rojahn Ahmadi, Daniel Gómez Esperón, Simon Rauterberg,
MehrSoftware Engineering Klassendiagramme Assoziationen
Software Engineering Klassendiagramme Assoziationen Prof. Adrian A. Müller, PMP, PSM 1, CSM Fachbereich Informatik und Mikrosystemtechnik 1 Lesen von Multiplizitäten (1) Multiplizitäten werden folgendermaßen
MehrAbamsoft Finos im Zusammenspiel mit shop to date von DATA BECKER
Abamsoft Finos im Zusammenspiel mit shop to date von DATA BECKER Abamsoft Finos in Verbindung mit der Webshopanbindung wurde speziell auf die Shop-Software shop to date von DATA BECKER abgestimmt. Mit
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
MehrJava Kurs für Anfänger Einheit 4 Klassen und Objekte
Java Kurs für Anfänger Einheit 4 Klassen und Ludwig-Maximilians-Universität München (Institut für Informatik: Programmierung und Softwaretechnik von Prof.Wirsing) 13. Juni 2009 Inhaltsverzeichnis klasse
MehrRente = laufende Zahlungen, die in regelmäßigen Zeitabschnitten (periodisch) wiederkehren Rentenperiode = Zeitabstand zwischen zwei Rentenzahlungen
1 3.2. entenrechnung Definition: ente = laufende Zahlungen, die in regelmäßigen Zeitabschnitten (periodisch) wiederkehren entenperiode = Zeitabstand zwischen zwei entenzahlungen Finanzmathematisch sind
MehrTheorie der Informatik
Theorie der Informatik 6. Formale Sprachen und Grammatiken Malte Helmert Gabriele Röger Universität Basel 17. März 2014 Einführung Beispiel: Aussagenlogische Formeln Aus dem Logikteil: Definition (Syntax
MehrWas meinen die Leute eigentlich mit: Grexit?
Was meinen die Leute eigentlich mit: Grexit? Grexit sind eigentlich 2 Wörter. 1. Griechenland 2. Exit Exit ist ein englisches Wort. Es bedeutet: Ausgang. Aber was haben diese 2 Sachen mit-einander zu tun?
MehrVgl. Kapitel 4 aus Systematisches Requirements Engineering, Christoph Ebert https://www.sws.bfh.ch/studium/cas/swe-fs13/protected/re/re_buch.
Vgl. Kapitel 4 aus Systematisches Requirements Engineering, Christoph Ebert https://www.sws.bfh.ch/studium/cas/swe-fs13/protected/re/re_buch.pdf Nachdem die Projekt-Vision und die Stakeholder bekannt sind,
MehrDie Industrie- und Handelskammer arbeitet dafür, dass Menschen überall mit machen können
Die Industrie- und Handelskammer arbeitet dafür, dass Menschen überall mit machen können In Europa gibt es einen Vertrag. In dem Vertrag steht: Alle Menschen sollen die gleichen Rechte haben. Alle Menschen
MehrKurzanweisung für Google Analytics
Kurzanweisung für Google Analytics 1. Neues Profil für eine zu trackende Webseite erstellen Nach dem Anmelden klicken Sie rechts oben auf den Button Verwaltung : Daraufhin erscheint die Kontoliste. Klicken
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,
MehrDas Typsystem von Scala. L. Piepmeyer: Funktionale Programmierung - Das Typsystem von Scala
Das Typsystem von Scala 1 Eigenschaften Das Typsystem von Scala ist statisch, implizit und sicher 2 Nichts Primitives Alles ist ein Objekt, es gibt keine primitiven Datentypen scala> 42.hashCode() res0:
MehrHow to do? Projekte - Zeiterfassung
How to do? Projekte - Zeiterfassung Stand: Version 4.0.1, 18.03.2009 1. EINLEITUNG...3 2. PROJEKTE UND STAMMDATEN...4 2.1 Projekte... 4 2.2 Projektmitarbeiter... 5 2.3 Tätigkeiten... 6 2.4 Unterprojekte...
MehrSemantik von Formeln und Sequenzen
Semantik von Formeln und Sequenzen 33 Grundidee der Verwendung von Logik im Software Entwurf Syntax: Menge von Formeln = Axiome Ax K ist beweisbar Formel ϕ beschreiben Korrektkeit Vollständigkeit beschreibt
MehrBEISPIELKLAUSUR Softwareentwicklung:
Prof. Dr. Andreas Fink Institut für Informatik Fakultät für Wirtschafts- und Sozialwissenschaften Helmut-Schmidt-Universität / Universität der Bundeswehr Hamburg BEISPIELKLAUSUR Softwareentwicklung: Objektorientierte
MehrErstellen einer digitalen Signatur für Adobe-Formulare
Erstellen einer digitalen Signatur für Adobe-Formulare (Hubert Straub 24.07.13) Die beiden Probleme beim Versenden digitaler Dokumente sind einmal die Prüfung der Authentizität des Absenders (was meist
Mehrwww.internet-einrichten.de
E-Mail-Programme E-Mail Adresse einrichten Bei t-online, AOL, Compuserve, und anderen können Sie sich E-Mail-Adressen einrichten. Dies hat aber den Nachteil, dass Sie diese nur mit der entsprechenden Zugangssoftware
MehrKurzanleitung OOVS. Reseller Interface. Allgemein
Kurzanleitung OOVS Reseller Interface Allgemein Durch die Einführung des neuen Interfaces hat sich für Reseller von Syswebcom etwas geändert. Die Struktur der Kundenverwaltung ist einprägsamer, wenn man
MehrTerme stehen für Namen von Objekten des Diskursbereichs (Subjekte, Objekte des natürlichsprachlichen Satzes)
Prädikatenlogik Man kann den natürlichsprachlichen Satz Die Sonne scheint. in der Prädikatenlogik beispielsweise als logisches Atom scheint(sonne) darstellen. In der Sprache der Prädikatenlogik werden
MehrDie Spezifikationssprachen Z und VDM. Michael Hildebrandt
Die Spezifikationssprachen Z und VDM Michael Hildebrandt 1. Formale Spezifikationen Was sind formale Spezifikationen? abstrakte Beschreibungen bzgl. des Verhaltens eines (zu entwickelnden) Systems geben
MehrDie Post hat eine Umfrage gemacht
Die Post hat eine Umfrage gemacht Bei der Umfrage ging es um das Thema: Inklusion Die Post hat Menschen mit Behinderung und Menschen ohne Behinderung gefragt: Wie zufrieden sie in dieser Gesellschaft sind.
MehrÜbung 4. Musterlösungen
Informatik für Ökonomen II HS 2010 Übung 4 Ausgabe: 18.11.2010 Abgabe: 25.11.2010 Musterlösungen Schreiben Sie Ihre Namen und Ihre Matrikelnummern in die vorgesehenen Felder auf dem Deckblatt. Formen Sie
MehrArtikel Schnittstelle über CSV
Artikel Schnittstelle über CSV Sie können Artikeldaten aus Ihrem EDV System in das NCFOX importieren, dies geschieht durch eine CSV Schnittstelle. Dies hat mehrere Vorteile: Zeitersparnis, die Karteikarte
MehrDie Eintragungen Format und Startwert werden einmal nach der Programminstallation festgelegt und dürfen danach nicht mehr verändert werden!
WaVe Frage & Antwort Nr. 3 Elternbeiträge buchen (ohne Verwendung der Buchhaltung) Extras Zusatzeinstellungen... Auswahl Zahlungen über die Buchhaltung verbuchen Hinweise: Achtung! Wenn diese Auswahl (über
MehrFIS: Projektdaten auf den Internetseiten ausgeben
Rechenzentrum FIS: Projektdaten auf den Internetseiten ausgeben Ist ein Forschungsprojekt im Forschungsinformationssystem (FIS) erfasst und für die Veröffentlichung freigegeben, können Sie einige Daten
MehrVerhindert, dass eine Methode überschrieben wird. public final int holekontostand() {...} public final class Girokonto extends Konto {...
PIWIN I Kap. 8 Objektorientierte Programmierung - Vererbung 31 Schlüsselwort: final Verhindert, dass eine Methode überschrieben wird public final int holekontostand() {... Erben von einer Klasse verbieten:
MehrLandes-Arbeits-Gemeinschaft Gemeinsam Leben Gemeinsam Lernen Rheinland-Pfalz e.v.
Landes-Arbeits-Gemeinschaft Gemeinsam Leben Gemeinsam Lernen Rheinland-Pfalz e.v. Wer sind wir? Wir sind ein Verein. Wir setzen uns für Menschen mit Behinderung ein. Menschen mit Behinderung sollen überall
MehrInformatik IC2. Balazs Simon 2005.03.26.
Informatik IC2 Balazs Simon 2005.03.26. Inhaltsverzeichnis 1 Reguläre Sprachen 3 1.1 Reguläre Sprachen und endliche Automaten...................... 3 1.2 Determinisieren.....................................
MehrDer Aufruf von DM_in_Euro 1.40 sollte die Ausgabe 1.40 DM = 0.51129 Euro ergeben.
Aufgabe 1.30 : Schreibe ein Programm DM_in_Euro.java zur Umrechnung eines DM-Betrags in Euro unter Verwendung einer Konstanten für den Umrechnungsfaktor. Das Programm soll den DM-Betrag als Parameter verarbeiten.
MehrAnlage Kontowecker: Internet Filiale
Anlage Kontowecker: Internet Filiale 1. Für die Einrichtung eines Kontoweckers melden Sie sich mit Ihrem Anmeldenamen und Ihrer PIN im Online-Banking an. 2. Klicken Sie in der linken Navigation auf Service
MehrWintersemester Maschinenbau und Kunststofftechnik. Informatik. Tobias Wolf http://informatik.swoke.de. Seite 1 von 22
Kapitel 19 Vererbung, UML Seite 1 von 22 Vererbung - Neben der Datenabstraktion und der Datenkapselung ist die Vererbung ein weiteres Merkmal der OOP. - Durch Vererbung werden die Methoden und die Eigenschaften
MehrDas Leitbild vom Verein WIR
Das Leitbild vom Verein WIR Dieses Zeichen ist ein Gütesiegel. Texte mit diesem Gütesiegel sind leicht verständlich. Leicht Lesen gibt es in drei Stufen. B1: leicht verständlich A2: noch leichter verständlich
MehrErste Schritte ANLEITUNG Deutsche Sportausweis Vereinsverwaltung Schnittstelle zum Portal des Deutschen Sportausweises unter www.sportausweis.
Erste Schritte ANLEITUNG Deutsche Sportausweis Vereinsverwaltung Schnittstelle zum Portal des Deutschen Sportausweises unter www.sportausweis.de Inhaltsverzeichnis 1. Einleitung... 3 2. Einrichtung der
MehrArbeitsschritte EAÜ Leistungserbringer Einnahmen erfassen
Arbeitsschritte EAÜ Leistungserbringer Einnahmen erfassen 1. Das Projekt auswählen Nach dem Anmelden in der Datenbank im Menü [Vorhaben] den Untermenüpunkt [Vorhabenübersicht] wählen. Dort bitte das entsprechende
MehrDie neue Aufgabe von der Monitoring-Stelle. Das ist die Monitoring-Stelle:
Die neue Aufgabe von der Monitoring-Stelle Das ist die Monitoring-Stelle: Am Deutschen Institut für Menschen-Rechte in Berlin gibt es ein besonderes Büro. Dieses Büro heißt Monitoring-Stelle. Mo-ni-to-ring
MehrInformationsblatt Induktionsbeweis
Sommer 015 Informationsblatt Induktionsbeweis 31. März 015 Motivation Die vollständige Induktion ist ein wichtiges Beweisverfahren in der Informatik. Sie wird häufig dazu gebraucht, um mathematische Formeln
MehrVorlesung Dokumentation und Datenbanken Klausur
Dr. Stefan Brass 5. Februar 2002 Institut für Informatik Universität Giessen Vorlesung Dokumentation und Datenbanken Klausur Name: Geburtsdatum: Geburtsort: (Diese Daten werden zur Ausstellung des Leistungsnachweises
MehrUmgekehrte Kurvendiskussion
Umgekehrte Kurvendiskussion Bei einer Kurvendiskussion haben wir eine Funktionsgleichung vorgegeben und versuchen ihre 'Besonderheiten' herauszufinden: Nullstellen, Extremwerte, Wendepunkte, Polstellen
MehrWurzeln als Potenzen mit gebrochenen Exponenten. Vorkurs, Mathematik
Wurzeln als Potenzen mit gebrochenen Exponenten Zur Einstimmung Wir haben die Formel benutzt x m n = x m n nach der eine Exponentialzahl potenziert wird, indem man die Exponenten multipliziert. Dann sollte
MehrAlle gehören dazu. Vorwort
Alle gehören dazu Alle sollen zusammen Sport machen können. In diesem Text steht: Wie wir dafür sorgen wollen. Wir sind: Der Deutsche Olympische Sport-Bund und die Deutsche Sport-Jugend. Zu uns gehören
Mehr3. Das Relationale Datenmodell
3. Das Relationale Datenmodell Das Relationale Datenmodell geht zurück auf Codd (1970): E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Comm. of the ACM 13(6): 377-387(1970) DBMS wie
MehrEinrichtung eines Zugangs mit einer HBCI-Chipkarte bei der Commerzbank
Einrichtung eines Zugangs mit einer HBCI-Chipkarte bei der Commerzbank Schritt 1: Rufen Sie in Bank X den Menüpunkt Ablage/Neue Kontenmappe auf. Es erscheint dieser Dialog: Es erscheint folgender Dialog,
MehrGrundlagen der höheren Mathematik Einige Hinweise zum Lösen von Gleichungen
Grundlagen der höheren Mathematik Einige Hinweise zum Lösen von Gleichungen 1. Quadratische Gleichungen Quadratische Gleichungen lassen sich immer auf die sog. normierte Form x 2 + px + = 0 bringen, in
MehrSollsaldo und Habensaldo
ollsaldo und abensaldo Man hört oft die Aussage "Ein ollsaldo steht im aben, und ein abensaldo steht im oll". Da fragt man sich aber, warum der ollsaldo dann ollsaldo heißt und nicht abensaldo, und warum
MehrPrimzahlen und RSA-Verschlüsselung
Primzahlen und RSA-Verschlüsselung Michael Fütterer und Jonathan Zachhuber 1 Einiges zu Primzahlen Ein paar Definitionen: Wir bezeichnen mit Z die Menge der positiven und negativen ganzen Zahlen, also
Mehr9 Auto. Rund um das Auto. Welche Wörter zum Thema Auto kennst du? Welches Wort passt? Lies die Definitionen und ordne zu.
1 Rund um das Auto Welche Wörter zum Thema Auto kennst du? Welches Wort passt? Lies die Definitionen und ordne zu. 1. Zu diesem Fahrzeug sagt man auch Pkw oder Wagen. 2. kein neues Auto, aber viel billiger
Mehrder Eingabe! Haben Sie das Ergebnis? Auf diesen schwarzen Punkt kommen wir noch zu sprechen.
Medizintechnik MATHCAD Kapitel. Einfache Rechnungen mit MATHCAD ohne Variablendefinition In diesem kleinen Kapitel wollen wir die ersten Schritte mit MATHCAD tun und folgende Aufgaben lösen: 8 a: 5 =?
MehrP&P Software - Adressexport an Outlook 05/29/16 14:44:26
Adressexport an Outlook Wozu? Aus EASY können viele Daten im Excelformat ausgegeben werden. Diese Funktion kann zum Beispiel zum Export von Lieferantenadressen an Outlook genutzt werden. Hinweis Wir können
MehrSchritte 4. Lesetexte 13. Kosten für ein Girokonto vergleichen. 1. Was passt? Ordnen Sie zu.
Kosten für ein Girokonto vergleichen 1. Was passt? Ordnen Sie zu. a. die Buchung, -en b. die Auszahlung, -en c. der Dauerauftrag, - e d. die Überweisung, -en e. die Filiale, -n f. der Kontoauszug, - e
MehrAnleitung Kontoeinrichtung mit apokennung in StarMoney
1. Änderung der Erstzugangs-PIN Bevor Sie mit der Neu-Einrichtung Ihres Kontos in StarMoney beginnen, empfehlen wir Ihnen, die Erstzugangs-PIN (Start-PIN) auf unserer Homepage www.apobank.de (KontoLogin,
MehrIndividuelle Formulare
Individuelle Formulare Die Vorlagen ermöglichen die Definition von Schnellerfassungen für die Kontenanlage sowie für den Im- und Export von Stammdaten. Dabei kann frei entschieden werden, welche Felder
MehrKlausur WS 2006/07 Programmiersprache Java Objektorientierte Programmierung II 15. März 2007
Fachhochschule Bonn-Rhein-Sieg University of Applied Sciences Fachbereich Informatik Prof. Dr. Peter Becker Klausur WS 2006/07 Programmiersprache Java Objektorientierte Programmierung II 15. März 2007
MehrLösungsmethoden gewöhnlicher Differentialgleichungen (Dgl.)
Lösungsmethoden gewöhnlicher Dierentialgleichungen Dgl) Allgemeine und partikuläre Lösung einer gewöhnlichen Dierentialgleichung Eine Dierentialgleichung ist eine Gleichung! Zum Unterschied von den gewöhnlichen
Mehra n + 2 1 auf Konvergenz. Berechnen der ersten paar Folgenglieder liefert:
Beispiel: Wir untersuchen die rekursiv definierte Folge a 0 + auf Konvergenz. Berechnen der ersten paar Folgenglieder liefert: ( ) (,, 7, 5,...) Wir können also vermuten, dass die Folge monoton fallend
MehrDie Beschreibung bezieht sich auf die Version Dreamweaver 4.0. In der Version MX ist die Sitedefinition leicht geändert worden.
In einer Website haben Seiten oft das gleiche Layout. Speziell beim Einsatz von Tabellen, in denen die Navigation auf der linken oder rechten Seite, oben oder unten eingesetzt wird. Diese Anteile der Website
MehrWas ist Leichte Sprache?
Was ist Leichte Sprache? Eine Presse-Information vom Verein Netzwerk Leichte Sprache in Leichter Sprache Leichte Sprache heißt: So schreiben oder sprechen, dass es alle gut verstehen. Leichte Sprache ist
MehrKommunikations-Management
Tutorial: Wie kann ich E-Mails schreiben? Im vorliegenden Tutorial lernen Sie, wie Sie in myfactory E-Mails schreiben können. In myfactory können Sie jederzeit schnell und einfach E-Mails verfassen egal
MehrProgrammiersprachen und Übersetzer
Programmiersprachen und Übersetzer Sommersemester 2010 19. April 2010 Theoretische Grundlagen Problem Wie kann man eine unendliche Menge von (syntaktisch) korrekten Programmen definieren? Lösung Wie auch
MehrFormaler Entwurf mit Event-B Die Eventbank
Institut für Theoretische Informatik Anwendungsorientierte Formale Verifikation Vorlesung Anwendung Formaler Verifikation SS 2015, 9.6.15 Dr. V. Klebanov, Dr. M. Ulbrich Formaler Entwurf mit Event-B Die
MehrEinrichtung HBCI-Chipkarte in VR-NetWorld-Software
Nach der Installation der VR-NetWorld- Software führt Sie ein Assistent durch die einzelnen Schritte. Sie können mit der Einrichtung einer Bankverbindung auch manuell starten. 1. Klicken Sie im linken
MehrAbituraufgabe zur Stochastik, Hessen 2009, Grundkurs (TR)
Abituraufgabe zur Stochastik, Hessen 2009, Grundkurs (TR) Eine Firma stellt USB-Sticks her. Sie werden in der Fabrik ungeprüft in Packungen zu je 20 Stück verpackt und an Händler ausgeliefert. 1 Ein Händler
Mehr7 Rechnen mit Polynomen
7 Rechnen mit Polynomen Zu Polynomfunktionen Satz. Zwei Polynomfunktionen und f : R R, x a n x n + a n 1 x n 1 + a 1 x + a 0 g : R R, x b n x n + b n 1 x n 1 + b 1 x + b 0 sind genau dann gleich, wenn
MehrAnmeldeverfahren. Inhalt. 1. Einleitung und Hinweise
Anmeldeverfahren Inhalt In dieser Anleitung finden Sie eine detaillierte Beschreibung der verschiedenen Anmeldeverfahren bzw. Zugangsberechtigungen anhand der verschiedenen Szenarien, die für Sie in der
Mehr1 topologisches Sortieren
Wolfgang Hönig / Andreas Ecke WS 09/0 topologisches Sortieren. Überblick. Solange noch Knoten vorhanden: a) Suche Knoten v, zu dem keine Kante führt (Falls nicht vorhanden keine topologische Sortierung
MehrBenutzeranleitung Superadmin Tool
Benutzeranleitung Inhalt 1 Einleitung & Voraussetzungen... 2 2 Aufruf des... 3 3 Konto für neuen Benutzer erstellen... 3 4 Services einem Konto hinzufügen... 5 5 Benutzer über neues Konto informieren...
MehrAnleitung: Sammel-Rechnungen für Lizenzen bei Swiss Basketball
Anleitung: Sammel-Rechnungen für Lizenzen bei Swiss Basketball Inhalt 1. Login: Wo und Wie kann ich mich einloggen?... 2 Die Webseite: www.basketplan.ch... 2 Mein Klub-Login?... 2 2. Orientierung: Was
MehrBauteilattribute als Sachdaten anzeigen
Mit den speedikon Attributfiltern können Sie die speedikon Attribute eines Bauteils als MicroStation Sachdaten an die Elemente anhängen Inhalte Was ist ein speedikon Attribut?... 3 Eigene Attribute vergeben...
MehrErste Einstellungen im Alumni System
Alumni Client Anmelden Seite 1 von 8 Erste Einstellungen im Alumni System Nachdem Sie das CAS Alumni-System installiert haben, sollten Sie einige grundsätzliche Einstellungen vornehmen. 1. Starten von
MehrDER SELBST-CHECK FÜR IHR PROJEKT
DER SELBST-CHECK FÜR IHR PROJEKT In 30 Fragen und 5 Tipps zum erfolgreichen Projekt! Beantworten Sie die wichtigsten Fragen rund um Ihr Projekt für Ihren Erfolg und für Ihre Unterstützer. IHR LEITFADEN
MehrMicroblogging im TCC mit dem TCC Twitter
Dr. Lutz Gerlach, Stefan Hauptmann Tel. (0371) 53 47 267 Fax (0371) 53 47 269 stefan.hauptmann@cm development.de Microblogging im TCC mit dem TCC Twitter Anwendungsszenarien Bedienungsanleitung Sehr geehrte
MehrNur für Partner die bereits einen Backoffice Zugang haben. Aber KEINEN Portal Zugang
Die Anmeldung Schritt für Schritt im PORTAL inkl. Verbindung bestehender Backoffice Zugänge Nur für Partner die bereits einen Backoffice Zugang haben. Aber KEINEN Portal Zugang 1) Organisiere dir den Anmeldelink
MehrLeichte-Sprache-Bilder
Leichte-Sprache-Bilder Reinhild Kassing Information - So geht es 1. Bilder gucken 2. anmelden für Probe-Bilder 3. Bilder bestellen 4. Rechnung bezahlen 5. Bilder runterladen 6. neue Bilder vorschlagen
MehrINDEX. Öffentliche Ordner erstellen Seite 2. Offline verfügbar einrichten Seite 3. Berechtigungen setzen Seite 7. Öffentliche Ordner Offline
Öffentliche Ordner Offline INDEX Öffentliche Ordner erstellen Seite 2 Offline verfügbar einrichten Seite 3 Berechtigungen setzen Seite 7 Erstelldatum 12.08.05 Version 1.1 Öffentliche Ordner Im Microsoft
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
MehrKlausurteilnehmer. Wichtige Hinweise. Note: Klausur Informatik Programmierung, 17.09.2012 Seite 1 von 8 HS OWL, FB 7, Malte Wattenberg.
Klausur Informatik Programmierung, 17.09.2012 Seite 1 von 8 Klausurteilnehmer Name: Matrikelnummer: Wichtige Hinweise Es sind keinerlei Hilfsmittel zugelassen auch keine Taschenrechner! Die Klausur dauert
MehrProfessionelle Seminare im Bereich MS-Office
Gegenüber PowerPoint 2003 hat sich in PowerPoint 2007 gerade im Bereich der Master einiges geändert. Auf Handzettelmaster und Notizenmaster gehe ich in diesen Ausführungen nicht ein, die sind recht einfach
MehrAnleitung zur Benutzung des jobup.ch Stellensuchendekontos
des jobup.ch Stellensuchendekontos Willkommen auf jobup.ch! Erstellen Sie ein Konto, stellen Sie Ihren Lebenslauf online, bewerben Sie sich und verwalten Sie Ihre Bewerbungen mit unseren Lösungen, die
Mehrgeben. Die Wahrscheinlichkeit von 100% ist hier demnach nur der Gehen wir einmal davon aus, dass die von uns angenommenen
geben. Die Wahrscheinlichkeit von 100% ist hier demnach nur der Vollständigkeit halber aufgeführt. Gehen wir einmal davon aus, dass die von uns angenommenen 70% im Beispiel exakt berechnet sind. Was würde
MehrGrammatiken. Einführung
Einführung Beispiel: Die arithmetischen Ausdrücke über der Variablen a und den Operationen + und können wie folgt definiert werden: a, a + a und a a sind arithmetische Ausdrücke Wenn A und B arithmetische
MehrAnwendungsbeispiele Buchhaltung
Kostenstellen in Webling Webling ist ein Produkt der Firma: Inhaltsverzeichnis 1 Kostenstellen 1.1 Was sind Kostenstellen? 1.2 Kostenstellen in der 2 Kostenstellen in Webling 2.1 Kostenstellen erstellen
MehrRecherche nach Stellenanzeigen in Zeitungen
Leitfaden Berufswahlorientierung für die Sek. I 1 Jahrgangsstufe: 8. Klasse, 1. Halbjahr Themengebiete: Modul 7: 4 Infos, Unterstützung und Hilfe Wer hilft mir? Wen kann ich fragen? Wo bekomme ich Informationen?
Mehrteischl.com Software Design & Services e.u. office@teischl.com www.teischl.com/booknkeep www.facebook.com/booknkeep
teischl.com Software Design & Services e.u. office@teischl.com www.teischl.com/booknkeep www.facebook.com/booknkeep 1. Erstellen Sie ein neues Rechnungsformular Mit book n keep können Sie nun Ihre eigenen
MehrEinstellungen für SEPA-Lastschriften in der VR-NetWorld-Software
Einstellungen für SEPA-Lastschriften in der VR-NetWorld-Software Um in der VR-NetWorld-Software SEPA-Lastschriften einziehen zu können, müssen Sie folgende Einstellungen treffen: 1. SEPA-Lastschriften
MehrBevor Sie Ihre Immobilie (Wohnung, Haus, Grundstück oder Stellfläche) inserieren können, sollten Sie sich zuerst registrieren.
Bevor Sie Ihre Immobilie (Wohnung, Haus, Grundstück oder Stellfläche) inserieren können, sollten Sie sich zuerst registrieren. Nach erfolgreicher Registrierung erhalten Sie vom System eine Bestätigungsmail.
MehrSWE5 Übungen zu Software-Engineering
1 Übungen zu Software-Engineering 1) Klassen und Objekte 2) Telefonanlage 3) Objekt- und Klassendiagramme 4) Assoziationen 5) Telefonanlage (Erweiterung) 6) Fahrzeuge 7) Familien 2 Aufgabe 1: Klassen und
MehrOrdner Berechtigung vergeben Zugriffsrechte unter Windows einrichten
Ordner Berechtigung vergeben Zugriffsrechte unter Windows einrichten Was sind Berechtigungen? Unter Berechtigungen werden ganz allgemein die Zugriffsrechte auf Dateien und Verzeichnisse (Ordner) verstanden.
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
MehrMotivation. Formale Grundlagen der Informatik 1 Kapitel 5 Kontextfreie Sprachen. Informales Beispiel. Informales Beispiel.
Kontextfreie Kontextfreie Motivation Formale rundlagen der Informatik 1 Kapitel 5 Kontextfreie Sprachen Bisher hatten wir Automaten, die Wörter akzeptieren Frank Heitmann heitmann@informatik.uni-hamburg.de
Mehr