A-Spec

A design specification language based upon Z Notation and CSP.

Features

CSP Notation
Z Notation
LaTeX Output
XML Syntax Tree Output
GraphViz Syntax Tree Output

Project Activity

See All Activity >

License

BSD License

Follow A-Spec

A-Spec Web Site

Other Useful Business Software

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Get Started Free

Rate This Project

User Reviews

Be the first to post a review of A-Spec!

Additional Project Details

Operating Systems

BSD, Linux

Languages

English

Intended Audience

Developers, Education, Engineering, Science/Research, Telecommunications Industry

User Interface

Command-line, Console/Terminal

Registered

2009-09-24

Similar Business Software

Creatio

Creatio is a global vendor of an agentic AI-native CRM and workflow automation platform that combines no-code development and AI to automate customer journeys and business processes with maximum flexibility. The platform includes Creatio Studio, enabling users to build applications and AI...

See Software
Retool

Retool is the AI-native enterprise app development platform where teams build and ship production-ready apps — at AI speed, with enterprise governance built in. Describe what you need and get a working app, import React-based apps from Lovable, Replit, or Claude Code, or connect your AI agent...

See Software
Appenate

Reduce Paper-Based Work With Our Drag-n-Drop App Builder. Create Data-Driven Apps That Empower Your Business. Mobile & Desktop. No Coding Required. A no-code platform for creating data-driven apps to replace paper forms across all industries. Use our versatile drag-n-drop software to...

See Software
Miro

Keep your team's minds in sync with Miro (formerly RealtimeBoard and AWW app). A virtual whiteboard and remote collaboration tool, Miro helps cross-functional teams work more efficiently together to build great things. The platform allows teams to ideate, visualize, and share ideas without any...

See Software
Lunacy

Lunacy is a vector graphic software for UI/UX and web design. It's faster than Figma, smarter than Sketch! Key features: * FREE for personal and commercial use * Runs on Windows, macOS, and Linux * WORKS ONLINE AND OFFLINE You can work both with cloud and local documents. It's up to...

See Software
Sketch

The best products start with Sketch. Create, prototype, collaborate and turn your ideas into incredible products with the definitive platform for digital design. A native Mac app, built for designers like you Create your best work with essential tools that speed up your workflow and...

See Software