Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
bernardo, marco
(1)bowen, jonathan p.
(1)brinksma, ed
(1)grabowski, jens
(1)grieskamp, wolfgang
(1)harman, mark
(1)hermanns, holger
(1)hierons, robert m.
(1)inverardi, paola
(1)katoen, joost-pieter
(1)nielsen, brian
(1)sokolsky, oleg
(1)tasiran, serdar
(1)weise, carsten
(1)Schlagwort
correct systems design
(6)correctsystemsdesign
(6)edv
(6)informatik
(6)formal methods
(5)formalmethods
(5)abstract state machines
(4)abstractstatemachines
(4)finite state machines
(4)software engineering
(4)software-entw.
(4)theorie
(4)correctness proofs
(3)correctnessproofs
(3)finitestatemachines
(3)formal testing
(3)modeling
(3)testmethoden
(3)allgemeines
(2)automata
(2)automated testing
(2)automatedtesting
(2)formaltesting
(2)interactive testing
(2)markov chains
(2)markovchains
(2)model checking
(2)softwaretesting
(2)systems analysis
(2)systems design
(2)algebraic specifications
(1)algebraicspecifications
(1)architektur (edv)
(1)aspect oriented programming
(1)aspect-oriented programming
(1)aspectorientedprogramming
(1)component systems
(1)componentsystems
(1)connectors
(1)constraint resolution
(1)constraintresolution
(1)controllability
(1)datenverarbeitung
(1)dependable computing
(1)dependablecomputing
(1)design
(1)distributed object systems
(1)distributed systems
(1)distributedobjectsystems
(1)distributedsystems
(1)domain specific language
(1)domainspecificlanguage
(1)entwurf
(1)fau
(1)fault detection
(1)fault diagnosis
(1)faultdiagnosis
(1)formal method
(1)formal specification
(1)formal verification
(1)formalinteractive
(1)formalspecification
(1)formalverification
(1)interactivetesting
(1)markov decision process
(1)markovdecisionprocess
(1)mo
(1)model-based testing
(1)modelchecking
(1)object oriented design
(1)objectorienteddesign
(1)open-source
(1)optimization
(1)performance analysis
(1)performance evaluation
(1)performanceanalysis
(1)performanceevaluation
(1)process algebras
(1)processalgebras
(1)program
(1)program analysis
(1)programmier- und
(1)programmieren (edv)
(1)programmiersprachen
(1)programming
(1)programming languag
(1)reactive systems
(1)reactivesyste
(1)real-time
(1)rechnerarchitektur
(1)requirements analysis
(1)resolution
(1)scala
(1)seman
(1)so
(1)sof
(1)software architecture
(1)software en
(1)software engineering/prog
(1)software engineering/programming and operating syste
(1)Ergebnis: 6 Artikel
Schlagwort: correct systems design
