Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
dines bjørner
(2)graf, susanne
(2)astesiano, egidio
(1)balsamo, simonetta
(1)banach, richard
(1)baresi, luciano
(1)barnett, mike
(1)basili, victor r.
(1)bernardo, marco
(1)boer, frank s. de
(1)bonsangue, marcello m.
(1)borzyszkowski, andrzej m.
(1)brennan, rob
(1)broy, manfred
(1)butkiene, rita
(1)butleris, rimantas
(1)cazzola, walter
(1)chi, chi-hung
(1)crnkovic, ivica
(1)czarnecki, krzysztof
(1)davies, jim
(1)delgado, jaime
(1)di martino, beniamino
(1)dongarra, jack
(1)ehrig, hartmut
(1)eisenecker, ulrich w.
(1)finance, jean-pierre
(1)fleck, joel
(1)floyd, christiane
(1)george, chris
(1)godefroid, patrick
(1)gutwin, carl
(1)henninger, scott
(1)hierons, robert
(1)hussmann, heinrich
(1)inoue, tomoo
(1)inverardi, paola
(1)jan kristof nidzwetzki
(1)jähnichen, stefan
(1)knapp, alexander
(1)kutsche, ralf-detlef
(1)lau, kung-kiu
(1)maibaum, tom
(1)marcus s. fisher
(1)margaria-steffen, tiziana
(1)maurer, frank
(1)medina-bulo, inmaculada
(1)meer, sven van der
(1)merayo, mercedes g.
(1)miao, huaikou
(1)michael ströbel
(1)mounier, laurent
(1)mullery, al
(1)nivat, maurice
(1)ochoa, sergio f.
(1)pezzè, mauro
(1)rana, omer f.
(1)roland schmitz
(1)rombach, h. d.
(1)schmidt, heinz w.
(1)schulte, wolfram
(1)selby, richard w.
(1)skersys, tomas
(1)sokolowski, stefan
(1)stafford, judith a.
(1)stamoulis, george d.
(1)stroud, robert j.
(1)suzuki, jun
(1)thatcher, james
(1)tisato, francesco
(1)valmari, antti
(1)vassileva, julita
(1)walter kriha
(1)weber, herbert
(1)wermelinger, michel
(1)wirsing, martin
(1)yang, laurence t.
(1)Verlag / Hersteller
springer berlin heidelberg
(33)springer international publishing
(2)springer us
(2)Schlagwort
edv
(37)informatik
(37)software engineering
(35)software-entw.
(24)theorie
(24)modeling
(19)software engineering/programming and operating systems
(19)design
(16)formal methods
(15)softwareengineering
(14)formalmethods
(13)java
(10)unified modeling language (uml)
(10)unifiedmodelinglanguage(uml)
(10)formal verification
(9)verification
(9)formalverification
(8)programming
(8)algorithms
(7)formal method
(7)formal specification
(7)programmiersprachen
(7)software architecture
(7)automata
(6)betriebssystem (edv)
(6)compiler
(6)formalspecification
(6)logic
(6)operating system
(6)program analysis
(6)programmieren (edv)
(6)real-time
(6)requirements engineering
(6)requirementsengineering
(6)entwicklung
(5)formalmethod
(5)logics and meanings of programs
(5)programanalysis
(5)programming languages, compilers, interpreters
(5)programming techniques
(5)reverse engineering
(5)software
(5)testing
(5)uml
(5)allgemeines
(4)artificial intelligence
(4)distributed systems
(4)metamodeling
(4)simulation
(4)spin
(4)übersetzer (edv)
(4)abstraction
(3)algorithm
(3)architektur (edv)
(3)communication
(3)explicit model checking
(3)formal software development
(3)formalsoftwaredevelopment
(3)lambda calculus
(3)mathematik
(3)middleware
(3)modal verification
(3)netzwerke
(3)object technology
(3)program transformation
(3)programtransformation
(3)qualitätssicherung, qualität
(3)rechnerarchitektur
(3)reverseengineering
(3)softwarearchitecture
(3)spin model checking
(3)systems design
(3)theory of computation
(3)validation
(3)web services
(3)abstract interpretation
(2)algorithm analysis and problem complexity
(2)algorithmus
(2)c++ programming language
(2)c++programminglanguage
(2)cluster
(2)com
(2)compilers and interpreters
(2)component systems
(2)component-based software engineering
(2)component-basedsoftwareengineering
(2)computer
(2)computer communication networks
(2)database
(2)datenbank
(2)datenkommunikation
(2)datenverarbeitung
(2)development
(2)embedded systems
(2)embeddedsystems
(2)engineering
(2)explicitmodelchecking
(2)internet
(2)lambdacalculus
(2)modalverification
(2)Erscheinungsjahr
1985
(1)1993
(2)1995
(1)1998
(1)1999
(1)2000
(4)2001
(1)2002
(2)2003
(5)2004
(6)2005
(4)2006
(2)2008
(1)2009
(1)2010
(2)2012
(1)2016
(1)2017
(1)2018
(1)Ergebnis: 38 Artikel
Thema: software engineeri
