Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
bert, didier
(2)bowen, jonathan p.
(2)calero, coral
(1)dunne, steve
(1)galloway, andy
(1)henson, martin c.
(1)jazayeri, mehdi
(1)king, steve
(1)loos, rüdiger g.k.
(1)musser, david r.
(1)piattini, mario
(1)robinson, ken
(1)Schlagwort
edv
(5)informatik
(5)software construction
(5)
softwareconstruction
(5)formal methods
(3)formalmethods
(3)software engineering
(3)algorithms
(2)b method
(2)bmethod
(2)constraint programming
(2)formal method
(2)formal specification
(2)formal verification
(2)formalmethod
(2)formalspecification
(2)formalverification
(2)programmieren (edv)
(2)software design
(2)software engineering/programming and operating systems
(2)softwaredesign
(2)theorie
(2)abstract representations
(1)abstractrepresentations
(1)algorithm
(1)allgemeines
(1)computerprogrammierung und softwareentwick
(1)computing industry
(1)computingindustry
(1)data structure
(1)datastructur
(1)datastructure
(1)design
(1)environmental management
(1)environmentalmanagement
(1)generic algorithms
(1)generic data structures
(1)generic programming
(1)genericalgorithms
(1)genericdatastructures
(1)genericjava
(1)green it
(1)green software engineering
(1)green swe
(1)greenit
(1)greensoftwareengineering
(1)greenswe
(1)hardware verification
(1)hardwareverification
(1)java
(1)logics and meanings of programs
(1)mathematical logic
(1)mathematical logic and foundations
(1)model checking
(1)modelchecking
(1)object-oriented programming
(1)open innovation
(1)openinnovation
(1)performance
(1)programmieren
(1)programming
(1)programming lan
(1)programming languages, compilers, interpreters
(1)programming methodology
(1)quality models
(1)qualitymodels
(1)requirements engineering
(1)requirementsengineering
(1)resolution
(1)safety-critical systems
(1)safety-criticalsystems
(1)simulation
(1)softwar
(1)software components
(1)software economics
(1)software engineering environments
(1)software maintenance
(1)software specification
(1)software-entw.
(1)softwarecomponents
(1)softwareeconomics
(1)softwareengineeringenvironments
(1)softwareentwicklung
(1)softwaremaintenance
(1)softwarespecification
(1)stl
(1)sustainab
(1)sustainability
(1)systems development
(1)systemsdevelopment
(1)the b method
(1)thebmethod
(1)theory of computation
(1)thodology
(1)uml
(1)unified modeling language (uml)
(1)unifiedmodelinglanguage(uml)
(1)z notation
(1)znotation
(1)Ergebnis: 5 Artikel
Schlagwort: softwareconstruction
