Parole chiave di "Web Services and Formal Methods"

Label

• Parole chiave di "Web Services and Formal Methods" (literal)
• Keywords of "Web Services and Formal Methods" (literal)

Insieme di parole chiave di

• Web Services and Formal Methods (Curatela) (Prodotto della ricerca)

Ha membro

• K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS (Parola chiave)
• F.3 LOGICS AND MEANINGS OF PROGRAMS (Parola chiave)
• H.5 INFORMATION INTERFACES AND PRESENTATION (Parola chiave)
• Petri nets (Parola chiave)
• H.4 INFORMATION SYSTEMS APPLICATIONS (Parola chiave)
• Formal Methods (Parola chiave)
• D.2 SOFTWARE ENGINEERING (Parola chiave)
• D.2.4 Software/Program Verification (Parola chiave)
• Web Services (Parola chiave)
• Business Process Modelling (Parola chiave)
• Calculi (Parola chiave)
• H.3 INFORMATION STORAGE AND RETRIEVAL (Parola chiave)

Incoming links:

Insieme di parole chiave

• Web Services and Formal Methods (Curatela) (Prodotto della ricerca)

Membro di

• Business Process Modelling (Parola chiave)
• Web Services (Parola chiave)
• D.2.4 Software/Program Verification (Parola chiave)
• D.2 SOFTWARE ENGINEERING (Parola chiave)
• Formal Methods (Parola chiave)
• H.3 INFORMATION STORAGE AND RETRIEVAL (Parola chiave)
• H.5 INFORMATION INTERFACES AND PRESENTATION (Parola chiave)
• Petri nets (Parola chiave)
• Calculi (Parola chiave)
• K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS (Parola chiave)
• F.3 LOGICS AND MEANINGS OF PROGRAMS (Parola chiave)
• H.4 INFORMATION SYSTEMS APPLICATIONS (Parola chiave)