Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
michal smialek
(2)wiktor nowakowski
(2)ayala-rincón, mauricio
(1)bozzano, marco
(1)fleuriot, jacques
(1)gordon, diana
(1)graham, t. c. n.
(1)hinchey, michael g.
(1)ida, tetsuo
(1)italiano, giuseppe f
(1)muñoz, césar a.
(1)palanque, philippe
(1)papadopoulos, yiannis
(1)pighizzini, giovanni
(1)rash, james l.
(1)rouff, christopher a.
(1)sannella, donald t.
(1)truszkowski, walter
(1)Verlag / Hersteller
springer berlin heidelberg
(4)springer international publishing
(4)Schlagwort
edv
(8)
formalspecifications
(8)informatik
(8)formal specifications
(7)software engineering
(5)formal methods
(4)formalmethods
(4)theorie
(4)mathematical logic and formal languages
(3)mathematical logic and foundations
(3)software-entw.
(3)allgemeines
(2)artificial intelligence
(2)domain-specific languages
(2)domain-specificlanguages
(2)formal language definitions
(2)formal verification
(2)formallanguagedefinitions
(2)formalverification
(2)java
(2)künstliche intelligenz
(2)model checking
(2)model-driven software engineering
(2)model-drivensoftwareengineering
(2)programmieren
(2)requirements engineering
(2)requirements specification language
(2)requirementsengineering
(2)requirementsspecificationlanguage
(2)rsl
(2)3d interactions
(1)3dinteractions
(1)adaptive interfaces
(1)adaptiveinterfaces
(1)agent (edv) - agentensystem
(1)agent systems
(1)agent-based programming
(1)agent-based systems
(1)agent-basedprogramming
(1)agent-basedsystems
(1)agents
(1)agentsystems
(1)algebra and categories in computer science
(1)algorithmic game theory
(1)algorithmic learning theory
(1)algorithms and data structures
(1)algorithmus
(1)approximation algorithms
(1)artificial intell
(1)artificialintelligence
(1)augmented reality
(1)augmentedreality
(1)automata-computational complexity
(1)automated reasoning
(1)automatedreasoning
(1)autonomous systems
(1)autonomoussystems
(1)benutzeroberflächen
(1)betriebssysteme
(1)collaborative design
(1)collaborativecriticalsystems
(1)communication
(1)computer graphics
(1)computer software selection and evaluation
(1)computer-aided proofs
(1)computer-aidedproofs
(1)computerprogr
(1)computersoftwareselectionandevaluation
(1)concurrency theory
(1)coq system
(1)coqsystem
(1)critical systems
(1)cryptography and security
(1)databases
(1)dependability
(1)design
(1)design model
(1)designmodel
(1)discrete mathematics in computer science
(1)distributedcomputing
(1)dynamic configuration
(1)dynamicconfiguration
(1)embedded systems
(1)fault injection
(1)fault models
(1)faultinjection
(1)faultmodels
(1)formal languages and automata
(1)formalization of mathematics
(1)formalizationofmathematics
(1)foundationsofcomputing
(1)grammarsandformallanguages
(1)gui
(1)human computer interaction
(1)humancompu
(1)hypermaps
(1)informatio
(1)intelligenz
(1)ki
(1)künstliche intelligenz - ai
(1)Ergebnis: 8 Artikel
Schlagwort: formalspecifications
