Keywords of "TOCAI - D7.2 - Process-oriented models and languages: scientific results and application scenarios"

Label

• Keywords of "TOCAI - D7.2 - Process-oriented models and languages: scientific results and application scenarios" (literal)
• Parole chiave di "TOCAI - D7.2 - Process-oriented models and languages: scientific results and application scenarios" (literal)

Insieme di parole chiave di

• TOCAI - D7.2 - Process-oriented models and languages: scientific results and application scenarios (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)

Ha membro

• D.2.4 Software/Program Verification (Parola chiave)
• requirements (Parola chiave)
• Service Oriented Computing (Parola chiave)
• verification (Parola chiave)
• etc.) (Parola chiave)
• 68N30 Mathematical aspects of software engineering (specification (Parola chiave)
• metrics (Parola chiave)
• Formal Methods (Parola chiave)

Incoming links:

Insieme di parole chiave

• TOCAI - D7.2 - Process-oriented models and languages: scientific results and application scenarios (Rapporti progetti di ricerca) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1714)

Membro di

• metrics (Parola chiave)
• D.2.4 Software/Program Verification (Parola chiave)
• Formal Methods (Parola chiave)
• verification (Parola chiave)
• etc.) (Parola chiave)
• Service Oriented Computing (Parola chiave)
• requirements (Parola chiave)
• 68N30 Mathematical aspects of software engineering (specification (Parola chiave)