zum Inhalt springen
SE 1 - WS 2017/18
Benutzer-Werkzeuge
Anmelden
Webseiten-Werkzeuge
Suche
Werkzeuge
Seite anzeigen
Links hierher
Medien-Manager
Übersicht
Anmelden
>
Medien-Manager
Übersicht
Zuletzt angesehen:
offiziell:zulassung
Übersicht
Dies ist eine Übersicht über alle vorhandenen Seiten und
Namensräume
.
glossar
english
2-Tupel
Ablauf (Algorithmus)
Ablauf (prozedural)
ableitbar
Ableitbarkeit
Ableitung
Ableitungsbaum
abrupte Terminierung
abstrakt (Java)
abstrakte Datenstruktur
abstrakte Klasse
abstrakte Methode
Abstraktion (abstrakt)
Aktion
aktueller Parameter
Algorithmus
Allokation
Alphabet
Annotationsbeweis
anonyme Klasse
antisymmetrisch
Anweisung
Anwendungsfall
Anwendungsschnittstelle
Attribut
Aufenthaltsort (Objekt)
aufsteigende Kette
Aufwandsfunktion
Aufzählungstyp
Ausdruck
Ausführung
Ausführungszustand
auslösen (Ausnahme)
Ausnahmebehandlung
Auswertung
Auswertungssemantik
Autoboxing
AVL-Baum
Axiom (Sprachen)
Balancierter Suchbaum
Baum
Baustein
bedingter Ausdruck
Berechnungsablauf
Bezeichnerumgebung
Binärbaum
binärer Suchbaum
Bindung
Blatt
Boxing
call-by-name
call-by-need
call-by-value
Datenstruktur
Deallokation
default Konstruktor
defensive Programmierung
Deklaration
Deklarationsbereich
denotationale Semantik
Deserialisierung
determiniert
deterministisch
Dienst (Objekte)
direkt ableitbar
direkt erreichbar
direkt rekursiv
direkter Subtyp
Diskriminator
dynamisch
dynamische Methodenauswahl
dynamisches Binden
echter Subtyp
Effizienz
eigenständig (Baustein)
eindeutig
Einfache Anweisung
Entwicklungsmethode
Entwicklungsprozess
erreichbar
Erreichbarkeit
erweitert (Klasse)
fangen (Ausnahme)
fast vollständig (Binärbaum)
Feld
Feldtyp
formale Sprache
formaler Parameter
Funktion höherer Ordnung
Funktional
Funktionsabstraktion
Funktionsanwendung
Geflecht
Geflechte
Geheimnisprinzip
gerichteter Graph
geschachtelt (Deklarationsbereich)
geschachtelt (Klasse)
geschachtelt rekursiv
geschützt (Vererbung)
global (Klasse)
Graph
Größe (Baum)
größtes Element
Gültigkeitsbereich
Hashfunktion
Hashkollision
Hashtabelle
Heap Eigenschaft
Hoare-Logik
Hoare-Regel
Hoare-Triple
Höhe (Baum)
höhenbalanciert (Suchbaum)
homogen (Relation)
Identität (Objekt)
implementiert (Klasse)
impliziter Parameter
indirekt rekursiv
indiziert (Binärbaum)
Infix
Informatik
injektiv
Inkarnation
innere Klasse
innerer Knoten
Instanz
Instanzvariable
Invariante (Objekt)
Kante
Kapselung
kaskadenartig rekursiv
Kinder
Klasse
Klasse (abstrakt)
Klassenattribut
Klassendeklaration
Klassenkonzept
Klassenmethode
Klassenname
Klassifikation
kleinstes Element
Knoten (Baum)
Knoten (Graph)
Kollisionsklasse
Komponenten (Verbund)
Konstante
Konstruktor (funktional)
Konstruktor (Objekte)
kontextfreie Grammatik
kooperierend (Baustein)
Korrektheit
Lambda-Abstraktion
Lebensdauer (Inkarnation)
Lebensdauer (Objekt)
Lebensdauer (Speichervariable)
leerer Baum
linear rekursiv
Linksableitung
lokale Klasse
Markierung
maximales Element
mehrdeutig
Mehrfachvererbung
Methode
Methode (Objekte)
Methodenauswahl
minimales Element
Muster
Musteranwendung
n-Tupel
Nachfolgezustand
Nachricht (Objekte)
Namensumgebung
nicht-determiniert
nicht-deterministisch
Nicht-Terminierung
Nichtterminalknoten
Nichtterminalsymbol
Niveau
noethersche Ordnung
normale Terminierung
obere Schranke (Aufwandsfunktion)
Objekt (abstrakt)
objektbasiert
Objektgeflecht
objektlokale Variable
Objektmodell
objektorientiert
Objektreferenz
operationale Semantik
Operatorsymbole
Ordnung
Ordnungsrelation
Paar
Paket (Java)
Paradigma
Parameterinduktion
Parameterübergabe
parametrische Polymorphie
partiell
partielle Korrektheit
partielle Ordnung
Persistenz
Plattform
polymorph (Typsystem)
Polymorphie
Polymorphie (Typsystem)
Präzedenzregel
Prinzip der Substituierbarkeit
Problemgröße
Produktion
Programm
Programm (abstrakt)
Programm (Haskell)
Programmbibliothek
Programmgerüst
Programmierschnittstelle
Programmmodul
Programmmodul (abstrakt)
Programmvariable
Prototyp-Konzept
Prozedur
prozedurales Paradigma
Prozeduraufrufbaum
Prozedurinkarnation
Prozedurrumpf
Prozedurspezifikation
Raumkomplexität
Rechtsableitung
Referenz
Referenztyp
reflexiv
Regel
Rekursion
rekursiv
Relation
repetitiv rekursiv
Satz
Satzform
Schleifeninvariante
Schlüsselabstraktion
Schnittstelle (Baustein)
Schnittstelle (Softwaresystem)
Schnittstellendeklaration
Seiteneffekte
Selektor
Semantik
Serialisierung
Sichtbarkeitsbereich
Signatur (Datenstruktur)
Software
Softwaresystem
sortiert (Binärbaum)
Speicherbedarf
Speicherbereinigung
Speichervariable
Speicherzustand
Spezialisierung (abstrakt)
Sprachdefinition mit Syntaxdiagrammen
Sprache
Sprache (definiert durch Syntaxdiagramme)
Startsymbol
stationär
statisch
statisch (Attribut)
statisch (Variable)
statische Bindung
statische Klasse
statische Methode
Stelligkeit
Steuerungszustand
strikt (Binärbaum)
strikt (Funktion)
String
Ströme
Strom
Strukturbaum
strukturelle Induktion
strukturierter Wert
Subtyp-Polymorphie
Subtyp
Supertyp
Symbol
Synonym (Hash)
Syntax
Syntaxbaum
Syntaxdiagramm
System
technisches System
Terminalknoten
Terminalsymbol
Terminierung
Testen
Text
this
Tiefe
total
totale Korrektheit
transitiv
Typ
Typdeklaration (Java)
Typinferenz
Typkonvertierung
Typsystem
Überladung (allgemein)
Überladung (Java)
Überläufer
Überschreiben
Übersetzungseinheit
unabhängig (Baustein)
Unboxing
Unterbaum
unveränderlich
Validation
Variable
Variablenverbund
Verbund
Vereinbarung
Vererbung
Verhalten (Objekt)
Verhaltensmodell
Verifikation
Verschattung
verschränkt rekursiv
Vertrag
vollständig (Binärbaum)
Wächter
Wert (Java)
Werte
Wort
WP-Kalkül
Wurzel
Wurzelvariable
Zeichen
Zeichenreihe
Zeiger
Zeitkomplexität
Zugriffsbereich (Java)
Zugriffsmodifikator
zulässiger Parameter
Zusammengesetzte Anweisung
Zustand (Objekt)
Zweig
offiziell
wiki
Software-Entwicklung I
offiziell/zulassung.txt
· Zuletzt geändert: 2018/07/03 11:33 von
Mathias Weber
Seiten-Werkzeuge
Seite anzeigen
Links hierher
Nach oben