Atelier B Graphical User Interface download

The project contains the Atelier B graphical interface source code. Atelier B is a CASE tool, based on the B language, allowing the development of mathematically proved, default free software.

Project Samples

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Atelier B Graphical User Interface

Atelier B Graphical User Interface Web Site

Other Useful Business Software

Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.

Try free now

Rate This Project

User Reviews

Be the first to post a review of Atelier B Graphical User Interface!

Additional Project Details

Operating Systems

BSD, Linux, Windows

User Interface

Project is a user interface (UI) system

Programming Language

C++

Related Categories

C++ User Interface (UI) Software

Registered

2008-08-13

Similar Business Software

Kevel

Kevel (previously Adzerk) gives you the APIs needed to quickly build your own fully-customized ad server for sponsored listings, internal promotions, native ads, and more – so you can take back the Internet and drive more online revenue. Our award-winning platform handles over three billion API...

See Software
Smaply

Smaply is the leading platform for journey management, empowering teams to design, manage, and scale customer journeys across organizations. Built for those who put customers at the heart of their operations, Smaply offers robust tools to visualize journey maps and personas, enabling clear...

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
Anima

Anima is a continuous design-to-code platform that allows designers to create and build fully-responsive prototypes that look and act like the end product while using their own design tool (Figma, Adobe XD & Sketch). Anima eases the handoff process to developers by automatically converting...

See Software
Userback

Userback is the leading user feedback and bug tracking solution for software teams looking to understand users and build better products. With Userback, you can collect metadata-enriched visual feedback and gain deep insights into your user's sentiment and behavior with in-app surveys like...

See Software
Ruttl

ruttl is the fastest way for product, marketing, sales and support teams to collect visual feedback, collaborate, and manage ideas through tools like website feedback, bug tracking and mobile app feedback. Users can leave comments directly on live websites/apps and make real time edits so they...

See Software