zum Inhalt springen
SE 1 - WS 2015/16
Benutzer-Werkzeuge
Anmelden
Webseiten-Werkzeuge
Suche
Werkzeuge
Ältere Versionen
Links hierher
Medien-Manager
Übersicht
Anmelden
>
Medien-Manager
Übersicht
Zuletzt angesehen:
•
Glossar
Seitenleiste
Menü
Software-Entwicklung I
Informationen zur Vorlesung
Materialien zur Vorlesung
Übungsorganisation
Zusatzmaterial der Tutoren
Glossar
/
Glossar (English)
offiziell:glossar
Glossar
2
2-Tupel
a
Anwendungsschnittstelle
Attribut
Aufenthaltsort (Objekt)
Anwendungsfall
Anweisung
anonyme Klasse
antisymmetrisch
aufsteigende Kette
Aufzählungstyp
auslösen (Ausnahme)
Ausnahmebehandlung
Auswertung
Ausführungszustand
Ausführung
Annotationsbeweis
Ausdruck
Aufwandsfunktion
Alphabet
Ableitung
Ableitungsbaum
abrupte Terminierung
Ableitbarkeit
ableitbar
Ablauf (Algorithmus)
Ablauf (prozedural)
abstrakt (Java)
abstrakte Datenstruktur
aktueller Parameter
Algorithmus
Allokation
Aktion
Abstraktion (abstrakt)
abstrakte Klasse
abstrakte Methode
Auswertungssemantik
Autoboxing
anonymous class
ambiguous
alphabet
anti-symmetric
application programming interface (API)
array
arity
allocation
algorithm
abstract datatype
abstract class
abstract
abstract method
abstraction
actual parameter
access modifier
array type
attribute
AVL-Baum
abrupt termination
axiom
Axiom (Sprachen)
AVL tree
autoboxing
b
Baustein
Baum
Balancierter Suchbaum
bedingter Ausdruck
binärer Suchbaum
Boxing
Blatt
Bindung
Binärbaum
Berechnungsablauf
Bezeichnerumgebung
binding
body
branch
binary tree
boxing
behavioral model
behavior
c
cast
character
call tree
catch
call-by-need
child
call-by-name
call-by-value
class
constant
conditional
constructor (functional)
constructor (objects)
correctness
context-free grammar
computer science
classification
class attribute
class (abstract)
class declaration
class method
class name
call-by-need
call-by-name
call-by-value
d
discriminator
digraph
dynamic
dynamic binding
dynamisches Binden
data structures
deterministic
deallocation
derivable
derivation
deserialization
derivability
denotational semantics
declaration
default constructor
dynamisch
dynamische Methodenauswahl
Deklarationsbereich
denotationale Semantik
Deserialisierung
determiniert
Deklaration
defensive Programmierung
Datenstruktur
Deallokation
default Konstruktor
deterministisch
Dienst (Objekte)
Diskriminator
direkt erreichbar
direkt rekursiv
direkt ableitbar
direkter Subtyp
e
enumeration type
encapsulation
efficiency
environment
edge
empty tree
Einfache Anweisung
eigenständig (Baustein)
Effizienz
echter Subtyp
evaluation
eindeutig
Entwicklungsmethode
§...
...
exception handling
erreichbar
Entwicklungsprozess
erweitert (Klasse)
Erreichbarkeit
expression
execution state
extends
execution
f
formaler Parameter
Feldtyp
Funktion höherer Ordnung
Funktional
Funktionsabstraktion
Feld
fast vollständig (Binärbaum)
formal parameter
formal language
function application
Funktionsanwendung
fangen (Ausnahme)
final
formale Sprache
g
gerichteter Graph
geschachtelt (Deklarationsbereich)
geschachtelt (Klasse)
geschachtelt rekursiv
Geheimnisprinzip
Geflechte
garbage collection
guards
graph
geschützt (Vererbung)
Geflecht
global (Klasse)
größtes Element
Gültigkeitsbereich
Graph
Größe (Baum)
h
Haskell program
heap property
height
hash table
higher order function
hash collision
Hoare-Logik
Heap Eigenschaft
Hoare logic
hash function
Hoare-Regel
homogeneous
Hoare-Triple
Hashtabelle
Hashkollision
Hashfunktion
Höhe (Baum)
höhenbalanciert (Suchbaum)
Hoare triple
homogen (Relation)
Hoare rule
i
implicit parameter
interface declaration
instance variable
instance
implements
interface (module)
interface (software system)
inner node
inner class
infix
indexed
information hiding
inheritance
injective
incarnation
innerer Knoten
indirekt rekursiv
indiziert (Binärbaum)
impliziter Parameter
implementiert (Klasse)
Identität (Objekt)
invariant
Infix
injektiv
Instanzvariable
Invariante (Objekt)
Instanz
innere Klasse
Inkarnation
identity
Informatik
k
kleinstes Element
Klassifikation
Klassenname
Klassenmethode
Knoten (Baum)
Knoten (Graph)
Konstruktor (funktional)
Konstante
Komponenten (Verbund)
Klassenkonzept
Klassendeklaration
Kapselung
Kante
key abstraction
kaskadenartig rekursiv
Kinder
Klassenattribut
Klasse (abstrakt)
Klasse
Konstruktor (Objekte)
Kollisionsklasse
Korrektheit
kooperierend (Baustein)
kontextfreie Grammatik
l
lifetime (object)
leftmost derivation
lifetime (variable)
lifetime (incarnation)
loop invariant
lambda-abstraction
language definition with syntax diagrams
leaf
location
Linksableitung
Lebensdauer (Inkarnation)
language (syntax diagrams)
Lambda-Abstraktion
Lebensdauer (Objekt)
Lebensdauer (Speichervariable)
language
linear rekursiv
leerer Baum
lokale Klasse
m
Mehrfachvererbung
mehrdeutig
maximales Element
Markierung
Methode (Objekte)
Methodenauswahl
Muster
minimales Element
Musteranwendung
Methode
mutually recursive
module
multiple inheritance
mark
§...
...
method (objects)
message
method
n
Nachfolgezustand
n-Tupel
Nachricht (Objekte)
Namensumgebung
nicht-deterministisch
normal termination
non-deterministic
nested class
nested
node
Nicht-Terminierung
non-terminal symbol
non-terminal node
non-termination
nicht-determiniert
Nichtterminalknoten
noethersche Ordnung
normale Terminierung
Nichtterminalsymbol
Niveau
o
objektlokale Variable
objektbasiert
Objektmodell
Objektgeflecht
operationale Semantik
Ordnungsrelation
Ordnung
Objekt (abstrakt)
Objektreferenz
objektorientiert
object model
overloading (general)
overloading (Java)
overriding
obere Schranke (Aufwandsfunktion)
ordering
operational semantics
object-oriented
object
object reference
object-based
Operatorsymbole
p
partielle Korrektheit
partiell
parametrische Polymorphie
Parameterübergabe
partielle Ordnung
Persistenz
Polymorphie
polymorph (Typsystem)
Plattform
Parameterinduktion
Paradigma
paradigm
pair
package
parameter passing
parametric polymorphism
Paket (Java)
Paar
partial
Polymorphie (Typsystem)
Präzedenzregel
Prozedur
Prototyp-Konzept
Programmvariable
prozedurales Paradigma
Prozeduraufrufbaum
Prozedurspezifikation
Prozedurrumpf
Prozedurinkarnation
Programmmodul (abstrakt)
Programmmodul
Produktion
Problemgröße
Prinzip der Substituierbarkeit
Programm
Programm (abstrakt)
Programmierschnittstelle
Programmgerüst
Programm (Haskell)
partial ordering
Programmbibliothek
polymorphism
protected
proof outline
polymorphic
pointer
partial correctness
pattern matching
platform
Pattern
program variable
procedure
procedural paradigm
procedural incarnation
polymorphism (type system)
production
program
program module
program framework
program (abstract)
r
raise
reachability
reachable
Referenztyp
Referenz
Rechtsableitung
reflexiv
Regel
repetitiv rekursiv
rekursiv
Rekursion
Raumkomplexität
rule
reference
recursive
recursion
reference type
reflexive
root
rightmost derivation
relation
record
Relation
s
Signatur (Datenstruktur)
Software
Sichtbarkeitsbereich
Serialisierung
Selektor
Semantik
Softwaresystem
sortiert (Binärbaum)
subtype polymorphism
Spezialisierung (abstrakt)
Speichervariable
Speicherbereinigung
Speicherbedarf
Seiteneffekte
Schnittstellendeklaration
software system
size
sorted
space complexity
state
specialization
software
Satz
§...
...
Schnittstelle (Baustein)
Schnittstelle (Softwaresystem)
Schlüsselabstraktion
Schleifeninvariante
Satzform
Sprachdefinition mit Syntaxdiagrammen
Sprache
Subtyp-Polymorphie
Subtyp
strukturierter Wert
strukturelle Induktion
Strom
Strukturbaum
Supertyp
Symbol
Syntaxdiagramm
System
Syntaxbaum
Syntax
Synonym (Hash)
Ströme
String
statisch (Attribut)
statisch (Variable)
statisch
stationär
Sprache (definiert durch Syntaxdiagramme)
Startsymbol
statische Bindung
statische Klasse
strikt (Binärbaum)
strikt (Funktion)
Steuerungszustand
Stelligkeit
statische Methode
statement
Speicherzustand
subtree
subtype
substitution principle
structural induction
strict
string
system
syntax tree
static
supertype
synonym
syntax
syntax diagram
streams
symbol
side effect
shadowing
serialization
signature
static attribute
scope
simple statement
selector
semantics
stationary
stream
static variable
static method
static class
t
tail recursive
Terminalknoten
technisches System
Terminalsymbol
terminal node
this
Typdeklaration (Java)
Typ
Typinferenz
Typkonvertierung
Typsystem
transitiv
totale Korrektheit
Testen
terminal symbol
Tiefe
total
Terminierung
Text
tuple
tree
type inference
type system
type declaration
termination
transitive
type
total correctness
text
testing
time complexity
this
top-level
total
u
Überschreiben
Überladung (Java)
Überläufer
Übersetzungseinheit
Unterbaum
Überladung (allgemein)
unveränderlich
unabhängig (Baustein)
Unboxing
use case
unboxing
upper bound
unambiguous
v
Verhalten (Objekt)
Vereinbarung
Vererbung
Verhaltensmodell
Vertrag
vollständig (Binärbaum)
verschränkt rekursiv
vertice
Verifikation
Verbund
Verschattung
Variablenverbund
variable
verification
value
values
validation
Variable
Validation
w
WP-Kalkül
Wurzelvariable
Wurzel
Wort
word
Werte
Wächter
Wert (Java)
z
Zusammengesetzte Anweisung
zulässiger Parameter
Zweig
Zugriffsmodifikator
Zustand (Objekt)
Zeiger
Zeichen
Zeichenreihe
Zeitkomplexität
Zugriffsbereich (Java)
Top ↑
offiziell/glossar.txt
· Zuletzt geändert: 2015/10/05 16:56 (Externe Bearbeitung)
Seiten-Werkzeuge
Ältere Versionen
Links hierher
Nach oben
