Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
bernhard rumpe
(4)amaral, vasco
(2)carreira, paulo
(2)dorina corina petriu
(2)josé merseguer
(2)ralf lämmel
(2)simona bernardi
(2)vangheluwe, hans
(2)alexander raschke
(1)altmann, jörn
(1)babkin, eduard
(1)bañares, josé Ángel
(1)berger, christian
(1)braga, christiano
(1)carlini, emanuele
(1)coppola, massimo
(1)cornélio, márcio
(1)csöndes, tibor
(1)egon börger
(1)hermenegildo, manuel v
(1)jansen, anton
(1)kovács, gábor
(1)lock, russell
(1)lopez-garcia, pedro
(1)malavolta, ivano
(1)malyzhenkov, pavel
(1)martí-oliet, narciso
(1)merunka, vojtech
(1)mousavi, mohammed reza
(1)muccini, henry
(1)ozkaya, ipek
(1)pergl, robert
(1)roscoe, bill
(1)réthy, györgy
(1)zimmermann, olaf
(1)Verlag / Hersteller
springer berlin heidelberg
(3)springer international publishing
(16)Schlagwort
edv
(19)informatik
(19)
system description languages
(19)systemdescriptionlanguages
(15)software engineering
(13)theorie
(7)formal methods
(6)software-entw.
(6)formalmethods
(5)management of computing and information systems
(5)software modeling
(5)software system models
(5)softwaremodeling
(5)abstraction, modeling and modularity
(4)it in business
(4)it operations
(4)software management
(4)software system structures
(4)softwareengineering
(4)softwaresystemmodels
(4)softwaresystemstructures
(4)system modeling languages
(4)systemmodelinglanguages
(4)abstraction,modelingandmodularity
(3)allgemeines
(3)formal language definitions
(3)programmieren
(3)software design engineering
(3)uml
(3)aadl
(2)agile software development
(2)agilesoftwaredevelopment
(2)computation by abstract devices
(2)concurrencymodeling
(2)context specific languages
(2)contextspecificlanguages
(2)datenkommunikation
(2)design languages
(2)designlanguages
(2)devs
(2)domain-specific languages
(2)domain-specificlanguages
(2)embedded and cyber-physical systems
(2)embeddedandcyber-physicalsystems
(2)formal languages and automata theory
(2)formallanguagedefinitions
(2)formallanguagesandautomatatheory
(2)marte
(2)mathematical logic and formal languages
(2)model checking
(2)model transformation
(2)model-based software engineering
(2)model-basedsoftwareengineering
(2)model-driven software engineering
(2)model-drivensoftwareengineering
(2)modelica
(2)models of computation
(2)modelsofcomputation
(2)modeltransformation
(2)multi-paradigm modeli
(2)multi-paradigmmodeling
(2)netzwerke
(2)open access
(2)openaccess
(2)performance analysis
(2)performanceanalysis
(2)petri nets
(2)petrinets
(2)software composition
(2)software creation and management
(2)software dependability
(2)software development techniques
(2)software extra-functional properties
(2)software verification and validation
(2)softwarecomposition
(2)softwarecreationandmanagement
(2)softwaredependability
(2)softwaredesignengineering
(2)softwareextra-functionalproperties
(2)softwareverificationandvalidation
(2)statecharts
(2)system and modeling
(2)system performance and evaluation
(2)theory
(2)abstract state machines
(1)abstraction
(1)abstractstatemachines
(1)algorithmanalysisandproblemcomplexity
(1)anwendungs-software
(1)applications
(1)ar
(1)architectural models
(1)architecturalmodels
(1)architecturedesigns
(1)automata theory
(1)automatatheory
(1)berufe
(1)bpmn
(1)business process management
(1)business process modeling
(1)Ergebnis: 19 Artikel
Schlagwort: system description languages
