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

$300 Free Credits for Your Google Cloud Projects

Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.

Start Free Trial

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
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
Slickplan

Slickplan helps teams & agencies bring order to complex website projects—from first ideas to production-ready deliverables. Instead of juggling docs, spreadsheets and disconnected tools, it provides one workspace to structure site architecture, map user flows, plan content and review designs...

See Software