Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
schaefer, ina
(7)
johnsen, einar broch
(2)müller, peter
(2)bernardo, marco
(1)damiani, ferruccio
(1)egyed, alexander
(1)felderer, michael
(1)haehnle, reiner
(1)hasselbring, wilhelm
(1)koziolek, heiko
(1)matthes, florian
(1)prechelt, lutz
(1)reussner, ralf
(1)rumpe, bernhard
(1)stamelos, ioannis
(1)Schlagwort
edv
(7)informatik
(7)software engineering
(7)software development
(3)software-entw.
(3)softwaredevelopment
(3)theorie
(3)concurrent programming
(2)concurrentprogramming
(2)formal languages
(2)formallanguages
(2)mathematical logic and formal languages
(2)mathematical logic and foundations
(2)model checking
(2)modelchecking
(2)program reasoning
(2)programmiersprachen
(2)programming languages
(2)programming languages, compilers, interpreters
(2)programminglanguages
(2)programreasoning
(2)software product lines
(2)software verification and validation
(2)softwareengineering
(2)softwareproductlines
(2)softwareverificationandvalidation
(2)abs
(1)abstract behavioral modeling
(1)abstractbehavioralmodeling
(1)abstraction and refinement
(1)architecture evolution
(1)architectureevolution
(1)assertion checking
(1)assertionchecking
(1)automated analysis techniques
(1)automated test generation
(1)automatedanalysistechniques
(1)automatedtestgeneration
(1)case-based reasoning
(1)case-basedreasoning
(1)compiler
(1)conceptual model
(1)conceptualmodel
(1)concurrent systems
(1)concurrentsystems
(1)correctness-by-construction
(1)deadlock detection
(1)deadlockdetection
(1)domain engineering
(1)domain specific languages
(1)domainengineering
(1)ernst denert award
(1)ernstdenertaward
(1)executable software models
(1)executablesoftwaremodels
(1)f
(1)feature model
(1)form
(1)formal methods
(1)formal verification
(1)formalmethods
(1)informatik, computer
(1)informationstechnologie
(1)intelligenz
(1)it
(1)it in business
(1)it operations
(1)ki
(1)künstliche intelligenz
(1)künstliche intelligenz - ai
(1)management of computing and information systems
(1)mapreduce
(1)mathematik
(1)model-driven development
(1)model-drivendevelopment
(1)modeling
(1)modellieren (allgemein) - modellierung
(1)object-orientation
(1)object-oriented design
(1)open access
(1)openaccess
(1)probabilistic verification
(1)problem solving
(1)prog
(1)programmieren (edv)
(1)programming languages, compilers, interpreter
(1)quantitative verification
(1)quantitativeverification
(1)regression testing
(1)regressiontesting
(1)requirements engineering
(1)requirementsengineering
(1)reusability
(1)reverse engineering
(1)runtime assessment
(1)runtime testing
(1)runtimeassessment
(1)runtimetesting
(1)s
(1)scalable formal methods
(1)Ergebnis: 7 Artikel
Autor: schaefer, ina
