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.
The Basic Object System (BOS) means to provide a dynamic environment for hosting and using components. It can also be described as a general purpose software framework based on component technology.
Take your WinForms project out of Aero and into Metro with ease!
A complete Metro-styled toolkit built in pure GDI+, which gives way to great performance and most of all, great appearance. Simply add the .DLL to your Visual Studio toolbox and you're off!
*Requires .NET Framework 4
Full-stack observability with actually useful AI | Grafana Cloud
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.