SE 1 - WS 2014/15

Dies ist eine Übersicht über alle vorhandenen Seiten und Namensräume.

glossar
english
abrupt termination
abstract
abstract class
abstract datatype
abstract method
abstraction
access modifier
actual parameter
algorithm
allocation
alphabet
ambiguous
anonymous class
anti-symmetric
application programming interface (API)
arity
array
array type
attribute
autoboxing
AVL tree
axiom
behavior
behavioral model
binary tree
binding
body
boxing
branch
call-by-name
call-by-need
call-by-value
call tree
cast
catch
character
child
class
class (abstract)
class attribute
class declaration
class method
class name
classification
computer science
conditional
constant
constructor (functional)
constructor (objects)
context-free grammar
correctness
data structures
deallocation
declaration
default constructor
denotational semantics
derivability
derivable
derivation
deserialization
deterministic
digraph
discriminator
dynamic
dynamic binding
edge
efficiency
empty tree
encapsulation
enumeration type
environment
evaluation
exception handling
execution
execution state
expression
extends
final
formal language
formal parameter
function application
garbage collection
graph
guards
hash collision
hash function
hash table
Haskell program
heap property
height
higher order function
Hoare logic
Hoare rule
Hoare triple
homogeneous
identity
implements
implicit parameter
incarnation
indexed
infix
information hiding
inheritance
injective
inner class
inner node
instance
instance variable
interface declaration
interface (module)
interface (software system)
invariant
key abstraction
lambda-abstraction
language
language definition with syntax diagrams
language (syntax diagrams)
leaf
leftmost derivation
lifetime (incarnation)
lifetime (object)
lifetime (variable)
location
loop invariant
mark
message
method
method (objects)
module
multiple inheritance
mutually recursive
nested
nested class
node
non-deterministic
non-terminal node
non-terminal symbol
non-termination
normal termination
object-based
object-oriented
object
object model
object reference
operational semantics
ordering
overloading (general)
overloading (Java)
overriding
package
pair
paradigm
parameter passing
parametric polymorphism
partial
partial correctness
partial ordering
Pattern
pattern matching
platform
pointer
polymorphic
polymorphism
polymorphism (type system)
procedural incarnation
procedural paradigm
procedure
production
program
program (abstract)
program framework
program module
program variable
proof outline
protected
raise
reachability
reachable
record
recursion
recursive
reference
reference type
reflexive
relation
rightmost derivation
root
rule
scope
selector
semantics
serialization
shadowing
side effect
signature
simple statement
size
software
software system
sorted
space complexity
specialization
state
statement
static
static attribute
static class
static method
static variable
stationary
stream
streams
strict
string
structural induction
substitution principle
subtree
subtype
subtype polymorphism
supertype
symbol
synonym
syntax
syntax diagram
syntax tree
system
tail recursive
terminal node
terminal symbol
termination
testing
text
this
time complexity
top-level
total
total correctness
transitive
tree
tuple
type
type declaration
type inference
type system
unambiguous
unboxing
upper bound
use case
validation
value
values
variable
verification
vertice
word
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

SE 1 - WS 2014/15

Benutzer-Werkzeuge

Webseiten-Werkzeuge

Übersicht

Seiten-Werkzeuge