CZT

Een reeks gereedschappen voor het bewerken, typ de controle en het animeren van formele specificaties die zijn geschreven in de Z-specificatietaal
Download nu

CZT Rangschikking & Samenvatting

Advertentie

  • Rating:
  • Vergunning:
  • GPL
  • Prijs:
  • FREE
  • Naam uitgever:
  • CZT Team
  • Uitgever website:
  • Besturingssystemen:
  • Mac OS X
  • Bestandsgrootte:
  • 5.2 MB

CZT Tags


CZT Beschrijving

Een reeks hulpmiddelen voor het bewerken, typen van het controleren en animeren van formele specificaties die zijn geschreven in de taal van de Z-specificaties Het project Community Z Tools (CZT) is het bouwen van een reeks hulpmiddelen voor het bewerken, typ het controleren en animeren van formele specificaties die zijn geschreven in de Z-specificatietaal, met enige ondersteuning voor Z-extensies zoals Object-Z, Circus en TCOZ. Deze hulpmiddelen zijn allemaal gebouwd met behulp van het CZT Java Framework voor z-tools.beta-versies van de Eindgebruiker CZT-tools zijn nu opgenomen in de CZT-releases (Download). Dit omvat een Jedit-gebaseerde Z-editor die WYSIWYG-bewerking van de Unicode-markering voor Z, Sjabloon-gebaseerde insertie van Z-constructies voor Latex en Unicode Markup geeft, automatische typeeching op elke Save.czt bevat ook een sidekick-paneel met de structuur van uw Z Specificatie, conversie tussen de verschillende markups en nog veel meer. Hier zijn enkele belangrijke kenmerken van "CZT": · Een XML-schema-markup voor Z. · Java-lessen voor Z-geannoteerde syntaxisbomen (AST). · Java-klassen voor het converteren tussen XML en Java AST. · Java-bibliotheken voor de gemeenschappelijke bewerkingen die nodig zijn in elke Z-tool (Markup-converters, parser, type-checker, enz.). Een paper die deze beschrijft is gepresenteerd bij ZB2005. · Grafische Z-editors, met faciliteiten voor het eenvoudig invoeren van de speciale Z Unicode-symbolen. Momenteel bieden we Jedit- en Eclipse-plug-ins. · Een Z-animatietool genaamd ZLive, met een aanpasbare grafische gebruikersinterface. · Exporteergereedschap, om Z in andere notaties of voor andere Z-gereedschappen uit te voeren. · Uitgebreide versies van de bibliotheken en hulpmiddelen om Z-extensies zoals Object-Z en Circus te ondersteunen. Vereisten: · Java Wat is er nieuw in deze release: · Veel veranderingen en nieuwe tools.


CZT Gerelateerde software

Over ons