Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
amyot, daniel
(1)borrione, dominique
(1)fonseca i casas, pau
(1)frappier, marc
(1)habrias, henri
(1)mussbacher, gunter
(1)Schlagwort
specificationanddescriptionlanguage
(3)edv
(2)informatik
(2)software engineering
(2)specification and description language
(2)availability modeling
(1)availabilitymodelin
(1)behavioral modeling
(1)c
(1)c programming language
(1)c++
(1)c++ programming language
(1)c++programminglanguage
(1)c/c++
(1)circuits and systems
(1)clean
(1)coq
(1)cprogramminglanguage
(1)distributed systems
(1)domain-specific languages
(1)elektronik
(1)elektrotechnik
(1)embedded systems
(1)formal methods
(1)formal specification
(1)formalmethods
(1)formalspecification
(1)gineering
(1)image processing
(1)imageprocessing
(1)integrated circuit
(1)integratedcircuit
(1)itu
(1)language
(1)language of temporal ordering specification
(1)languageoftemporalorderingspecification
(1)mathemat
(1)model checking
(1)model reuse
(1)model-driven development
(1)modeling
(1)nachrichtentechnik
(1)netzwerk (elektronisch)
(1)petri net
(1)petrinet
(1)processing
(1)product lines
(1)productlines
(1)programmiersprachen
(1)programmin
(1)reusability
(1)schaltkreise und komponenten (bauteile)
(1)semantics
(1)simulation
(1)single-electron transistor
(1)single-electrontransistor
(1)software
(1)software design
(1)software repositories
(1)software safety
(1)software-entw.
(1)softwaredesign
(1)softwarerepositories
(1)softwaresafety
(1)spe
(1)static-induction transistor
(1)static-inductiontransistor
(1)structured analysis
(1)structured de
(1)structuredanalysis
(1)structuredde
(1)technik
(1)theoretische informatik
(1)theorie
(1)variabilitymodeling
(1)visuallanguages
(1)Ergebnis: 3 Artikel
Schlagwort: specificationanddescriptionlanguage
