Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
bernd mahr
(2)bowen, jonathan p.
(2)hartmut ehrig
(2)helmut a. partsch
(2)hinchey, michael g.
(2)manfred broy
(2)ralf steinbrüggen
(2)abdelali ed-dbali
(1)astesiano, egidio
(1)bertran, miquel
(1)bird, richard
(1)brocard, d.
(1)broy, manfred
(1)camilleri, albert
(1)david trachtenherz
(1)gagert, p.
(1)gribomont, p.
(1)laid kahloul
(1)laurent cervoni
(1)merz, stephan
(1)morgan, carroll
(1)möller, bernhard
(1)nagl, manfred
(1)partsch, helmut a.
(1)pierre deransart
(1)pirotte, o.
(1)puccetti, armand
(1)pucetti, a.
(1)raguideau, j.
(1)rainer gmehlich
(1)reggio, gianna
(1)remouchamps, a.
(1)rolf stadler
(1)ron koymans
(1)rudi studer
(1)rus, theodor
(1)schindler, s.
(1)schröder, j. c. w.
(1)schuman, steve
(1)spies, katharina
(1)srivas, mandayam
(1)tarlecki, andrzej
(1)ten cate, e.
(1)till, david
(1)woodcock, james c. p.
(1)Schlagwort
formale spezifikation
(24)informatik
(23)edv
(22)formalespezifikation
(19)software engineering
(14)formal specification
(11)theorie
(11)software-entw.
(9)formalspecification
(8)theory of computation
(7)algorithms
(6)programming
(6)logic
(5)programming techniques
(5)software engineering/programming and operating systems
(5)verifikation
(5)algorithm
(4)data structure
(4)datastructure
(4)formal method
(4)formal methods
(4)formale methoden
(4)formalemethoden
(4)formalmethods
(4)logics and meanings of programs
(4)mathematik
(4)programming languages, compilers, interpreters
(4)real-time
(4)softwareengineering
(4)softwareentwicklung
(4)verteilte systeme
(4)verteiltesysteme
(4)algebra
(3)allgemeines
(3)distributed systems
(3)distributedsystems
(3)formale verifikation
(3)formaleverifikation
(3)formalmethod
(3)netzwerk-hardware
(3)real-time systems
(3)real-timesystems
(3)abstract data types
(2)algebraische methoden
(2)algebraische spezifikation
(2)algebraischemethoden
(2)algebraischespezifikation
(2)algorithmus
(2)anforderungsmodellierung
(2)applikative programmierung
(2)applikativeprogrammierung
(2)arithmetik
(2)asynchrone kommunikation
(2)asynchronekommunikation
(2)attribut
(2)beweiskalkül
(2)beweisrahmen
(2)case tools
(2)casetools
(2)category theory
(2)categorytheory
(2)chomsky-grammatiken
(2)cognition
(2)complexity
(2)computer communication networks
(2)computernetzwerke und maschinelle kommunikation
(2)computerprogrammierung und softwareentwicklung
(2)concurrent systems
(2)concurrentsystems
(2)datenkommunikation
(2)formal language
(2)formal verification
(2)formallanguage
(2)formalspeci
(2)formalverification
(2)hol
(2)informationssystem
(2)kombinatorik
(2)logische programmierung
(2)logischeprogrammierung
(2)modelldesign
(2)modul-spezifikationsrestriktionen
(2)netzwerke
(2)parallele prozesse
(2)paralleleprozesse
(2)programmieren
(2)programmiermethodik
(2)programmierung
(2)programming language
(2)programmkorrektheit
(2)programmtransformation
(2)rechenstrukturen
(2)rechnernetz
(2)software engineering/progr
(2)software entwicklung
(2)structured analysis
(2)system development
(2)systementwurf
(2)transformation (mathematisch)
(2)verfeinerung
(2)Erscheinungsjahr
1979
(1)1987
(1)1989
(1)1990
(2)1991
(2)1992
(1)1993
(3)1995
(2)1996
(4)1997
(2)2003
(1)2010
(1)2011
(1)2013
(1)2023
(1)Ergebnis: 24 Artikel
Schlagwort: formale spezifikation
