Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
abreu, salvador
(1)beckert, bernhard
(1)fernandes, joão m.
(1)gladisch, christoph david
(1)karsten konrad
(1)lämmel, ralf
(1)marché, claude
(1)sagar sen
(1)saraiva, joão
(1)seipel, dietmar
(1)visser, joost
(1)Schlagwort
edv
(6)informatik
(6)
model generation
(6)software engineering
(3)compiler
(2)dynamic logic
(2)first-order logic
(2)informatik, computer
(2)intelligenz
(2)ki
(2)künstliche intelligenz
(2)künstliche intelligenz - ai
(2)mathematik
(2)model driven engineering
(2)program transformation
(2)programmiersprachen
(2)sat solvers
(2)software-entw.
(2)theorie
(2)übersetzer (edv)
(2)abstract interpretation
(1)alloys
(1)anwendungen
(1)anwendungs-software
(1)architektur (edv)
(1)artificial intelligence
(1)aufrüsten, reparieren, selbstbau
(1)automated software engineering
(1)betrieb, verwaltung
(1)betriebssystem (edv)
(1)bytecode
(1)computational linguistics
(1)computationallinguistics
(1)computer
(1)constraint processing
(1)data mining
(1)datenverarbeitung
(1)fault detection
(1)fehlererkennung
(1)first-orderlogic
(1)formal natural language semantics
(1)formal specification languages
(1)formal verification
(1)formalnaturallanguagesemantics
(1)generic language technology
(1)information technology
(1)informationtechnology
(1)java
(1)linguistics
(1)logics and meanings o
(1)logics and meanings of programs
(1)metamodeling
(1)microkernel
(1)ml
(1)model completion
(1)model theory
(1)model transformation testing
(1)modelgeneration
(1)modeltheory
(1)natural language
(1)natural language interpretation
(1)natural language processing
(1)naturallangu
(1)naturallanguage
(1)natürliche
(1)nlp
(1)object orientation
(1)object-oriented languages
(1)objektorientiert (edv)
(1)ocaml
(1)operating system
(1)parametric concurrency
(1)pc-hardware
(1)processing
(1)program generation
(1)program specification
(1)program verification
(1)programming languages, compilers, interpreters
(1)programming technique
(1)programming techniques
(1)proving
(1)rechnerarchitektur
(1)ref
(1)refi
(1)roboter - robotik - industrieroboter
(1)semantic web
(1)software language engineering
(1)software re-engineering
(1)software reverse
(1)softwareentwicklung
(1)sonstiges
(1)test generation
(1)theorem proving
(1)troubleshooting
(1)Ergebnis: 6 Artikel
Schlagwort: model generation
