zum Inhalt springen
SE 1 - WS 2014/15
Benutzer-Werkzeuge
Anmelden
Webseiten-Werkzeuge
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
Material von Tutoren
Seiten der Übungsgruppen
Glossar
/
Glossar (English)
offiziell:glossar
Dies ist eine alte Version des Dokuments!
Glossar
2
2-tupel
a
alphabet
annotationsbeweis
anonyme_klasse
avl-baum
axiom_sprachen
allokation
algorithmus
abstrakte_klasse
abstrakte_datenstruktur
abstrakte_methode
abstraktion_abstrakt
aktueller_parameter
aktion
autoboxing
auswertungssemantik
aufenthaltsort_objekt
aufsteigende_kette
attribut
anwendungsschnittstelle
anweisung
anwendungsfall
aufwandsfunktion
aufzaehlungstyp
ausnahmebehandlung
auswertung
ausloesen_ausnahme
ausfuehrungszustand
ausdruck
ausfuehrung
abrupt_termination
abstrakt_java
alphabet
allocation
ambiguous
anonymous_class
application_programming_interface_api
anti-symmetric
algorithm
actual_parameter
abstract_class
abstract
abstract_datatype
abstract_method
access_modifier
abstraction
arity
array
ableitbarkeit
ableitbar
ableitung
ableitungsbaum
abschlussklausur
abrupte_terminierung
ablauf_prozedural
ablauf_algorithmus
attribute
array_type
autoboxing
avl_tree
axiom
antisymmetrisch
b
bedingter_ausdruck
body
boxing
branch
binding
binary_tree
behavior
behavioral_model
balancierter_suchbaum
boxing
bezeichnerumgebung
berechnungsablauf
baustein
baum
binaerbaum
binaerer_suchbaum
blatt
bindung
c
call-by-name
call-by-value
call-by-need
class_method
class_declaration
class_attribute
class_name
classification
constructor_functional
constant
conditional
class_abstract
class
call_tree
call-by-value
call-by-need
cast
catch
child
character
constructor_objects
computer_science
call-by-name
context-free_grammar
correctness
d
datenstruktur
dynamic_binding
dynamic
deallokation
deklaration
deserialisierung
determiniert
denotationale_semantik
deklarationsbereich
discriminator
defensive_programmierung
deterministic
declaration
deallocation
deterministisch
data_structures
default_constructor
denotational_semantics
deserialization
derivation
derivable
derivability
digraph
default_konstruktor
dynamisch
dienst_objekte
dynamische_methodenauswahl
dokuwiki
diskriminator
dynamisches_binden
direkter_subtyp
direkt_erreichbar
direkt_ableitbar
direkt_rekursiv
e
environment
empty_tree
enumeration_type
evaluation
execution_state
encapsulation
extends
expression
execution
exception_handling
entwicklungsprozess
§...
...
eindeutig
eigenstaendig_baustein
echter_subtyp
edge
erweitert_klasse
einfache_anweisung
erreichbarkeit
entwicklungsmethode
erreichbar
f
final
formal_language
feldtyp
formale_sprache
formaler_parameter
feld
fast_vollstaendig_binaerbaum
fangen_ausnahme
formal_parameter
funktion_hoeherer_ordnung
function_application
funktional
funktionsanwendung
funktionsabstraktion
g
graph
garbage_collection
geheimnisprinzip
geschachtelt_klasse
geschachtelt_rekursiv
geschachtelt_deklarationsbereich
gerichteter_graph
guards
geflecht
geschuetzt_vererbung
global_klasse
gloss
glossar
gueltigkeitsbereich
groesstes_element
graph
groesse_baum
glossar_english
geflechte
h
hashtabelle
heap_eigenschaft
hoare-logik
hash_collision
hashkollision
hashfunktion
hoare_rule
hoare_triple
homogeneous
higher_order_function
hoare-regel
hoare-triple
heap_property
haskell_program
hash_table
hash_function
hoare_logic
height
hoehe_baum
hoehenbalanciert_suchbaum
homogen_relation
i
implementiert_klasse
identitaet_objekt
implicit_parameter
interface_declaration
instance_variable
interface_module
interface_software_system
invariant
instance
inner_node
incarnation
impliziter_parameter
information_hiding
inheritance
inner_class
implements
inkarnation
instanzvariable
invariante_objekt
indirekt_rekursiv
innerer_knoten
instanz
innere_klasse
informatik
informationen
indiziert_binaerbaum
k
kollisionsklasse
knoten_graph
kleinstes_element
komponenten_verbund
knoten_baum
korrektheit
klassifikation
kontextfreie_grammatik
konstruktor_objekte
konstruktor_funktional
konstante
klassenattribut
kaskadenartig_rekursiv
kapselung
kante
key_abstraction
kinder
klasse
klassenmethode
klassenkonzept
klassendeklaration
klasse_abstrakt
klassenname
kooperierend_baustein
l
linksableitung
lokale_klasse
lambda-abstraction
linear_rekursiv
lambda-abstraktion
lebensdauer_speichervariable
lebensdauer_objekt
lebensdauer_inkarnation
leerer_baum
loop_invariant
leaf
leftmost_derivation
language_syntax_diagrams
language_definition_with_syntax_diagrams
language
lifetime_incarnation
lifetime_object
location
lifetime_variable
m
mehrfachvererbung
mehrdeutig
markierung
method_objects
message
mark
method
methode
multiple_inheritance
module
mutually_recursive
maximales_element
methode_objekte
muster
musteranwendung
methodenauswahl
§...
...
minimales_element
n
nested
non-deterministic
nichtterminalknoten
node
noethersche_ordnung
nachklausur
normale_terminierung
non-terminal_node
niveau
nichtterminalsymbol
nested_class
namensumgebung
nachfolgezustand
n-tupel
non-terminal_symbol
nicht-determiniert
nachricht_objekte
nicht-deterministisch
normal_termination
non-termination
nicht-terminierung
o
operationale_semantik
operatorsymbole
ordnungsrelation
objektreferenz
ordnung
objekt_abstrakt
obere_schranke_aufwandsfunktion
objektbasiert
objektlokale_variable
objektmodell
objektorientiert
objektgeflecht
ordering
overloading_general
overloading_java
overriding
object-based
operational_semantics
object_reference
object-oriented
object_model
object
p
procedural_paradigm
procedure
polymorphism
production
polymorphism_type_system
procedural_incarnation
program_framework
polymorphic
program_variable
program_module
program_abstract
program
partial_ordering
parameter_passing
parametric_polymorphism
paradigm
pair
package
partial
partial_correctness
platform
pattern_matching
pattern
proof_outline
pointer
paar
programmgeruest
programmierschnittstelle
programmmodul
programmbibliothek
programm_haskell
programm
programm_abstrakt
programmmodul_abstrakt
prototyp-konzept
prozedurrumpf
prozedurspezifikation
probeklausur
prozedurinkarnation
prozeduraufrufbaum
prozedur
prozedurales_paradigma
produktion
problemgroesse
parametrische_polymorphie
partiell
partielle_korrektheit
parameteruebergabe
parameterinduktion
paket_java
paradigma
partielle_ordnung
persistenz
praezedenzregel
prinzip_der_substituierbarkeit
polymorphie_typsystem
polymorphie
plattform
polymorph_typsystem
protected
programmvariable
r
root
rule
rightmost_derivation
relation
raumkomplexitaet
reference
raise
recursion
record
reachable
reachability
rechtsableitung
reference_type
repetitiv_rekursiv
referenz
rekursiv
recursive
relation
reflexive
referenztyp
reflexiv
regel
rekursion
s
schluesselabstraktion
sortiert_binaerbaum
speichervariable
sprachdefinition_mit_syntaxdiagrammen
sprache
spezialisierung_abstrakt
speicherzustand
static
speicherbedarf
signatur_datenstruktur
sprache_definiert_durch_syntaxdiagramme
schnittstellendeklaration
schnittstelle_softwaresystem
schnittstelle_baustein
seiteneffekte
selektor
software
sichtbarkeitsbereich
serialisierung
semantik
softwaresystem
statisch_variable
syntaxbaum
§...
...
syntaxdiagramm
system
syntax
synonym_hash
subtyp
supertyp
symbol
statement
state
software_system
syntax
start
stats
sorted
specialization
space_complexity
subtyp-polymorphie
strukturierter_wert
statische_bindung
statische_klasse
statische_methode
schleifeninvariante
statisch_attribut
stationaer
statisch
stelligkeit
steuerungszustand
strom
strukturbaum
strukturelle_induktion
stroeme
string
strikt_binaerbaum
strikt_funktion
startsymbol
speicherbereinigung
subtype_polymorphism
supertype
symbol
structural_induction
string
streams
strict
synonym
syntax
subtype
subtree
substitution_principle
system
syntax_tree
satzform
syntax_diagram
stream
stationary
serialization
shadowing
side_effect
semantics
selector
satz
scope
signature
simple_statement
static_method
static_variable
static_class
static_attribute
size
software
t
technisches_system
typsystem
transitiv
typdeklaration_java
typinferenz
typkonvertierung
total
this
terminalsymbol
terminierung
testen
terminalknoten
totale_korrektheit
tuple
transitive
total_correctness
type_declaration
type_inference
tail_recursive
type_system
total
tree
termination
top-level
terminal_node
testing
terminal_symbol
time_complexity
this
u
use_case
uebungen
unveraenderlich
upper_bound
unterbaum
unambiguous
unboxing
ueberlaeufer
ueberschreiben
unboxing
uebersetzungseinheit
unabhaengig_baustein
ueberladung_allgemein
ueberladung_java
v
vollstaendig_binaerbaum
value
vertice
verification
variable
values
validation
verifikation
vereinbarung
verbund
variablenverbund
vertrag
verschraenkt_rekursiv
verhalten_objekt
verhaltensmodell
verschattung
vererbung
variable
validation
w
wp-kalkuel
wort
werte
wert_java
wurzel
wurzelvariable
welcome
word
waechter
z
zulassung
zustand_objekt
zeitkomplexitaet
zeiger
zeichenreihe
zugriffsbereich_java
zugriffsmodifikator
zusammengesetzte_anweisung
zulaessiger_parameter
zweig
Top ↑
offiziell/glossar.1411641728.txt.gz
· Zuletzt geändert: 2014/09/25 12:42 von
Mathias Weber
Seiten-Werkzeuge
Ältere Versionen
Links hierher
Nach oben