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)Verlag / Hersteller
springer international publishing
(8)springer nature switzerland
(2)Schlagwort
informatik
(11)software engineering
(11)edv
(9)software development
(7)open access
(5)requirements engineering
(5)softwaredevelopment
(5)software engineering/programming and operating systems
(4)softwareengineering
(4)ernst denert award
(3)ernstdenertaward
(3)it in business
(3)it operations
(3)management of computing and information systems
(3)openaccess
(3)requirementsengineering
(3)software management
(3)software modeling
(3)software research
(3)software-entw.
(3)softwaremodeling
(3)softwareresearch
(3)theorie
(3)best thesis award
(2)concurrent programming
(2)concurrentprogramming
(2)formal languages
(2)formallanguages
(2)mathematical logic and formal languages
(2)mathematical logic and foundations
(2)model checking
(2)model-driven software development
(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)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)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)ki
(1)künstliche intelligenz
(1)künstliche intelligenz - ai
(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)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)Ergebnis: 11 Artikel
Redaktion: ina schaefer
