Domain−specific Semantics and Data Refinement of Object Models

Παρόμοια τεκμήρια

• Domain−Specific Semantics and Data Refinement of Object Models
  ανά: Davies, J, κ.ά.
  Έκδοση: (2006)
• Program synthesis from domain specific object models
  ανά: Faitelson, D
  Έκδοση: (2008)
• From Predicates to Programs: The Semantics of a Method Language
  ανά: Faitelson, D, κ.ά.
  Έκδοση: (2007)
• Semantics and refinement for a concurrent object oriented language
  ανά: Monteiro Borba, P
  Έκδοση: (1995)
• Refinement in Object−Z and CSP
  ανά: Bolton, C, κ.ά.
  Έκδοση: (2002)