Write, check, index and diagram Z specifications in Microsoft Word.
Tools to allow Z specifications to be written in Microsoft Word. Includes a unicode font for Z symbols. Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users. See project website for details.
DataLG is a Data Access Layer (DAL) generator. Create stored procedures, views, and tables on the database side, then use DataLG to create an assembly (and its source) to interact with them. Works with: Ms Sql Server, Sqlite 3, Mysql 4-5, and PostgreSQL.
Java Fuzzy Editor is a basic editor to allow creation of fuzzy based rules. It will save to serveral formats including to source code in several languages.