Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
prinz, andreas
(3)buchberger, bruno
(2)schewe, klaus-dieter
(2)thalheim, bernhard
(2)reed, jeanne
(1)reed, rick
(1)Schlagwort
edv
(3)informatik
(3)abstract state machines
(2)abstractstatemachines
(2)algorithms
(2)automated reasoning
(2)automatedreasoning
(2)mathematical applications in computer science
(2)software engineering
(2)software engineering/programming and operating systems
(2)theorema
(2)web applications
(2)web information systems
(2)webapplications
(2)webinformationsystems
(2)algorithmus
(1)architecture
(1)computernetzwerke und masch
(1)corba
(1)description languages
(1)descriptionlanguages
(1)entwicklung
(1)formal language
(1)formallanguage
(1)modeling
(1)msc (message sequence charts)
(1)msc(messagesequencecharts)
(1)petri net
(1)petrinet
(1)programmieren (edv)
(1)requirements engineering
(1)requirementsengineering
(1)sdl (specification and description language)
(1)sdl(specificationanddescriptionlanguage)
(1)semantics and analysis of scenario notation
(1)semanticsanda
(1)software-entw.
(1)theorie
(1)uml
(1)unified modeling language (uml)
(1)unifiedmodelinglanguage(uml)
(1)Ergebnis: 3 Artikel
Redaktion: andreas prinz
