Author Topic: OBJ Algebraic Specification Language  (Read 609 times)

0 Members and 1 Guest are viewing this topic.

Offline aldo_14

  • Gunnery Control
  • 213
OBJ Algebraic Specification Language
Anyone recommend a good book / website on this? I need to do a comparison between Algebraic and Model SPec. Languages for next Friday, but I'm having trouble finding good info on the former over the web (due to the trend for writing academic reports in the most confusing, jargon filled manner spossible, so as to look a smartarse).   I do, though, have info on Z & the latter through my course textbook.

Just thought i might throw it open for aynone here to offer an info source (but no specific answers, for gods sake....)