MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Specifications in an Arbitrary Institution" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 10 documents found, showing 1 through 10.
ATOM RSS
  • Property Preserving Redesign of Specifications  
  • by Artur Zawlocki Grzegorz, Grzegorz Marczyński, Piotr Kosiuczenko
  • … in an arbitrary institution form a category: a specification morphism (Chapt. 4 in [AKKB99]) σ : SP → SP ′ is a…
  • Add To MetaCart
  • Towards Heterogeneous Specifications  
  • by Andrzej Tarlecki — 1998 — In Frontiers of Combining Systems FroCoS'98, Applied Logic Series
  • … turn arbitrary heterogeneous specifications over institutions so represented into usual specifications…
  • Cited by 22 (1 self) – Add To MetaCart
  • The Configuration of Complex Systems  
  • by Gillian Hill Department, Gillian Hill — 1994 — 94 Lecture
  • … by the work of Burstall and Goguen, using Clear, in [2], of building specifications in arbitrary institutions…
  • Add To MetaCart
Help! Showing 1 through 10.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB