Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
arne soelvberg
(1)astesiano, egidio
(1)broy, manfred
(1)david c. kung
(1)grossman, robert l.
(1)kreowski, hans-jörg
(1)krieg-brückner, bernd
(1)margaria, tiziana
(1)nerode, anil
(1)ravn, anders p.
(1)rischel, hans
(1)schieder, birgit
(1)steffen, bernhard
(1)wolfgang reisig
(1)Schlagwort
edv
(6)informatik
(6)software engineering
(6)
systemspezifikation
(6)design
(3)development
(3)modeling
(3)software
(3)softwareengineering
(3)systems specification
(3)systemsspecification
(3)algorithms
(2)logic
(2)logics and meanings of programs
(2)programming
(2)theoretische informatik
(2)theory of computation
(2)algebraic specification
(1)algebraicspecification
(1)algebraische spezifikation
(1)algebraischespezifikation
(1)algorithm
(1)allgemeines
(1)analysis
(1)anforderungsanalyse
(1)anforderungsanalysefo
(1)automata
(1)calculus
(1)computation by abstract devices
(1)computer
(1)computer communication networks
(1)computerprogrammierung und softwareentwicklung
(1)concurrency
(1)concurrent systems
(1)concurrentsystems
(1)constraint logic programming
(1)constraintlogicprogramming
(1)control and systems theory
(1)database
(1)database design
(1)database management
(1)databasedesign
(1)distributed systems
(1)distributedsystems
(1)formal methods
(1)formal specification
(1)formale methoden
(1)formalemethoden
(1)formalmethods
(1)formalspecification
(1)hybrid automata
(1)hybridautomata
(1)hybride automaten
(1)hybrideautomaten
(1)information system
(1)informationsystem
(1)kontrollsysteme
(1)language
(1)logics and meanings of p
(1)mathematical logic and formal languages
(1)mathematics of computing
(1)model checking
(1)modelchecking
(1)models and principles
(1)nero
(1)operating systems
(1)parallelism
(1)petri net
(1)petri nets
(1)petrinet
(1)petrinets
(1)petrinetze
(1)processor architectures
(1)programming techniques
(1)project management
(1)projectmanagement
(1)real-time systems
(1)real-timesystems
(1)rechnerarchitektur und logik-entwurf
(1)requirements engineering
(1)requirements-engineering
(1)requirementsengineering
(1)s
(1)semantics
(1)softw
(1)software development
(1)software engineer
(1)software specification
(1)software verfication
(1)software-entw.
(1)software-spezifikation
(1)software-verifikation
(1)softwaredevelopment
(1)softwarespecification
(1)softwareverfication
(1)softwre-engineering
(1)special purpose and application-based systems
(1)system engineering
(1)system modeling
(1)system specification
(1)Ergebnis: 6 Artikel
Schlagwort: systemspezifikation
