Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
clément hurlin
(1)donal lafferty
(1)dunne, steve
(1)ehrig, hartmut
(1)fitzgerald, john
(1)hayes, ian j.
(1)iain craig
(1)jantke, klaus p.
(1)krogdahl, s.
(1)larsen, peter g.
(1)lyche, t.
(1)misra, jayadev
(1)nipkow, tobias
(1)orejas, fernando
(1)owe, olaf
(1)ramalingam, g.
(1)schaefer, ina
(1)sekerinski, emil
(1)stamelos, ioannis
(1)stoddart, bill
(1)tarlecki, andrzej
(1)toussaint, marcel
(1)vinny cahill
(1)woodcock, james c. p.
(1)Schlagwort
edv
(12)informatik
(12)
object-orientation
(12)programmiersprachen
(9)software engineering
(8)software-entw.
(6)theorie
(6)compiler
(5)programming
(5)programming language
(5)design
(4)formal method
(4)formalmethod
(4)real-time
(4)verification
(4)object-oriented programming
(3)objektorientiert (edv)
(3)programmier- und skriptsprachen, allgemein
(3)programming languages, compilers, interpreters
(3)programming techniques
(3)software engineering/programming and operating systems
(3)betriebssystem (edv)
(2)c
(2)c#
(2)computerprogrammierung und softwareentwicklung
(2)csp
(2)formal methods
(2)formal specification
(2)formal testing
(2)formal verification
(2)model checking
(2)modeling
(2)object
(2)object-orientedprogramming
(2)operating system
(2)program correctness
(2)programmieren (edv)
(2)programming languages
(2)programminglanguage
(2)programminglanguages
(2)semantics
(2)übersetzer (edv)
(2).net
(1)abstraction
(1)ada
(1)ada (edv)
(1)ada-programmieren
(1)ada-programming
(1)algebraic high-level nets
(1)algebraic methods
(1)algebraichigh-levelnets
(1)algebraische netze
(1)algebraischenetze
(1)algol
(1)algorithm
(1)anwendungen
(1)apl
(1)architecture
(1)architecture evolution
(1)architectureevolution
(1)automatic parallelization
(1)bisimulation
(1)c sharp (edv) - c#
(1)c sharp (programmiersprache)
(1)case-based reasoning
(1)case-basedreasoning
(1)ccs
(1)certification
(1)class
(1)commutation
(1)complexity
(1)computation by abstract devices
(1)computer applications
(1)conceptual model
(1)conceptualmodel
(1)concurrency
(1)constructor
(1)d programming language
(1)data types
(1)datatypes
(1)datentypen
(1)datenverarbeitung
(1)delegation
(1)des
(1)domain engineering
(1)domainengineering
(1)dprogramminglanguage
(1)echtzeit-systeme
(1)entwicklung
(1)exception
(1)f
(1)feature model
(1)formale methoden
(1)formalemethoden
(1)formalmethods
(1)formalspecification
(1)formaltesting
(1)formalverification
(1)hardware
(1)inductive completition
(1)Erscheinungsjahr
1991
(1)1993
(1)1994
(1)2001
(1)2002
(1)2004
(1)2005
(1)2006
(2)2008
(1)2010
(1)2014
(1)Ergebnis: 12 Artikel
Schlagwort: object-orientation
