Parole chiave di "Combining declarative and procedural views in the specification and analysis of product families"

Label

• Parole chiave di "Combining declarative and procedural views in the specification and analysis of product families" (literal)
• Keywords of "Combining declarative and procedural views in the specification and analysis of product families" (literal)

Insieme di parole chiave di

• Combining declarative and procedural views in the specification and analysis of product families (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)

Ha membro

• D.2.4 Software/Program Verification. Validation (Parola chiave)
• Product families (Parola chiave)
• Variability (Parola chiave)
• Maude (Parola chiave)
• Validation (Parola chiave)
• Behavioural analyses (Parola chiave)
• D.2.4 Software/Program Verification. Formal methods (Parola chiave)
• D.2.4 Software/Program Verification. Model checking (Parola chiave)
• Model checking (Parola chiave)
• Process algebra (Parola chiave)
• Concurrent constraint programming (Parola chiave)

Incoming links:

Insieme di parole chiave

• Combining declarative and procedural views in the specification and analysis of product families (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)

Membro di

• Validation (Parola chiave)
• Model checking (Parola chiave)
• D.2.4 Software/Program Verification. Formal methods (Parola chiave)
• D.2.4 Software/Program Verification. Model checking (Parola chiave)
• Product families (Parola chiave)
• Variability (Parola chiave)
• Process algebra (Parola chiave)
• D.2.4 Software/Program Verification. Validation (Parola chiave)
• Maude (Parola chiave)
• Behavioural analyses (Parola chiave)
• Concurrent constraint programming (Parola chiave)