ABTools provides an open environment based on ANTLR and Java and provides some facilities for design and test the B language and somes extensions. ABTools est un environnement de développement base sur ANTLR et Java. Il permet de manipuler le langag

Features

  • Parsing for B : OK
  • Typing for B : OK
  • GOP for B : ToDo
  • C Code generator for B : ToDo
  • JAVA Code Generator for B : ToDo
  • JML Code Generator for B : ToDo
  • ADA Code Generator for B : ToDo

Project Activity

See All Activity >

Categories

Computer-Aided Software Engineering (CASE)

License

GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Follow Another B TOOLS

Another B TOOLS Web Site

Other Useful Business Software
AI-powered service management for IT and enterprise teams Icon
AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
Try it Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Another B TOOLS!

Additional Project Details

Languages

English, French

Intended Audience

Science/Research

User Interface

Command-line, Java Swing

Programming Language

Java

Related Categories

Java Computer-Aided Software Engineering (CASE) Software

Registered

2009-03-24
Report inappropriate content