Results 1 to 3 of 3
Sort by:

  • 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...