Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
arbab, farhad
(7)sirjani, marjan
(4)jongmans, sung-shik
(1)talcott, carolyn
(1)ölveczky, peter csaba
(1)Schlagwort
edv
(7)informatik
(7)software engineering
(6)theory of computation
(6)logics and meanings of programs
(5)programming techniques
(4)model checking
(3)modelchecking
(3)models and principles
(3)software engineering/programming and operating systems
(3)coordination models
(2)database management system
(2)mathematical logic and formal languages
(2)mathematical logic and foundations
(2)programming languages, compilers, interpreters
(2)semantics
(2)software architecture
(2)software-entw.
(2)softwareengineering
(2)theorem proving
(2)theoremproving
(2)theorie
(2)abstract interpretation
(1)ad hoc network algebra
(1)agent-based software engineering
(1)agent-basedsoftwareengineering
(1)approximation
(1)architektur (edv)
(1)betriebssystem (edv)
(1)case
(1)client/server interaction
(1)complexity
(1)compliance
(1)component-based development
(1)component-based systems
(1)component-baseddevelopment
(1)component-basedsystems
(1)components
(1)composition of models
(1)computer networks
(1)computernetworks
(1)computerprogrammierung und softwareentwicklung
(1)concurrent systems
(1)coordination
(1)coordination languages
(1)coordinationlanguages
(1)coordinationmodels
(1)database
(1)database manag
(1)deployment management
(1)design and analysis of algorithms
(1)distributed declarative logic
(1)distributed systems
(1)distributeddeclarativelogic
(1)distributedsystems
(1)formal languages and automata theory
(1)formal logic
(1)formal method
(1)formal methods
(1)formal program development
(1)formal specification
(1)formallogic
(1)formalmethod
(1)formalmethods
(1)formalprogramdevelopment
(1)formalspecification
(1)high-level abstraction
(1)high-levelabstraction
(1)information systems and communication service
(1)it opera
(1)management of computing and information systems
(1)multi-agent system
(1)multi-agentsystem
(1)object
(1)operating system
(1)patterns
(1)petri nets
(1)petrinets
(1)probabilistic specification
(1)probabilisticspecification
(1)programming languages
(1)programminglanguages
(1)quality of service
(1)qualityofservice
(1)real-time systems
(1)real-timesystems
(1)rechnerarchitektur
(1)reconfigurable evolving systems
(1)reconfigurableevolvingsyste
(1)se
(1)service-oriented architectures
(1)service-orientedarchitectures
(1)softwarearchitecture
(1)specifications
(1)temporal properties
(1)temporalproperties
(1)type theory
(1)typetheory
(1)validatio
(1)validation
(1)Ergebnis: 7 Artikel
Redaktion: farhad arbab
