Parole chiave di "An experience on formal analysis of a high-level graphical SOA design"
- Label
- Parole chiave di "An experience on formal analysis of a high-level graphical SOA design" (literal)
- Keywords of "An experience on formal analysis of a high-level graphical SOA design" (literal)
- Insieme di parole chiave di
- Ha membro
- Service-Oriented Computing (Parola chiave)
- D.2.2 Design Tools and Techniques (Parola chiave)
- D.2.4 Software/Program Verification. Formal Methods (Parola chiave)
- Formal methods (Parola chiave)
- UML (Parola chiave)
Incoming links:
- Insieme di parole chiave
- Membro di
- D.2.4 Software/Program Verification. Formal Methods (Parola chiave)
- D.2.2 Design Tools and Techniques (Parola chiave)
- UML (Parola chiave)
- Service-Oriented Computing (Parola chiave)
- Formal methods (Parola chiave)
