Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
eerke a. boiten
(2)john derrick
(2)barden, rosalind
(1)bert, didier
(1)bowen, jonathan p.
(1)cooper, david
(1)king, steve
(1)stepney, susan
(1)walden, marina
(1)Schlagwort
edv
(4)informatik
(4)
object-z
(4)software engineering
(4)formal methods
(3)formalmethods
(3)mathematical logic and formal languages
(3)mathematical logic and foundations
(3)object orientation
(3)objectorientation
(3)design
(2)formal specification
(2)formalspecification
(2)interfaces
(2)non-atomic refinement
(2)non-atomicrefinement
(2)refinement in object-z
(2)refinementinobject-softwaredevelopment
(2)software development
(2)software-entw.
(2)theoretische informatik
(2)theorie
(2)trace refinement
(2)tracerefinement
(2)z
(2)algorithm
(1)algorithms
(1)avenue
(1)b method
(1)bmethod
(1)communication
(1)formal languages and automata theory
(1)formal method
(1)formale sprache
(1)formale sprachen
(1)formalmethod
(1)language
(1)logics and meanings of programs
(1)mathematical logic and formal la
(1)modeling
(1)object
(1)program transformation
(1)programming techniques
(1)programtransformation
(1)software
(1)software engineering/programming and operating systems
(1)softwareentwicklung
(1)sprache
(1)systems development
(1)systemsdevel
(1)turing
(1)unified modeling language (uml)
(1)unifiedmodelinglanguage(uml)
(1)verification
(1)xml
(1)z notation
(1)zml
(1)znotation
(1)Ergebnis: 4 Artikel
Schlagwort: object-z
