• Cartographer

  • Referenced in 1 article [sw40952]
  • isomorphism between string diagrams and certain cospans of hypergraphs; the implementation of rewriting is based...
  • DYNAMO

  • Referenced in 261 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and...
  • Specware

  • Referenced in 25 articles [sw11715]
  • Specware is a software engineering tool that automatically...