Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
andrzej tarlecki
(2)butler, michael
(2)donald sannella
(2)araki, keijiro
(1)barnett, mike
(1)boca, paul
(1)bowen, jonathan p.
(1)breitman, karin
(1)brim, lubos
(1)broy, manfred
(1)börger, egon
(1)cavalcanti, ana
(1)davies, jim
(1)george, chris
(1)haverkort, boudewijn
(1)he, jifeng
(1)hinchey, michael g.
(1)julliand, jacques
(1)jähnichen, stefan
(1)kouchnarenko, olga
(1)larrondo-petrie, maria m.
(1)leucker, martin
(1)liu, shaoying
(1)liu, zhiming
(1)maibaum, tom
(1)miao, huaikou
(1)michel bidoit
(1)peter d. mosses
(1)pol, jaco van de
(1)schulte, wolfram
(1)Schlagwort
edv
(13)
formal software development
(13)informatik
(13)formalsoftwaredevelopment
(10)software engineering
(10)software-entw.
(10)theorie
(10)formal methods
(8)formal specification
(8)formal verification
(7)automata
(6)software engineering/programming and operating systems
(6)verification
(6)dependable systems
(5)formalmethods
(5)formalspecification
(5)dependablesystems
(4)design
(4)formalverification
(4)logics and meanings of programs
(4)compiler
(3)model checking
(3)modeling
(3)program analysis
(3)programmiersprachen
(3)softwareengineering
(3)spin
(3)uml (edv)
(3)algebraic specification
(2)algebraicspecification
(2)algorithms
(2)b method
(2)behavioural specifications
(2)behaviouralspecifications
(2)betriebssystem (edv)
(2)bmethod
(2)category theory
(2)categorytheory
(2)certification
(2)computerprogrammierung und softwareentwicklung
(2)csp
(2)design patterns
(2)distributed systems
(2)event-b
(2)fault tolerance
(2)faulttolerance
(2)formal method
(2)formal program development
(2)formalprogramdevelopment
(2)java
(2)operating system
(2)programanalysis
(2)programming
(2)programming paradigms
(2)the
(2)theorem proving
(2)uml
(2)unified modeling language (uml)
(2)unifiedmodelinglanguage(uml)
(2)universal algebra
(2)universalalgebra
(2)xml - extensible markup language
(2)übersetzer (edv)
(2)abstract state machines
(1)abstractstatemachines
(1)access control
(1)accesscontrol
(1)ada
(1)algebra
(1)algorithmus
(1)animation
(1)architecture
(1)automatentheorie
(1)automatic verification
(1)automaticverification
(1)b-method
(1)browser
(1)c
(1)c programming language
(1)c#
(1)casl
(1)category theory, homological algebra
(1)common algebraic specification language
(1)commonalgebraicspecificationlanguage
(1)communication
(1)complex systems
(1)complexsystems
(1)computerprogrammierung und softwareentw
(1)computers
(1)constraints
(1)coq
(1)corba
(1)correct software
(1)correct software development
(1)correctsoftware
(1)correctsoftwaredevelopment
(1)cprogrammingturing
(1)cryptography
(1)data structure
(1)datastructure
(1)Ergebnis: 13 Artikel
Schlagwort: formal software development
