MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Vertical Implementation." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 54 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Vertical Implementation  
  • by Arend Rensink, Roberto Gorrieri — 2001 — Information and Computation
  • …. For this purpose, we introduce the generic concept of a vertical implementation relation, which is a family…
  • Cited by 5 (0 self)Add To MetaCart
  • Action Refinement as an Implementation Relation  
  • by Arend Rensink, Roberto Gorrieri — 1997 — In Bidoit & Dauchet, editors: Proceedings TAPSOFT '97: Theory and Practice of Software Development, LNCS 1214
  • … levels, through a so-called vertical implementation relation. The theory is based on action refinement…
  • Cited by 4 (2 self)Add To MetaCart
  • Methodological Aspects of Action Refinement  
  • by Arend Rensink — 1994 — Programming concepts, methods and calculi, vol. A--56 of IFIP Transactions. IFIP
  • … of the implementation relation. In Section 2 we introduce ternary relations, called vertical implementation relations…
  • Cited by 7 (4 self)Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB