Service-Oriented Computing

Label

• Service-Oriented Computing (literal)

Membro di

• Keywords of "CMC-UMC: a framework for the verification of abstract service-oriented properties" (Insieme di parole chiave)
• Keywords of "A model-checking tool for families of services" (Insieme di parole chiave)
• Keywords of "An experience on formal analysis of a high-level graphical SOA design" (Insieme di parole chiave)
• Parole chiave di "Modelling variability, evolvability, and adaptability in service computing" (Insieme di parole chiave)
• Parole chiave di "Sensoria results applied to the case studies" (Insieme di parole chiave)
• Keywords of "Sensoria - Manual for using the UMC model of the automotive case study" (Insieme di parole chiave)
• Keywords of "Sensoria Results Applied to the Case Studies" (Insieme di parole chiave)
• Keywords of "Sensoria - Manual for using the UMC model of the finance case study" (Insieme di parole chiave)
• Keywords of "Formal verification of an automotive scenario in service-oriented computing" (Insieme di parole chiave)
• Keywords of "Formal verification of an automotive scenario in service-oriented computing" (Insieme di parole chiave)

Value

• Service-Oriented Computing (literal)

Incoming links:

Ha membro

• Keywords of "Sensoria Results Applied to the Case Studies" (Insieme di parole chiave)
• Keywords of "Sensoria - Manual for using the UMC model of the finance case study" (Insieme di parole chiave)
• Parole chiave di "Sensoria results applied to the case studies" (Insieme di parole chiave)
• Keywords of "Formal verification of an automotive scenario in service-oriented computing" (Insieme di parole chiave)
• Keywords of "Sensoria - Manual for using the UMC model of the automotive case study" (Insieme di parole chiave)
• Parole chiave di "Modelling variability, evolvability, and adaptability in service computing" (Insieme di parole chiave)
• Keywords of "Formal verification of an automotive scenario in service-oriented computing" (Insieme di parole chiave)
• Keywords of "A model-checking tool for families of services" (Insieme di parole chiave)
• Keywords of "CMC-UMC: a framework for the verification of abstract service-oriented properties" (Insieme di parole chiave)
• Keywords of "An experience on formal analysis of a high-level graphical SOA design" (Insieme di parole chiave)